Strongly minimal theories with recursive models

DOI10.4171/JEMS/793zbMath1437.03127OpenAlexW2803365029WikidataQ129796069 ScholiaQ129796069MaRDI QIDQ1644487

Uri Andrews, Julia F. Knight

Publication date: 21 June 2018

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4171/jems/793

zbMATH Keywords

strongly minimal theorycomputable modelsrecursive models

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (2)

Building models of strongly minimal theories ⋮ IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE

This page was built for publication: Strongly minimal theories with recursive models