Two-variable logic: Difference between revisions

Content deleted Content added
Added {{orphan}}, {{uncategorized}} and {{unreferenced}} tags to article (TW)
+categories
Line 5:
What is more, the two-variable fragment of first-order logic with no function symbols is known to be decidable even with the addition of [[counting quantifiers]]. This is a more powerful result, as counting quantifiers for high numerical values are not expressible in that logic.
 
[[Category:Model theory]]
{{uncategorized|date=August 2014}}
[[Category:Systems of formal logics]]