A new spectrum of recursive models

DOI10.1305/NDJFL/1022615611MaRDI QIDQ701304zbMATH OpenOpenAlexFDO

Authors André Nies

Publication date 27 March 2003

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1022615611

zbMATH Keywords

strongly minimal theorycountable modelscomputable presentation\(\omega_1\)-categorical theorycomplexity of spectra

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Computable structure theory, computable model theory (03C57)

Recommendations

• New spectra of strongly minimal theories in finite languages
• Spectra of recursive models of disintegrated strongly minimal theories
• A new spectrum of recursive models using an amalgamation construction
• On spectra of computable models
• Recursive spectra of flat strongly minimal theories

Cites work

• scientific article; zbMATH DE number 3710151 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• Computable models of theories with few models
• On strongly minimal sets

Cited in

(17)

• Simple Models for Recursive Schemes
• Recursive spectra of strongly minimal theories satisfying the Zilber trichotomy
• A new spectrum of recursive models using an amalgamation construction
• Model structure incorporated into recursive partial realization strategies
• Spectra of atomic theories
• Classifying model-theoretic properties
• 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
• A new spectrum of computable models
• An uncountably categorical theory whose only computably presentable model is saturated
• Spectra of recursive models of disintegrated strongly minimal theories
• Recursive spectra of flat strongly minimal theories
• Spectra of computable models for Ehrenfeucht theories
• On spectra of computable models
• Strongly minimal theories with recursive models
• New spectra of strongly minimal theories in finite languages
• On the computability-theoretic complexity of trivial, strongly minimal models
• 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: A new spectrum of recursive models

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