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

@@ Property / author @@
+Nikolay Bazhenov
@@ Property / author: Nikolay Bazhenov / rank @@
+Normal rank
@@ Property / author @@
+Manat Mustafa
@@ Property / author: Manat Mustafa / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s1995080221040065
+Normal rank
@@ Property / OpenAlex ID @@
+W3170271530
@@ Property / OpenAlex ID: W3170271530 / rank @@
+Normal rank