Recursion theory on orderings. I. A model theoretic setting (Q3924184)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Recursion theory on orderings. I. A model theoretic setting
scientific article

    Statements

    Recursion theory on orderings. I. A model theoretic setting (English)
    0 references
    0 references
    0 references
    1979
    0 references
    recursively presented atomic models
    0 references
    complete decidable theory
    0 references
    decidable atoms
    0 references
    natural numbers under equality
    0 references
    rational numbers under the usual ordering
    0 references
    n-dimensional partial orderings
    0 references
    creative presentation
    0 references
    maximal substructure
    0 references
    creative sets
    0 references
    maximal sets
    0 references
    hypersimple sets
    0 references
    degree of maximal sets
    0 references
    dense creative subordering
    0 references

    Identifiers