Finite Trees And The Necessary Use Of Large Cardinals (1998)

by By Harvey Friedman , Harvey M. Friedman
Citations:3 - 1 self

Active Bibliography

POSITIVE PARTITION RELATIONS FOR Pκ(λ) – Pierre Matet, Saharon Shelah
MATHEMATICAL CONCEPTUALISM – unknown authors
MATHEMATICAL CONCEPTUALISM – unknown authors - 2005
Presentation to the panel, “Does mathematics need new axioms?” – Solomon Feferman
2 Transfer Principles in Set Theory – Harvey M. Friedman - 1997
11 Does Mathematics Need New Axioms? – Solomon Feferman - 1999
3 Boolean relation theory and . . . – Harvey M. Friedman - 2011
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
Finitization Procedures and Finite Model Property. – Jacques Riche
4 Challenges to Predicative Foundations of Arithmetic – Solomon Feferman, Geoffrey Hellman - 1996
38 Partial realizations of Hilbert’s program – G. Simpson, Stephen G. Simpson - 1988
An Effective Proof that Open Sets are Ramsey – Jeremy Avigad - 1996
18 Higher Order Logic – Daniel Leivant - 1994
1 LECTURE NOTES ON ENORMOUS INTEGERS by – Harvey M. Friedman - 2001
1 Computer Theorem Proving in Math – Carlos Simpson
My Fourty Years on His Shoulders – Harvey M. Friedman - 2008
1. General Remarks. 2. The Completeness Theorem. 3. The First Incompleteness Theorem. 4. The Second Incompleteness Theorem. – Gödel Centenary - 2006
Information technology implications . . . – Marco Maggesi, Carlos Simpson
On – N. C. A. Da Costa, F. A. Doria - 2008