DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Axiom of reducibility
Axiom of reducibility
Master of Science in Advanced Mathematics and Mathematical Engineering
Slides
Types, Sets and Categories
The Development of Mathematical Logic from Russell to Tarski: 1900–1935
Principle of Acquaintance and Axiom of Reducibility
Self-Similarity in the Foundations
What Is Neologicism?∗
Constructive Set Theory July, 2008, Mathlogaps Workshop, Manchester
Diploma Thesis Brouwer's Fan Theorem
The Foundations of Mathematics, in Accordance with the General Method of Frege, Whitehead, and Bussell
Intuitionistic Ramified Type Theory
Models of Type Theory
Proof Theory, Constructive Mathematics
Polymorphism and the Obstinate Circularity of Second Order Logic
Dictionary of Mathematics
The Axiom of Reducibility, Weneedacasewherenon- Cation Oftheaxiomreducibility
Towards Finishing Off the Axiom of Reducibility Philippe De
How Gödel Transformed Set Theory Juliet Floyd and Akihiro Kanamori
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