Saturation and Σ<sub>2</sub>-transfer for ERNA (Q3399183)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Saturation and Σ<sub>2</sub>-transfer for ERNA
scientific article

    Statements

    Saturation and Σ<sub>2</sub>-transfer for ERNA (English)
    0 references
    0 references
    0 references
    29 September 2009
    0 references
    nonstandard methods
    0 references
    transfer principle
    0 references
    saturation principle
    0 references
    nonstandard analysis
    0 references
    primitive recursive arithmetic
    0 references

    Identifiers