Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers (Q1203772)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers
scientific article

    Statements

    Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers (English)
    0 references
    22 February 1993
    0 references
    countable nonstandard models
    0 references
    recursively saturated
    0 references
    recursive ultrapowers
    0 references
    0 references

    Identifiers