A new spectrum of recursive models using an amalgamation construction

DOI10.2178/jsl/1309952525zbMath1247.03059OpenAlexW2130392294MaRDI QIDQ3173531

Uri Andrews

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

zbMATH Keywords

spectrumstrongly minimal theoryHrushovski amalgamationrecursively presentable models

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (7)

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

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

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