Expansions of models and turing degrees

DOI10.2307/2273590MaRDI QIDQ3043119zbMATH OpenOpenAlexFDO

Authors Mark E. Nadel, J. F. Knight

Publication date 1982

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

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

zbMATH Keywords

omitting types theoremrecursively saturated modelrecursively saturated structureTuring degrees

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Models with special properties (saturated, rigid, etc.) (03C50) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)

Cites work

• Class groups of integral group rings
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Sets which do not have subsets of every higher degree

Cited in

(4)

• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Degrees of Recursively Saturated Models
• Bounded Scott Set Saturation
• Representing Scott sets in algebraic settings

This page was built for publication: Expansions of models and turing degrees

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