Elementary theories and hereditary undecidability for semilattices of numberings (Q1734277): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-018-0647-y
@@ Property / DOI: 10.1007/s00153-018-0647-y / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-018-0647-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2893282143
@@ Property / OpenAlex ID: W2893282143 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709299
@@ Property / cites work: Q2709299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513962
@@ Property / cites work: Q4513962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5384966
@@ Property / cites work: Q5384966 / rank @@
+Normal rank
@@ Property / cites work @@
+Reductions between types of numberings
@@ Property / cites work: Reductions between types of numberings / rank @@
+Normal rank
@@ Property / cites work @@
+On computability with functionals
@@ Property / cites work: On computability with functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Theories for Rogers Semilattices
@@ Property / cites work: Elementary Theories for Rogers Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530730
@@ Property / cites work: Q4530730 / rank @@
+Normal rank
@@ Property / cites work @@
+Computably enumerable equivalence relations
@@ Property / cites work: Computably enumerable equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+A Survey on Universal Computably Enumerable Equivalence Relations
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+The last question on recursively enumerable \(m\)-degrees
+Normal rank
@@ Property / cites work @@
+Some undecidability results for lattices in recursion theory
+Normal rank
@@ Property / cites work @@
+Recursively Enumerable Equivalence Relations Modulo Finite Differences
+Normal rank
@@ Property / cites work @@
+Q3916564
@@ Property / cites work: Q3916564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958432
@@ Property / cites work: Q3958432 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable fragments of elementary theories
@@ Property / cites work: Undecidable fragments of elementary theories / rank @@
+Normal rank
@@ Property / cites work @@
+A note on hereditarily Π10- and Σ10-complete sets of sentences
+Normal rank
@@ Property / cites work @@
+Q5596785
@@ Property / cites work: Q5596785 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+On a hierarchy of sets. III
@@ Property / cites work: On a hierarchy of sets. III / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129244613
@@ Property / Wikidata QID: Q129244613 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-018-0647-Y
@@ Property / DOI: 10.1007/S00153-018-0647-Y / rank @@
+Normal rank