The Mathematical Import Of Zermelo's Well-Ordering Theorem (1997)

Cached

Download Links

by Akihiro Kanamori
Venue:Bull. Symbolic Logic
Citations:5 - 1 self

Active Bibliography

8 The Mathematical Development Of Set Theory - From Cantor To Cohen – Akihiro Kanamori - 1996
The development of programs for the foundations of mathematics in the first third of the 20th century – Solomon Feferman
The Mathematical Infinite as a Matter of Method – Akihiro Kanamori - 2010
11 Does Mathematics Need New Axioms? – Solomon Feferman - 1999
1 Paradoxes in Göttingen – Volker Peckhaus
21 The Seven Virtues of Simple Type Theory – William M. Farmer - 2003
Automation of Higher-Order Logic – Christoph Benzmüller, Dale Miller, Readers Peter Andrews, Jasmin Blanchette, William Farmer, Herman Geuvers, Bruno Woltzenlogel Paleo
1 Abstract Computerizing Mathematical Text with – Fairouz Kamareddine, J. B. Wells
Notes on Discrete Mathematics – James Aspnes - 2013
Gödel’s Incompleteness Theorems – Guram Bezhanishvili
The cognitive basis of arithmetic – Helen De Cruz, Hansjörg Neth, Dirk Schlimm
Hilbert's Paradox – Volker Peckhaus, Reinhard Kahle - 2001
From Lagrange to Frege: Functions and Expressions – Marco Panza - 2011
The birth of analytic philosophy ∗ – Michael Potter
23 Formalized mathematics – John Harrison - 1996
1 Hierarchies Ontological and Ideological – Øystein Linnebo, Agustín Rayo
5 The history and concept of computability – Robert I. Soare - 1999
33 Computability and recursion – Robert I. Soare - 1996
11 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern, David Plaisted - 2007