Initial segments of the degrees of size _ 1
From MaRDI portal
Publication:1820153
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
forcingTuring degreesdegrees of unsolvabilitytruth-table degreesupper semi-latticecountable predecessor property
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+11-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)