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.
Idioma: Inglés, Alemán, Francés Editor: Jerusalem : Magnes Press, Hebrew University, 1966Edición: 2nd edDescripción: x, 351 p. : 1 retr. ; 25 cmOtra clasificación: 03-06 (03Exx 03Bxx 03A05)Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 Es78f-2 (Browse shelf) | Available | A-3877 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 En56 Elements of set theory / | 03 Er73 Definability and computability / | 03 Es78 Essays in logic : | 03 Es78f-2 Essays on the foundations of mathematics : | 03 F295 The number systems : | 03 F544 Symbolic logic : | 03 F547 Intuitionistic logic, model theory and forcing / |
Portada adicional en hebreo.
"Second edition," reproducción de la ed. de 1961.
Incluye referencias bibliográficas.
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.
MR, 28 #3918
There are no comments on this title.