Lower bounds on \(\beta (\alpha)\) (Q2104252): Difference between revisions

@@ Property / cites work @@
+Uncountable Gandy Ordinals
@@ Property / cites work: Uncountable Gandy Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Ordinal computability. An introduction to infinitary machines
+Normal rank
@@ Property / cites work @@
+Taming Koepke's zoo. II: Register machines
@@ Property / cites work: Taming Koepke's zoo. II: Register machines / rank @@
+Normal rank
@@ Property / cites work @@
+The basic theory of infinite time register machines
+Normal rank
@@ Property / cites work @@
+Q3893911
@@ Property / cites work: Q3893911 / rank @@
+Normal rank
@@ Property / cites work @@
+What is the theory  without power set?
@@ Property / cites work: What is the theory without power set? / rank @@
+Normal rank
@@ Property / cites work @@
+The next admissible ordinal
@@ Property / cites work: The next admissible ordinal / rank @@
+Normal rank
@@ Property / cites work @@
+Q3968923
@@ Property / cites work: Q3968923 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal Computability
@@ Property / cites work: Ordinal Computability / rank @@
+Normal rank
@@ Property / cites work @@
+The computational power of infinite time Blum-Shub-Smale machines
+Normal rank
@@ Property / cites work @@
+Register computations on ordinals
@@ Property / cites work: Register computations on ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank