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

@@ Property / DOI @@
-.1016/j.apal.2009.01.005
@@ Property / DOI: 10.1016/j.apal.2009.01.005 / 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.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
@@ Property / DOI @@
+.1016/J.APAL.2009.01.005
@@ Property / DOI: 10.1016/J.APAL.2009.01.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1032634