scientific article; zbMATH DE number 3621970

MaRDI QIDQ4185007zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1977

zbMATH Keywords

2-CalculusCollection of ObjectsModal LogicOperation on ObjectsRecursion TheorySet Theory

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Modal logic (including the logic of norms) (03B45) Axiomatics of classical set theory and its fragments (03E30) Foundations, relations to logic and deductive systems (18A15) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cited in

(15)

• On three arguments against categorical structuralism
• Category theory and the foundations of mathematics: philosophical excavations.
• The MacLane problem on set-theoretical foundations for the category theory
• Six impossible rings
• A silly answer to a Psillos question
• Semantic nominalism: how i learned to stop worrying and love universals
• Category theory based on combinatory logic
• On the distinction between sets and classes: a categorical perspective
• Feferman's forays into the foundations of category theory
• Classical provability of uniform versions and intuitionistic provability
• Set-theoretic foundations
• Set Theory and Structures
• A New Foundational Crisis in Mathematics, Is It Really Happening?
• Logical foundations for programming semantics
• A logic for category theory

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 Q4185007)