scientific article; zbMATH DE number 5347929

MaRDI QIDQ3527486zbMATH OpenFDO

Authors Solomon Feferman

Publication date 29 September 2008

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Enriched stratified systems for the foundations of category theory
• scientific article; zbMATH DE number 2172008
• scientific article; zbMATH DE number 663785
• Singular extensions and triangulated categories
• scientific article; zbMATH DE number 2172965
• Enriched functor categories for functor calculus
• An introduction to quantaloid-enriched categories
• Imprimitivity systems in enriched categories
• scientific article; zbMATH DE number 4043229
• Categorical foundations of variety-based topology and topological systems

Cited in

(7)

• Enriched stratified systems for the foundations of category theory
• Direct-sum decompositions of modules with semilocal endomorphism rings.
• Feferman's forays into the foundations of category theory
• Failure of Cartesian closedness in NF
• Foundations of unlimited category theory: what remains to be done
• ALGEBRAIC NEW FOUNDATIONS
• AXIOMS FOR DETERMINATENESS AND TRUTH

This page was built for publication:

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