Constructive homogeneous extensions (Q1061735)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Constructive homogeneous extensions |
scientific article |
Statements
Constructive homogeneous extensions (English)
0 references
1984
0 references
The article is devoted to the effective version of the classical theorem of model theory: every countable model has a homogeneous elementary extension. More precisely, the problem is the following: ''When does a strongly constructive model have an elementary homogeneous constructive strongly constructivizable extension?'' The article contains: a counterexample to the statement ''every model has'', a clear criterium for the existence of such extension in terms of elementary chains, and another criterium in terms of homogeneous families of finite types; the last is the main result of the article. This problem arose immediately from the investigations of M. G. Peretyatkin and S. S. Goncharov on the problem ''When is a homogeneous model strongly constructivizable?'', and from the representation of the corresponding criterium in \textit{Yu. L. Ershov}'s monograph ''Decision problems and constructivizable models'' (Russian) (1980; Zbl 0495.03009).
0 references
countable model
0 references
homogeneous elementary extension
0 references
constructive model
0 references