Degrees of models

DOI10.2307/2964680MaRDI QIDQ3290719zbMATH OpenOpenAlexFDO

Authors Joseph R. Shoenfield

Publication date 1960

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2964680

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 1302876
• Possible degrees in recursive copies. II
• Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets
• scientific article; zbMATH DE number 3914303
• Splittings of 0' into the Recursively Enumerable Degrees

Cites work

• On degrees of unsolvability
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• The upper semi-lattice of degrees of recursive unsolvability

Cited in

(19)

• Inseparability in recursive copies
• Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy
• Connected components of graphs and reverse mathematics
• Provability logic: models within models in Peano arithmetic
• A survey of Mučnik and Medvedev degrees
• Degrees of freedom and model search
• choice classes
• Computability in Symbolic Dynamics
• Degrees of unsolvability: a tutorial
• A thirty year old conjecture about promise problems
• The Shrinking Property for NP and coNP
• Infinite dimensional proper subspaces of computable vector spaces
• Minimal upper bounds for arithmetical degrees
• The prehistory of the subsystems of second-order arithmetic
• The Complexity of intrinsically r.e. subsets of existentially decidable models
• On decomposition of Gödelnumberings into Friedbergnumberings
• Direct construction of Scott ideals
• COMPUTABLY COMPACT METRIC SPACES
• The shrinking property for NP and coNP

This page was built for publication: Degrees of models

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