Initial segments of the degrees of size _ 1

DOI10.1007/BF02772668zbMATH Open0614.03040MaRDI QIDQ1820153FDOQ1820153

Authors: Uri Abraham, Richard A. Shore 

Publication date: 1986

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

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

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)

Cites Work

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

Cited In (14)

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