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
    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

    Identifiers