scientific article; zbMATH DE number 3621970

zbMath0401.18001MaRDI QIDQ4185007

Solomon Feferman

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Set TheoryModal LogicRecursion Theory2-CalculusCollection of ObjectsOperation on Objects

Mathematics Subject Classification ID

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

Related Items

A Silly Answer to a Psillos Question, Set Theory and Structures, A New Foundational Crisis in Mathematics, Is It Really Happening?, Set-theoretic foundations, Semantic Nominalism: How I Learned to Stop Worrying and Love Universals, Logical foundations for programming semantics, A logic for category theory, 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, On three arguments against categorical structuralism, Category theory and the foundations of mathematics: philosophical excavations., Six impossible rings, The MacLane problem on set-theoretical foundations for the category theory, Classical provability of uniform versions and intuitionistic provability