Decidable models of small theories
From MaRDI portal
Publication:266246
DOI10.1134/S1995080215040198zbMath1347.03068arXiv1504.01180OpenAlexW1548332750MaRDI QIDQ266246
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
Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57)
Cites Work