Remarks on weak notions of saturation in models of Peano arithmetic (Q3755444): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 11:40, 5 February 2024

scientific article
Language Label Description Also known as
English
Remarks on weak notions of saturation in models of Peano arithmetic
scientific article

    Statements

    Remarks on weak notions of saturation in models of Peano arithmetic (English)
    0 references
    0 references
    0 references
    1987
    0 references
    diagonal methods
    0 references
    models of Peano arithmetic
    0 references
    standard cut
    0 references
    minimal models
    0 references
    recursively definable
    0 references
    recursively saturated
    0 references
    countable models
    0 references
    saturated model
    0 references

    Identifiers