Decidable models of small theories

DOI10.1134/S1995080215040198zbMath1347.03068arXiv1504.01180OpenAlexW1548332750MaRDI QIDQ266246

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

typesdecidable theoriesAL theoriescomputable and decidable models

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Hypergraphs of prime models and distributions of countable models of small theories
• An introduction to forking
• Foundations of recursive model theory
• Complete Theories with Finitely Many Countable Models. I
• On Decidable and Computable Models of Theories

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