Recursive spectra of strongly minimal theories satisfying the Zilber Trichotomy

DOI10.1090/S0002-9947-2014-05897-2zbMath1349.03033arXiv1104.4666MaRDI QIDQ5400808

Alice Medvedev, Uri Andrews

Publication date: 12 March 2014

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

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

Mathematics Subject Classification ID

03C57: Computable structure theory, computable model theory

03C15: Model theory of denumerable and separable structures

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, Spectra of recursive models of disintegrated strongly minimal theories, The degrees of categorical theories with recursive models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• New spectra of strongly minimal theories in finite languages
• A new strongly minimal set
• A new spectrum of recursive models using an amalgamation construction
• MM. Borel, Tits, Zil′ber et le Général Nonsense
• Recursively presentable prime models
• Constructive models of uncountably categorical theories
• Trivial, strongly minimal theories are model complete after naming constants
• The word problem for division rings
• Model Theory
• Zariski geometries
• Finitely axiomatizable strongly minimal groups
• On strongly minimal sets