Inaccessible set axioms may have little consistency strength (Q1612481)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Inaccessible set axioms may have little consistency strength
scientific article

    Statements

    Inaccessible set axioms may have little consistency strength (English)
    0 references
    22 August 2002
    0 references
    inaccessible set axioms
    0 references
    consistency strength
    0 references
    constructive set theory
    0 references
    realizability interpretation
    0 references
    type theory
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references