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. : 1 retr. ; 25 cm.
"Second edition," reproducción de la ed. de 1961.
Incluye referencias bibliográficas.
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.
|