The equivalence of NF-style set theories with “tangled” type theories; the construction of <i>ω</i>-models of predicative NF (and more) (Q4836049): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2307/2275515 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1990477483 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the consistency of an impredicative subsystem of Quine's NF / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Axiom of Choice in Quine's New Foundations for Mathematical Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4692751 / rank
 
Normal rank
Property / cites work
 
Property / cites work: New Foundations for Mathematical Logic / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 13:49, 23 May 2024

scientific article; zbMATH DE number 762311
Language Label Description Also known as
English
The equivalence of NF-style set theories with “tangled” type theories; the construction of <i>ω</i>-models of predicative NF (and more)
scientific article; zbMATH DE number 762311

    Statements

    The equivalence of NF-style set theories with “tangled” type theories; the construction of <i>ω</i>-models of predicative NF (and more) (English)
    0 references
    0 references
    27 August 1995
    0 references
    predicative fragment of NF
    0 references
    tangled type theory
    0 references
    \(\omega\)-model
    0 references
    NFI
    0 references
    NFU
    0 references
    consistency
    0 references

    Identifiers

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