Building models of strongly minimal theories

DOI10.1016/J.AIM.2021.107802MaRDI QIDQ2039552zbMATH OpenOpenAlexFDO

Authors Uri Andrews, Steffen Lempp, Noah Schweber

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)

Recommendations

• Strongly minimal theories with recursive models
• Algorithmic complexity of countable models of strongly minimal theories
• On the computability-theoretic complexity of trivial, strongly minimal models
• On two problems of Turing complexity for strongly minimal theories
• scientific article; zbMATH DE number 1936725

Cites work

• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 1405580 (Why is no real title available?)
• A new spectrum of recursive models using an amalgamation construction
• A new strongly minimal set
• Nonarithmetical ℵ₀-categorical theories with recursive models
• On the computability-theoretic complexity of trivial, strongly minimal models
• Reals which compute little
• Strongly minimal theories with recursive models
• The degrees of categorical theories with recursive models
• Theories with recursive models

Cited in

(4)

• scientific article; zbMATH DE number 3918348 (Why is no real title available?)
• IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE
• Model-theoretic Elekes–Szabó in the strongly minimal case
• Modular construction of minimal models

This page was built for publication: Building models of strongly minimal theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2039552)