RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2024 Volume 63, Number 3, Pages 235–247 (Mi al2804)

Decidable models of Ehrenfeucht theories

P. E. Alaevab, E. I. Khlestovab

a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University

Abstract: We study countable models of Ehrenfeucht theories, i.e., complete theories with a finite number of countable models, strictly larger than 1. The notion of a primely generated model is introduced. It is proved that if all complete types of an Ehrenfeucht theory have arithmetic complexity, then any of the primely generated models of the theory possesses an arithmetically complex isomorphic presentation.

Keywords: Ehrenfeucht theory, countable model, computable structure, decidable structure, arithmetic structure, arithmetic type.

Received: 21.02.2024
Revised: 11.04.2025

DOI: 10.33048/alglog.2024.63.301


 English version:
Algebra and Logic, 2024, 63:3, 155–163


© Steklov Math. Inst. of RAS, 2025