Ramsey theory and enormous lower Bounds

Abstract

by Harvey M. Friedman Department of Mathematics Ohio State University [email protected] www.math.ohio-state.edu/~friedman/ April 5, 1997..

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,752

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

A complete theory of everything: Satisfiability in the universal domain Harvey M. Friedman october 10, 1999 [email protected] www.math.ohio-state.Edu/~Friedman/. [REVIEW]Harvey Friedman - manuscript
A complete theory of everything: Satisfiability in the universal domain Harvey M. Friedman october 10, 1999 [email protected]. [REVIEW]Harvey Friedman - manuscript
Harvey Friedman's Research on the Foundations of Mathematics.Harvey Friedman & L. A. Harrington - 1985
[email protected].Harvey M. Friedman - unknown
Foundational Adventures: essays in honour of Harvey M. Friedman.Harvey Friedman & Neil Tennant (eds.) - 2014 - [London]: College Publications.
Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Countable algebra and set existence axioms. Annals of pure and applied logic, vol. 25 , pp. 141–181. - Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Addendum to “Countable algebra and set existence axioms.” Annals of pure and applied logic, vol. 28 , pp. 319–320. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
Harvey M. Friedman. Determinateness in the low projective hierarchy. Fundamenta mathematicae, vol. 72 no. 1 , pp. 79–95. [REVIEW]Jens Erik Fenstad - 1974 - Journal of Symbolic Logic 39 (3):599.
John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 , pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 , pp. 1–28. [REVIEW]R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.

Analytics

Added to PP
2009-01-28

Downloads
295 (#92,552)

6 months
295 (#7,500)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references