Approximating Cartesian closed categories in NF-style set theories

DOI10.1007/S10992-017-9425-2zbMath1436.03269OpenAlexW2581496119MaRDI QIDQ1702983

Morgan Thomas

Publication date: 1 March 2018

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

Full work available at URL: https://doi.org/10.1007/s10992-017-9425-2

zbMATH Keywords

category theoryset theoryfoundations of mathematicsnew foundations

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (1)

ALGEBRAIC NEW FOUNDATIONS

Cites Work

• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Failure of Cartesian closedness in NF
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Approximating Cartesian closed categories in NF-style set theories