Two First-Order Theories of Ordinals (Q5049054): Difference between revisions

@@ Property / author @@
-Peter H. Schmitt
@@ Property / author: Peter H. Schmitt / rank @@
-Normal rank
@@ Property / author @@
+Peter H. Schmitt
@@ Property / author: Peter H. Schmitt / 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.1007/978-3-030-48006-6_17
+Normal rank
@@ Property / OpenAlex ID @@
+W3027348226
@@ Property / OpenAlex ID: W3027348226 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5527013
@@ Property / cites work: Q5527013 / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanizable first-order theory of ordinals
@@ Property / cites work: A mechanizable first-order theory of ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of ordinal numbers. II
@@ Property / cites work: On the theory of ordinal numbers. II / rank @@
+Normal rank
@@ Property / cites work @@
+A formalization of the theory of ordinal numbers
@@ Property / cites work: A formalization of the theory of ordinal numbers / rank @@
+Normal rank