New spectra of strongly minimal theories in finite languages

DOI10.1016/j.apal.2010.11.002zbMath1247.03058OpenAlexW2066520423MaRDI QIDQ638500

Uri Andrews

Publication date: 12 September 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.11.002

zbMATH Keywords

countable modelscomputable spectrumfinite languageHrushovski amalgamationrecursive presentationstrongly minimal theories

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Model theory of denumerable and separable structures (03C15)

Related Items

A new spectrum of recursive models using an amalgamation construction ⋮ 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 ⋮ IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE

Cites Work

• A new strongly minimal set
• Computable models of theories with few models
• A new spectrum of recursive models using an amalgamation construction
• Constructive models of uncountably categorical theories
• On strongly minimal sets
• Unnamed Item