Recursive spectra of flat strongly minimal theories

DOI10.1090/proc/15613OpenAlexW3157123429MaRDI QIDQ5164063

Omer Mermelstein, Uri Andrews

Publication date: 9 November 2021

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2104.14550

zbMATH Keywords

pregeometrystrongly minimal theoriesflat pregeometriesrecursive spectrum

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Computable structure theory, computable model theory (03C57)

Cites Work

• Unnamed Item
• 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
• Strongly minimal expansions of algebraically closed fields
• Spectra of recursive models of disintegrated strongly minimal theories
• An uncountably categorical theory whose only computably presentable model is saturated
• The degrees of categorical theories with recursive models
• A new spectrum of recursive models using an amalgamation construction
• Trivial, strongly minimal theories are model complete after naming constants
• Recursive spectra of strongly minimal theories satisfying the Zilber Trichotomy
• On strongly minimal sets

This page was built for publication: Recursive spectra of flat strongly minimal theories