Axiom of reducibility
Top View
- On Relating Type Theories to (Intuitionistic) Set Theories
- From Reducibility to Extensionality the Two Editions of Principia Mathematica
- Intuitionistic Type Theory
- The Prehistory of the Subsystems of Second-Order Arithmetic
- Splash Talk: the Foundational Crisis of Mathematics
- The Prehistory of the Subsystems of Second-Order Arithmetic Arxiv
- Russell's Logicism
- Leśniewski's Systems of Logic and Mereology
- A Defence of Predicativism As a Philosophy of Mathematics
- Philosophy of Mathematics and Ontological Commitments Joseph Vidal-Rosset
- FOUNDATIONS-OF-MATH.Odt
- Homotopy Type Theory: Univalent Foundations of Mathematics
- The Standard ZFC Axioms for Set Theory Provide an Operative
- AXIOMATIZATION of SET THEORY by EXTENSIONALITY, SEPARATION, and REDUCIBILITY SEMINAR NOTES by Harvey M
- Seminar 7: the Logic of Principia Mathematica
- Epsilon Calculus and Consistency Proofs in Hilbert's Program
- A Constructive Examination of a Russell-Style Ramified Type Theory 3
- Chart of Cardinals