ALGEBRAIC NEW FOUNDATIONS

DOI10.1017/JSL.2018.86zbMath1440.18005OpenAlexW2963225337MaRDI QIDQ5222536

Paul K. Gorbow

Publication date: 6 April 2020

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

Full work available at URL: https://doi.org/10.1017/jsl.2018.86

zbMATH Keywords

category theoryset theorytoposintuitionistic logicNFUcategorical semanticsalgebraic set theoryendofunctorNFnew foundationsINFINFU

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Categorical semantics of formal languages (18C50) Models of arithmetic and set theory (03C62)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relating first-order set theories, toposes and categories of classes
• Frege's double correlation thesis and Quine's set theories NF and ML
• Approximating Cartesian closed categories in NF-style set theories
• Automorphisms of models of set theory and extensions of NFU
• Unifying the philosophy of truth
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Failure of Cartesian closedness in NF
• On the set of atoms
• Models of intuitionistic TT and NF
• Feferman’s Forays into the Foundations of Category Theory
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• New Foundations for Mathematical Logic
• A formal system of logic
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• A set of axioms for logic

This page was built for publication: ALGEBRAIC NEW FOUNDATIONS