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
Recursive spectra of strongly minimal theories satisfying the Zilber Trichotomy, New spectra of strongly minimal theories in finite languages, 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