ALGEBRAIC NEW FOUNDATIONS

DOI10.1017/JSL.2018.86MaRDI QIDQ5222536zbMATH OpenOpenAlexFDO

Authors Paul K. Gorbow

Publication date 6 April 2020

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

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

zbMATH Keywords

categorical semanticscategory theoryintuitionistic logictoposset theoryalgebraic set theoryNFUendofunctorNFnew foundationsINFINFU

Mathematics Subject Classification ID

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

Recommendations

• Foundations of unlimited category theory: what remains to be done
• Category theory based on combinatory logic
• A local two-sorted theory of classes and sets: MacLane's problem and Mostowski's program
• The MacLane problem on the set-theoretic foundation for category theory. II.
• A modern rigorous approach to stratification in NF/NFU
• scientific article; zbMATH DE number 1450821
• scientific article; zbMATH DE number 5711606
• Type theories, toposes and constructive set theory: Predicative aspects of AST
• Decidable fragments of the simple theory of types with infinity and NF
• Approximating Cartesian closed categories in NF-style set theories

Cites work

• scientific article; zbMATH DE number 4204629 (Why is no real title available?)
• scientific article; zbMATH DE number 5347929 (Why is no real title available?)
• scientific article; zbMATH DE number 2144527 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 803071 (Why is no real title available?)
• scientific article; zbMATH DE number 813127 (Why is no real title available?)
• scientific article; zbMATH DE number 1450821 (Why is no real title available?)
• scientific article; zbMATH DE number 3068529 (Why is no real title available?)
• A formal system of logic
• A set of axioms for logic
• Approximating Cartesian closed categories in NF-style set theories
• Automorphisms of models of set theory and extensions of NFU
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Failure of Cartesian closedness in NF
• Feferman's forays into the foundations of category theory
• Frege's double correlation thesis and Quine's set theories NF and ML
• Models of intuitionistic TT and NF
• New Foundations for Mathematical Logic
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• On the set of atoms
• Relating first-order set theories, toposes and categories of classes
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• Unifying the philosophy of truth

Cited in

(9)

• The MacLane problem on the set-theoretic foundation for category theory. II.
• scientific article; zbMATH DE number 3196273 (Why is no real title available?)
• Approximating Cartesian closed categories in NF-style set theories
• Failure of Cartesian closedness in NF
• Foundations of unlimited category theory: what remains to be done
• Hyperdoctrines and the ontology of stratified semantics
• A tutorial on constructive NF
• scientific article; zbMATH DE number 57756 (Why is no real title available?)
• scientific article; zbMATH DE number 2143769 (Why is no real title available?)

This page was built for publication: ALGEBRAIC NEW FOUNDATIONS

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