Failure of Cartesian closedness in NF

DOI10.2307/2275291zbMATH Open0764.18002OpenAlexW2125996131MaRDI QIDQ4032641FDOQ4032641

Authors: Colin McLarty 

Publication date: 1 April 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275291

Recommendations

• Approximating Cartesian closed categories in NF-style set theories
• ALGEBRAIC NEW FOUNDATIONS
• scientific article; zbMATH DE number 3916525
• Foundations of unlimited category theory: what remains to be done
• scientific article; zbMATH DE number 5347929

zbMATH Keywords

toposfunctionsmall categoriesNew FoundationsCartesian closurecategory of categories

Mathematics Subject Classification ID

Categories of sets, characterizations (18B05) Nonclassical and second-order set theories (03E70) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Axiomatics of classical set theory and its fragments (03E30) Foundations, relations to logic and deductive systems (18A15)

Cited In (5)

• Feferman's forays into the foundations of category theory
• Approximating Cartesian closed categories in NF-style set theories
• ALGEBRAIC NEW FOUNDATIONS
• Foundations as truths which organize mathematics
• THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE

This page was built for publication: Failure of Cartesian closedness in NF

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032641)