A new spectrum of recursive models using an amalgamation construction

DOI10.2178/JSL/1309952525zbMATH Open1247.03059OpenAlexW2130392294MaRDI QIDQ3173531FDOQ3173531

Uri Andrews

Publication date: 10 October 2011

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

Full work available at URL: https://doi.org/10.2178/jsl/1309952525

Recommendations

• A new spectrum of recursive models
• New spectra of strongly minimal theories in finite languages
• Spectra of recursive models of disintegrated strongly minimal theories
• Recursive spectra of flat strongly minimal theories
• Recursive spectra of strongly minimal theories satisfying the Zilber trichotomy

zbMATH Keywords

spectrumstrongly minimal theoryHrushovski amalgamationrecursively presentable models

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Cites Work

• A new strongly minimal set
• Computable models of theories with few models
• Constructive models of uncountably categorical theories
• An uncountably categorical theory whose only computably presentable model is saturated
• New spectra of strongly minimal theories in finite languages
• A new spectrum of recursive models

Cited In (8)

• Recursive spectra of strongly minimal theories satisfying the Zilber Trichotomy
• Building models of strongly minimal theories
• IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE
• The degrees of categorical theories with recursive models
• Spectra of recursive models of disintegrated strongly minimal theories
• Recursive spectra of flat strongly minimal theories
• New spectra of strongly minimal theories in finite languages
• A new spectrum of recursive models

This page was built for publication: A new spectrum of recursive models using an amalgamation construction

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