Constructing the constructible universe constructively (Q6145038)

From MaRDI portal
scientific article; zbMATH DE number 7785165
Language Label Description Also known as
English
Constructing the constructible universe constructively
scientific article; zbMATH DE number 7785165

    Statements

    Constructing the constructible universe constructively (English)
    0 references
    0 references
    0 references
    8 January 2024
    0 references
    constructive mathematics
    0 references
    constructible universe
    0 references
    intuitionistic Zermelo-Fraenkel
    0 references
    constructive Zermelo-Fraenkel
    0 references
    intuitionistic Kripke-Platek
    0 references

    Identifiers

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