ALGEBRAIC NEW FOUNDATIONS

DOI10.1017/JSL.2018.86zbMATH Open1440.18005OpenAlexW2963225337MaRDI QIDQ5222536FDOQ5222536

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

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

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)

Cites Work

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

Cited In (9)

• The MacLane problem on the set-theoretic foundation for category theory. II.
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)