Building models of strongly minimal theories

DOI10.1016/j.aim.2021.107802OpenAlexW3166477158MaRDI QIDQ2039552

Noah Schweber, Uri Andrews, Steffen Lempp

Publication date: 5 July 2021

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.aim.2021.107802

zbMATH Keywords

recursive presentationcomputable presentationstrongly minimaldegree of modeldegree of presentationSolovay theory

Mathematics Subject Classification ID

Model theory (03Cxx)

Related Items

IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new strongly minimal set
• Strongly minimal theories with recursive models
• The degrees of categorical theories with recursive models
• A new spectrum of recursive models using an amalgamation construction
• Theories with recursive models
• Nonarithmetical ℵ₀-categorical theories with recursive models
• On the computability-theoretic complexity of trivial, strongly minimal models