Generalized quantifiers and well orderings (Q5659525): Difference between revisions

@@ Property / cites work @@
+Q5570212
@@ Property / cites work: Q5570212 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Logic with the quantifier “there exist uncountably many”
+Normal rank
@@ Property / cites work @@
+On a generalization of quantifiers
@@ Property / cites work: On a generalization of quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Grundzüge des Systemenkalküls II
@@ Property / cites work: Grundzüge des Systemenkalküls II / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of logic with the added quantifier "there are uncountable many"
+Normal rank
@@ Property / cites work @@
+Model-completeness in a first order language with a generalized quantifier
+Normal rank