Undecidability and 1-types in the recursively enumerable degrees

DOI10.1016/0168-0072(93)90206-SzbMATH Open0788.03062OpenAlexW2010076006MaRDI QIDQ688787FDOQ688787

Authors: Richard A. Shore, Klaus Ambos-Spies 

Publication date: 5 June 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(93)90206-s

Recommendations

• Conjectures and questions from Gerald Sacks's \textit{Degrees of unsolvability}
• Publication:4934281
• Definability in the enumeration degrees
• scientific article; zbMATH DE number 194103
• scientific article; zbMATH DE number 535104
• Initial segments of the degrees of size \(\aleph _ 1\)
• Undecidability of the structure of the Solovay degrees of c.e. reals
• scientific article
• Decidability and undecidability in the enumerable Turing degrees
• The elementary theory of the recursively enumerable degrees is not \(\aleph _ 0\)-categorical

zbMATH Keywords

codingfinite partial orderingsrecursively enumerable degreesundecidable first-order theory

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Undecidability and degrees of sets of sentences (03D35)

Cites Work

• The recursively enumerable degrees are dense
• Title not available (Why is that?)
• Lower Bounds for Pairs of Recursively Enumerable Degrees
• Title not available (Why is that?)
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
• The undecidability of the recursively enumerable degrees
• Finitely Generated Codings and the Degrees R.E. in a Degree d
• A minimal pair of recursively enumerable degrees
• The density of the nonbranching degrees
• The recursively enumerable degrees have infinitely many one-types
• Branching Degrees above low Degrees
• Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Suborderings of Degrees of Recursive Unsolvability
• The elementary theory of the recursively enumerable degrees is not \(\aleph _ 0\)-categorical
• The density of infima in the recursively enumerable degrees

Cited In (17)

• Undecidability and 1-types in intervals of the computably enumerable degrees
• The elementary theory of the recursively enumerable degrees is not \(\aleph _ 0\)-categorical
• Generalized nonsplitting in the recursively enumerable degrees
• The recursively enumerable degrees have infinitely many one-types
• Undecidable fragments of elementary theories
• THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES
• Title not available (Why is that?)
• 1996–97 Annual Meeting of the Association for Symbolic Logic
• The decidability of the existential theory of the poset of recursively enumerable degrees with jump relations
• Incomparable prime ideals of recursively enumerable degrees
• The undecidability of the Π₄-theory for the r.e. wtt and Turing degrees
• Degree Structures: Local and Global Investigations
• The discontinuity of splitting in the recursively enumerable degrees
• Title not available (Why is that?)
• Definability in the Recursively Enumerable Degrees
• The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable
• Interpreting true arithmetic in the theory of the r.e. truth table degrees

This page was built for publication: Undecidability and 1-types in the recursively enumerable degrees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688787)