A new spectrum of recursive models using an amalgamation construction
From MaRDI portal
Publication:3173531
DOI10.2178/jsl/1309952525zbMath1247.03059MaRDI QIDQ3173531
Publication date: 10 October 2011
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1309952525
03C57: Computable structure theory, computable model theory
Related Items
IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE, Recursive spectra of flat strongly minimal theories, Recursive spectra of strongly minimal theories satisfying the Zilber Trichotomy, New spectra of strongly minimal theories in finite languages, Building models of strongly minimal theories, Spectra of recursive models of disintegrated strongly minimal theories, The degrees of categorical theories with recursive models
Cites Work
- New spectra of strongly minimal theories in finite languages
- A new strongly minimal set
- A new spectrum of recursive models
- Computable models of theories with few models
- An uncountably categorical theory whose only computably presentable model is saturated
- Constructive models of uncountably categorical theories