Revision as of 00:06, 16 August 2014 edit A3nm (talk \| contribs) Extended confirmed users, Pending changes reviewers 4,578 edits →Decidability: add ref ← Previous edit		Revision as of 00:06, 16 August 2014 edit undo A3nm (talk \| contribs) Extended confirmed users, Pending changes reviewers 4,578 edits add References section Next edit →
Line 11: The two-variable fragment of first-order logic with no function symbols is known to be decidable even with the addition of [[counting quantifiers]], and thus of [[uniqueness quantification]]. This is a more powerful result, as counting quantifiers for high numerical values are not expressible in that logic. == References == <references /> [[Category:Model theory]]

Two-variable logic: Difference between revisions