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 (16)

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 ⋮ Minimal upper bounds for arithmetical degrees ⋮ 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 ⋮ The Complexity of intrinsically r.e. subsets of existentially decidable models ⋮ 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)

This page was built for publication: Degrees of models