Forcing in intuitionistic systems without power-set (Q3726114): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Set theoretic foundations for constructive analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: The consistency of classical set theory relative to a set theory with intu1tionistic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Principles of continuous choice and continuity of functions in formal systems for constructive mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: An interpretation of intuitionistic analysis / rank
 
Normal rank

Latest revision as of 13:45, 17 June 2024

scientific article
Language Label Description Also known as
English
Forcing in intuitionistic systems without power-set
scientific article

    Statements

    Forcing in intuitionistic systems without power-set (English)
    0 references
    0 references
    1983
    0 references
    power sets
    0 references
    exponents
    0 references
    constructive higher order logic and set theory
    0 references
    covering family
    0 references
    interpretation of the first order language
    0 references
    complete set
    0 references

    Identifiers