Theories with recursive models

DOI10.2307/2273704MaRDI QIDQ3856753zbMATH OpenOpenAlexFDO

Authors James H. Schmerl, Manuel Lerman

Publication date 1979

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

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

zbMATH Keywords

arithmetical theoriescategorical theoriesrecursive modelstheories of linear ordertheories of trees

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Computable structure theory, computable model theory (03C57) Models of other mathematical theories (03C65)

Cites work

• Decidable models
• Foundations of recursive model theory
• Some aspects of generalized computability

Cited in

(5)

• Building models of strongly minimal theories
• Complexity of Ehrenfeucht models
• Autostability of prime models under strong constructivizations
• Theory of Abelian groups with constructive models
• Recursive models and the divisibility poset

This page was built for publication: Theories with recursive models

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