Decidable models of small theories

DOI10.1134/S1995080215040198MaRDI QIDQ266246zbMATH OpenOpenAlexFDO

Authors Alex Gavryushkin

Publication date 13 April 2016

Published in Lobachevskii Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

typesAL theoriescomputable and decidable modelsdecidable theories

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57)

Abstract: Many counterexamples are known in the class of small theories due to Goncharov and Millar. The prime model of a decidable small theory is not necessarily decidable. The saturated model of a hereditarily decidable small theory is not necessarily decidable. A homogeneous model with uniformly decidable type spectra is not necessarily decidable. In this paper, I consider the questions of what model theoretic properties are sufficient for the existence of such counterexamples. I introduce a subclass of the class of small theories, which I call AL theories, show the absence of Goncharov-Millar counterexamples in this class, and isolate a model theoretic property that implies the existence of such anomalies among computable models.

Recommendations

• Decidability and the number of countable models
• Computable models of theories with few models
• Spectra of computable models for Ehrenfeucht theories
• Bad models in nice neighborhoods
• On decidable and computable models of theories

Cites work

• scientific article; zbMATH DE number 4037828 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• An introduction to forking
• Complete Theories with Finitely Many Countable Models. I
• Foundations of recursive model theory
• Hypergraphs of prime models and distributions of countable models of small theories
• On decidable and computable models of theories

Cited in

(5)

• scientific article; zbMATH DE number 1159716 (Why is no real title available?)
• Bad models in nice neighborhoods
• Small model property reflects in games and automata
• Decidability and the number of countable models
• Decidable models of \(\omega\)-stable theories

This page was built for publication: Decidable models of small theories

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