Degrees of Recursively Saturated Models

DOI10.2307/1999251MaRDI QIDQ3222194zbMATH OpenOpenAlexFDO

Authors David Marker, Angus Macintyre

Publication date 1984

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

zbMATH Keywords

degrees of presentationseffectively perfect theoriesrecursively saturated modelsScott setTuring degree

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Theory of numerations, effectively presented structures (03D45) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 32280
• scientific article; zbMATH DE number 4033714
• scientific article; zbMATH DE number 1302876
• ω₁-like recursively saturated models of Presburger's arithmetic
• Bounded Scott Set Saturation

Cites work

• A guide to the identification of admissible sets above structures
• Additive structure in uncountable models for a fixed completion of P
• Decidable models
• Expansions of models and turing degrees
• Foundations of recursive model theory
• scientific article; zbMATH DE number 3836033 (Why is no real title available?)
• scientific article; zbMATH DE number 3825809 (Why is no real title available?)
• Indicators, recursive saturation and expandability
• Model theory of algebra and arithmetic. Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979
• Models of arithmetic and closed ideals
• On a problem of MacDowell and Specker
• Recursively saturated nonstandard models of arithmetic
• The elementary theory of finite fields
• Two theorems on degrees of models of true arithmetic
• Uniform upper bounds on ideals of turing degrees

Cited in

(15)

• Upper bounds for the arithmetical degrees
• Model-theoretic properties of the n-c.e. degrees
• Tennenbaum's theorem and recursive reducts
• Additive structure in uncountable models for a fixed completion of P
• scientific article; zbMATH DE number 4033714 (Why is no real title available?)
• scientific article; zbMATH DE number 32280 (Why is no real title available?)
• scientific article; zbMATH DE number 1302876 (Why is no real title available?)
• Bounded Scott Set Saturation
• Representing Scott sets in algebraic settings
• A construction of real closed fields
• Theory spectra and classes of theories
• Computing strength of structures related to the field of real numbers
• Solovay's theorem cannot be simplified
• EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER
• The Borel complexity of the class of models of first-order theories

This page was built for publication: Degrees of Recursively Saturated Models

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