Extending Gödel's negative interpretation to ZF (Q4128815): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
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: Embedding Classical Logic in Intuitionistic Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive set theory / rank
 
Normal rank

Latest revision as of 20:20, 12 June 2024

scientific article; zbMATH DE number 3554291
Language Label Description Also known as
English
Extending Gödel's negative interpretation to ZF
scientific article; zbMATH DE number 3554291

    Statements

    Identifiers

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