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

@@ label / en / label / en @@
+Peano Arithmetic and Hyper-Ramsey Logic
@@ 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/2000376
@@ Property / full work available at URL: https://doi.org/10.2307/2000376 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4233015408
@@ Property / OpenAlex ID: W4233015408 / rank @@
+Normal rank
@@ Property / title @@
+Peano Arithmetic and Hyper-Ramsey Logic (English)
@@ Property / title: Peano Arithmetic and Hyper-Ramsey Logic (English) / rank @@
+Normal rank
@@ 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