Ordinal machines and admissible recursion theory (Q1032634): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2009.01.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2064937274
@@ Property / OpenAlex ID: W2064937274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934284
@@ Property / cites work: Q4934284 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+Metarecursively enumerable sets and their metadegrees
+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 @@
+Turing Computations On Ordinals
@@ Property / cites work: Turing Computations On Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Metarecursive sets
@@ Property / cites work: Metarecursive sets / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of transfinite recursion
@@ Property / cites work: The theory of transfinite recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+The α-finite injury method
@@ Property / cites work: The α-finite injury method / rank @@
+Normal rank
@@ Property / cites work @@
+Some More Minimal Pairs of α‐Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+On the recursive functions of ordinal numbers
@@ Property / cites work: On the recursive functions of ordinal numbers / rank @@
+Normal rank