Intuitionistic uniformity principles for propositions and some applications (Q1153079)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Intuitionistic uniformity principles for propositions and some applications
scientific article

    Statements

    Intuitionistic uniformity principles for propositions and some applications (English)
    0 references
    0 references
    1980
    0 references
    disjunction property
    0 references
    existential definability
    0 references

    Identifiers