Turing Computations On Ordinals (Q3370613): Difference between revisions

@@ Property / DOI @@
-.2178/bsl/1122038993
@@ Property / DOI: 10.2178/bsl/1122038993 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+math/0502264
@@ Property / arXiv ID: math/0502264 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Consistency of the Continuum Hypothesis. (AM-3)
@@ Property / cites work: Consistency of the Continuum Hypothesis. (AM-3) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite time Turing machines
@@ Property / cites work: Infinite time Turing machines / rank @@
+Normal rank
@@ Property / DOI @@
+.2178/BSL/1122038993
@@ Property / DOI: 10.2178/BSL/1122038993 / rank @@
+Normal rank