Set-theoretic foundations

DOI10.1090/conm/690/13872zbMath1417.03086OpenAlexW2623671383MaRDI QIDQ5351860

Penelope J. Maddy

Publication date: 30 August 2017

Published in: Foundations of Mathematics (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/13027/1/MaddyFoundations.pdf

zbMATH Keywords

multiverseZFCfoundationscategory theory

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Foundations, relations to logic and deductive systems (18A15)

Related Items

Ideal objects for set theory ⋮ STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L ⋮ Maddy On The Multiverse ⋮ Set Theory and Structures ⋮ What Do We Want a Foundation to Do? ⋮ Foundations for the Working Mathematician, and for Their Computer ⋮ Category theory in Isabelle/HOL as a basis for meta-logical investigation ⋮ Hierarchical multiverse of sets ⋮ Epistemic injustice in mathematics ⋮ A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT

Cites Work

• Set theory. An introduction to independence proofs
• Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
• The hyperuniverse program
• THE SET-THEORETIC MULTIVERSE
• Rigor and Structure
• Univalent Foundations of Mathematics
• Mathematical Models: A Sketch for the Philosophy of Mathematics
• Axiomatizing a category of categories
• Exploring Categorical Structuralism
• Mathematical problems
• Strong Statements of Analysis
• Does Category Theory Provide a Framework for Mathematical Structuralism?†
• FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE
• FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS
• Category Theory as an Autonomous Foundation
• THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
• Forcing for Mathematicians
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Defending the Axioms
• Interpreting Gödel
• The strength of Mac Lane set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item