Construction of Satisfaction Classes for Nonstandard Models (Q3924205)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Construction of Satisfaction Classes for Nonstandard Models
scientific article

    Statements

    Construction of Satisfaction Classes for Nonstandard Models (English)
    0 references
    0 references
    0 references
    1981
    0 references
    0 references
    Peano arithmetic
    0 references
    satisfaction of nonstandard formulas
    0 references
    0 references