Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics (Q3353014)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
scientific article

    Statements

    Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics (English)
    0 references
    0 references
    0 references
    1993
    0 references
    intuitionistic analysis
    0 references
    bar induction
    0 references
    almost full relation
    0 references
    Ramsey's theorem
    0 references
    intuitionistic logic
    0 references
    intuitionistic pigeonhole principle
    0 references
    compactness argument
    0 references

    Identifiers