Higher set theory and mathematical practice

Annals of Mathematical Logic 2 (3):325 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(71)90018-0

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

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.
Foundational Adventures: essays in honour of Harvey M. Friedman.Harvey Friedman & Neil Tennant (eds.) - 2014 - [London]: College Publications.
Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.
Ackermann's set theory equals ZF.William N. Reinhardt - 1970 - Annals of Mathematical Logic 2 (2):189.
Measure and category in effective descriptive set theory.Alexander S. Kechris - 1973 - Annals of Mathematical Logic 5 (4):337.
Some applications of iterated ultrapowers in set theory.Kenneth Kunen - 1970 - Annals of Mathematical Logic 1 (2):179.
Models of set theory containing many perfect sets.John Truss - 1974 - Annals of Mathematical Logic 7 (2):197.
Mathematical logic and foundations of set theory.Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam,: North-Holland Pub. Co..
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
Logic: theory and practice.M. K. Rennie - 1973 - Brisbane,: University of Queensland Press. Edited by Roderick A. Girle.

Analytics

Added to PP
2014-01-17

Downloads
30 (#758,519)

6 months
3 (#1,484,930)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Believing the axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Games for truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.

View all 41 citations / Add more citations

References found in this work

The problem of predicativity.Joseph R. Shoenfield - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 132--139.
The Problem of Predicativity.J. R. Shoenfield - 1969 - Journal of Symbolic Logic 34 (3):515-515.

Add more references