Theories of Rogers semilattices of analytical numberings (Q2030131): Difference between revisions

@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513962
@@ Property / cites work: Q4513962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709299
@@ Property / cites work: Q2709299 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q5433143
@@ Property / cites work: Q5433143 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary theories and hereditary undecidability for semilattices of numberings
+Normal rank
@@ Property / cites work @@
+Q4677692
@@ Property / cites work: Q4677692 / rank @@
+Normal rank
@@ Property / cites work @@
+A decomposition of the Rogers semilattice of a family of d.c.e. sets
+Normal rank
@@ Property / cites work @@
+Reductions between types of numberings
@@ Property / cites work: Reductions between types of numberings / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of elementary theories of Rogers semilattices of analytical hierarchies
+Normal rank
@@ Property / cites work @@
+Numberings in the analytical hierarchy
@@ Property / cites work: Numberings in the analytical hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+On some examples of upper semilattices of computable enumerations
+Normal rank
@@ Property / cites work @@
+Elementary Theories for Rogers Semilattices
@@ Property / cites work: Elementary Theories for Rogers Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS
+Normal rank
@@ Property / cites work @@
+Q3208646
@@ Property / cites work: Q3208646 / rank @@
+Normal rank
@@ Property / cites work @@
+Metarecursive sets
@@ Property / cites work: Metarecursive sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3425600
@@ Property / cites work: Q3425600 / rank @@
+Normal rank