Peano Arithmetic and Hyper-Ramsey Logic (Q3028994): Difference between revisions

@@ Property / cites work @@
+A Rather Classless Model
@@ Property / cites work: A Rather Classless Model / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331471
@@ Property / cites work: Q5331471 / 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 @@
+Peano models with many generic classes
@@ Property / cites work: Peano models with many generic classes / rank @@
+Normal rank
@@ Property / cites work @@
+On the role of Ramsey quantifiers in first order arithmetic
+Normal rank
@@ Property / cites work @@
+Peano Arithmetic and Hyper-Ramsey Logic
@@ Property / cites work: Peano Arithmetic and Hyper-Ramsey Logic / rank @@
+Normal rank