Decidable models of small theories

DOI10.1134/S1995080215040198zbMATH Open1347.03068arXiv1504.01180OpenAlexW1548332750MaRDI QIDQ266246FDOQ266246

Authors: Alex Gavryushkin 

Publication date: 13 April 2016

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• An introduction to forking
• Foundations of recursive model theory
• Title not available (Why is that?)
• Complete Theories with Finitely Many Countable Models. I
• On decidable and computable models of theories
• Hypergraphs of prime models and distributions of countable models of small theories

Cited In (5)

• Decidability and the number of countable models
• Small model property reflects in games and automata
• Decidable models of \(\omega\)-stable theories
• Bad models in nice neighborhoods
• Title not available (Why is that?)

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)