Revision as of 14:50, 15 August 2014 edit A3nm (talk \| contribs) Extended confirmed users, Pending changes reviewers 4,578 edits say more; categories ← Previous edit		Revision as of 14:53, 15 August 2014 edit undo A3nm (talk \| contribs) Extended confirmed users, Pending changes reviewers 4,578 edits link Next edit →
Line 9: == Counting quantifiers == 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. [[Category:Model theory]]

Two-variable logic: Difference between revisions