Theory of Abelian groups with constructive models (Q579238)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Theory of Abelian groups with constructive models |
scientific article |
Statements
Theory of Abelian groups with constructive models (English)
0 references
1986
0 references
In the theory of constructive models, the problem of the existence of a constructible model in a given theory is one of the basic problems. In this paper we obtain a criterion for the existence of a constructive model in a complete theory of Abelian groups. It is shown that any recursively enumerable theory of torsion-free Abelian groups has a constructive model. We construct a recursively enumerable theory of Abelian groups which does not have a constructive model. Problems of (strong) constructibility of prime and saturated models of the theory of Abelian groups are considered as well.
0 references
prime model
0 references
strong constructibility
0 references
constructive models
0 references
existence of a constructible model
0 references
complete theory of Abelian groups
0 references
recursively enumerable theory of torsion-free Abelian groups
0 references