Essays on the Foundations of Mathematics
Jerusalem, Magnes Press Hebrew University (1966)
| Abstract | Bibliography of A. A. Fraenkel (p. ix-x)--Axiomatic set theory. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre, von P. Bernays.--On some problems involving inaccessible cardinals, by P. Erdös and A. Tarski.--Comparing the axioms of local and universal choice, by A. Lévy.--Frankel's addition to the axioms of Zermelo, by R. Mantague.--More on the axiom of extensionality, by D. Scott.--The problem of predicativity, by J. R. Shoenfield.--Mathematical logic. Grundgedanken einer typenfreien Logik, von W. Ackermann.--On the use of Hilbert's [epsilon]-operator in scientific theories, by R. Carnap.--Basic verifiability in the combinatory theory of restricted generality, by H. B. Curry.--Uniqueness ordinals in constructive number classes, by H. Putnam.--On the construction of models, by A. Robinson.--Interpretation of mathematical theories in the first order predicate calculus, by T. Skolem.--The elementary character of two notions from general algebra, by R. Vaught.--Foundations of arithmetic and analysis. Axiomatic method and intuitionism, by A. Heyting.--On rank-decreasing functions, by G. Kurepa.--On non-standard models for number theory, by E. Mendelson.--Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic, by A. Mostowski.--Non-standard models and independence of the induction axiom, by M. O. Rabin.--Sur les ensembles raréfiés de nombres naturels, par W. Sierpinski.--Philosophy of logic and mathematics. Remarks on the paradoxes of logic and set theory, by E. W. Beth.--Logique formalisée et raisonnement juridique, par R. Feys.--Im Umkreis der sogenannten Raumprobleme, von H. Freudenthal.--Process and existence in mathematics, by H. Wang. | |||||||||
| Keywords | Mathematics Philosophy | |||||||||
| Categories | ||||||||||
| Call number | QA9.U55 1966 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesHarvey Friedman (2000). Does Mathematics Need New Axioms? The Bulletin of Symbolic Logic 6 (4):401 - 446.
Gila Sher & Richard L. Tieszen (eds.) (2000). Between Logic and Intuition: Essays in Honor of Charles Parsons. Cambridge University Press.
Frank Plumpton Ramsey (1960). The Foundations of Mathematics and Other Logical Essays. Paterson, N.J.,Littlefield, Adams.
Raymond Louis Wilder (1965/2012). Introduction to the Foundations of Mathematics: Second Edition. Dover Publications, Inc..
Frank Waaldijk (2005). On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions. Foundations of Science 10 (3).
Volker Peckhaus (1995). Hilberts Logik. Von der Axiomatik Zur Beweistheorie. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 3 (1):65-86.
Stewart Shapiro (2000). Set-Theoretic Foundations. The Proceedings of the Twentieth World Congress of Philosophy 2000:183-196.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-09-15Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
