Degrees of models

DOI10.2307/2964680zbMath0105.24801OpenAlexW1987762167MaRDI QIDQ3290719

J. 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)

Related Items

A Survey of Mučnik and Medvedev Degrees, Computability in Symbolic Dynamics, A thirty year old conjecture about promise problems, Degrees of Unsolvability: A Tutorial, Infinite dimensional proper subspaces of computable vector spaces, Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy, choice classes, The Shrinking Property for NP and coNP, The shrinking property for NP and coNP, Direct construction of Scott ideals, COMPUTABLY COMPACT METRIC SPACES, Provability logic: models within models in Peano arithmetic, Connected components of graphs and reverse mathematics, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work

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