Second-order arithmetic and the consistency of first-order theories (Q3312221)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Second-order arithmetic and the consistency of first-order theories
scientific article

    Statements

    Second-order arithmetic and the consistency of first-order theories (English)
    0 references
    0 references
    1982
    0 references
    0 references
    consistency
    0 references
    second order arithmetic
    0 references