On the role of Ramsey quantifiers in first order arithmetic (Q3953757): Difference between revisions

@@ Property / cites work @@
+Peano models with many generic classes
@@ Property / cites work: Peano models with many generic classes / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey quantifiers and the finite cover property
@@ Property / cites work: Ramsey quantifiers and the finite cover property / rank @@
+Normal rank
@@ Property / cites work @@
+Substructure lattices of models of arithmetic
@@ Property / cites work: Substructure lattices of models of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Compact extensions of L(Q) (part 1a)
@@ Property / cites work: Compact extensions of L(Q) (part 1a) / rank @@
+Normal rank
@@ Property / cites work @@
+A degree-theoretic definition of the ramified analytical hierarchy
+Normal rank
@@ Property / cites work @@
+Consistency proofs of subsystems of classical analysis
+Normal rank