MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS (Q5222539)

From MaRDI portal
scientific article; zbMATH DE number 7186311
Language Label Description Also known as
English
MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS
scientific article; zbMATH DE number 7186311

    Statements

    MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS (English)
    0 references
    6 April 2020
    0 references
    Markov's principle
    0 references
    conservativity
    0 references
    intuitionistic analysis
    0 references

    Identifiers