Initial segments of the degrees of size _ 1

DOI10.1007/BF02772668MaRDI QIDQ1820153zbMATH OpenFDO

Authors Uri Abraham, Richard A. Shore

Publication date 1986

Published in Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

forcingTuring degreesdegrees of unsolvabilitytruth-table degreesupper semi-latticecountable predecessor property

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• Local Initial Segments of The Turing Degrees
• Lattice initial segments of the hyperdegrees
• Initial segments of Δ_2n+1¹-degrees
• Undecidability and initial segments of the (r.e.) tt-degrees
• Lattice nonembeddings and initial segments of the recursively enumerable degrees

Cites work

• scientific article; zbMATH DE number 3861137 (Why is no real title available?)
• scientific article; zbMATH DE number 3329000 (Why is no real title available?)
• Countable initial segments of the degrees of unsolvability
• Degrees of unsolvability: structure and theory
• Distributive Initial Segments of the Degrees of Unsolvability
• First-order theory of the degrees of recursive unsolvability
• Independence Results on the Global Structure of the Turing Degrees
• Initial Segments of Turing Degrees
• Initial segments of the degrees of unsolvability
• On degrees of recursive unsolvability
• Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
• Recursively enumerable sets of positive integers and their decision problems
• Reducibility orderings: Theories, definability and automorphisms
• Sublattices and Initial Segments of the Degrees of Unsolvability
• The homogeneity conjecture
• The strong homogeneity conjecture
• The upper semi-lattice of degrees of recursive unsolvability

Cited in

(14)

• Morasses, square and forcing axioms
• Embedding jump upper semilattices into the Turing degrees
• Initial segments of Δ_2n+1¹-degrees
• Local Initial Segments of The Turing Degrees
• The p-T-degrees of the recursive sets: Lattice embeddings, extensions of embeddings and the two-quantifier theory
• as an initial segment of the c-degrees
• Cofinal maximal chains in the Turing degrees
• Undecidability and 1-types in the recursively enumerable degrees
• Maximal chains in the Turing degrees
• Lattice initial segments of the hyperdegrees
• Lattices of c-degrees
• Initial segments of the degrees of constructibility
• Intervals of the Muchnik lattice
• Martin's axiom and embeddings of upper semi-lattices into the Turing degrees

This page was built for publication: Initial segments of the degrees of size \(\aleph _ 1\)

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