Arithmetical independence results using higher recursion theory (Q5313376): Difference between revisions

@@ 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/1080938820
+Normal rank
@@ Property / OpenAlex ID @@
+W1963567417
@@ Property / OpenAlex ID: W1963567417 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Solovay's theorem cannot be simplified
@@ Property / cites work: Solovay's theorem cannot be simplified / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5313376