Up to equimorphism, hyperarithmetic is recursive (Q5718664): Difference between revisions

@@ Property / DOI @@
-.2178/jsl/1120224717
@@ Property / DOI: 10.2178/jsl/1120224717 / 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.2178/jsl/1120224717
+Normal rank
@@ Property / OpenAlex ID @@
+W1981473293
@@ Property / OpenAlex ID: W1981473293 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability-theoretic and proof-theoretic aspects of partial and linear orderings
+Normal rank
@@ Property / cites work @@
+Q4249355
@@ Property / cites work: Q4249355 / rank @@
+Normal rank
@@ Property / cites work @@
+The metamathematics of scattered linear orderings
@@ Property / cites work: The metamathematics of scattered linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4950472
@@ Property / cites work: Q4950472 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fraissé's order type conjecture
@@ Property / cites work: On Fraissé's order type conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of orderings not isomorphic to recursive linear orderings
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / DOI @@
+.2178/JSL/1120224717
@@ Property / DOI: 10.2178/JSL/1120224717 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5718664