ALGEBRAIC NEW FOUNDATIONS
From MaRDI portal
Publication:5222536
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)