Geodesic
Decidable models of Ehrenfeucht theories
Algebra i logika, Tome 63 (2024) no. 3, pp. 235-247

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{AL_2024_63_3_a0,
     author = {P. E. Alaev and E. I. Khlestova},
     title = {Decidable models of {Ehrenfeucht} theories},
     journal = {Algebra i logika},
     pages = {235--247},
     publisher = {mathdoc},
     volume = {63},
     number = {3},
     year = {2024},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2024_63_3_a0/}
}
TY  - JOUR
AU  - P. E. Alaev
AU  - E. I. Khlestova
TI  - Decidable models of Ehrenfeucht theories
JO  - Algebra i logika
PY  - 2024
SP  - 235
EP  - 247
VL  - 63
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2024_63_3_a0/
LA  - ru
ID  - AL_2024_63_3_a0
ER  - 
%0 Journal Article
%A P. E. Alaev
%A E. I. Khlestova
%T Decidable models of Ehrenfeucht theories
%J Algebra i logika
%D 2024
%P 235-247
%V 63
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2024_63_3_a0/
%G ru
%F AL_2024_63_3_a0
P. E. Alaev; E. I. Khlestova. Decidable models of Ehrenfeucht theories. Algebra i logika, Tome 63 (2024) no. 3, pp. 235-247. http://geodesic.mathdoc.fr/item/AL_2024_63_3_a0/