Infinite time extensions of Kleene's \({\mathcal O}\) (Q1031833): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-009-0146-2
@@ Property / DOI: 10.1007/s00153-009-0146-2 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-009-0146-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2155844974
@@ Property / OpenAlex ID: W2155844974 / rank @@
+Normal rank
@@ Property / cites work @@
+The truth is never simple
@@ Property / cites work: The truth is never simple / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite time Turing machines
@@ Property / cites work: Infinite time Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Post's problem for supertasks has both positive and negative solutions
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+Zur Theorie der konstruktiven Wohlordnungen
@@ Property / cites work: Zur Theorie der konstruktiven Wohlordnungen / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5724782
@@ Property / cites work: Q5724782 / rank @@
+Normal rank
@@ Property / cites work @@
+Eventually infinite time Turing machine degrees: infinite time decidable reals
+Normal rank
@@ Property / cites work @@
+The Length of Infinite Time Turing Machine Computations
+Normal rank
@@ Property / DOI @@
+.1007/S00153-009-0146-2
@@ Property / DOI: 10.1007/S00153-009-0146-2 / rank @@
+Normal rank