Essays on the foundations of mathematics : dedicated to A. A. Fraenkel on his seventieth anniversary
edited by Y. Bar-Hillel ... [et al.] for the Hebrew University of Jerusalem.
2nd ed.
Jerusalem : Magnes Press, Hebrew University, 1966.
x, 351 págs. : 1 retr. ; 25 cm.
"Second edition," reproducción de la ed. de 1961.
Portada adicional en hebreo.
Incluye referencias bibliográficas.
Reseña: MathSciNet, 28 #3918
Contenido
- Bibliography of A. A. Fraenkel (p. ix-x)
- Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre / P. Bernays
- On some problems involving inaccessible cardinals / P. Erdös and A. Tarski
- Comparing the axioms of local and universal choice / A. Lévy
- Frankel's addition to the axioms of Zermelo / R. Mantague
- More on the axiom of extensionality / D. Scott
- The problem of predicativity / J. R. Shoenfield
- Grundgedanken einer typenfreien Logik / W. Ackermann
- On the use of Hilbert's [epsilon]-operator in scientific theories / R. Carnap
- Basic verifiability in the combinatory theory of restricted generality / H. B. Curry
- Uniqueness ordinals in constructive number classes / H. Putnam
- On the construction of models / A. Robinson
- Interpretation of mathematical theories in the first order predicate calculus / T. Skolem
- The elementary character of two notions from general algebra / R. Vaught
- Axiomatic method and intuitionism / A. Heyting
- On rank-decreasing functions / G. Kurepa
- On non-standard models for number theory / E. Mendelson
- Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic / A. Mostowski
- Non-standard models and independence of the induction axiom / M. O. Rabin
- Sur les ensembles raréfiés de nombres naturels / W. Sierpinski
- Remarks on the paradoxes of logic and set theory / E. W. Beth
- Logique formalisée et raisonnement juridique / R. Feys
- Im Umkreis der sogenannten Raumprobleme / H. Freudenthal
- Process and existence in mathematics / H. Wang.