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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2273152
@@ Property / full work available at URL: https://doi.org/10.2307/2273152 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2011178105
@@ Property / OpenAlex ID: W2011178105 / rank @@
+Normal rank
@@ 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