Formal development of ordinal number theory (Q3228609): Difference between revisions

@@ Property / author @@
-Steven Orey
@@ Property / author: Steven Orey / rank @@
-Normal rank
@@ Property / author @@
+Steven Orey
@@ Property / author: Steven Orey / rank @@
+Normal rank
@@ 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/2268109
@@ Property / full work available at URL: https://doi.org/10.2307/2268109 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1997726314
@@ Property / OpenAlex ID: W1997726314 / rank @@
+Normal rank
@@ Property / cites work @@
+New Foundations for Mathematical Logic
@@ Property / cites work: New Foundations for Mathematical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Axiom of Choice in Quine's New Foundations for Mathematical Logic
+Normal rank
@@ Property / cites work @@
+The axiom of infinity in Quine's New Foundations
@@ Property / cites work: The axiom of infinity in Quine's New Foundations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3228609