Proceedings. [electronic resource]
Edited by Leon Henkin and [others].
- Providence, Published for the Association for Symbolic Logic by American Mathematical Society, 1974.
- 1 online resource (xx, 498 p. : port.)
- Proceedings of symposia in pure mathematics, v. 25 0082-0717 (print); 2324-707X (online); .
An international symposium held to honor Alfred Tarski; co-sponsored by the University of California, Berkeley, the Association for Symbolic Logic [and] the International Union for History and Philosophy of Science--Division of Logic, Methodology, and Philosophy of Science.
Bibliography: p. [487]-498.
Some recent trends in general algebra / Operations on relational structures, functors and classes. I / Universal algebra and automata / The cardinals of simple models for universal theories / Primitive Boolean algebras / Diagonal relations / Cylindric algebras and related structures / The role of the Pasch axiom in the foundations of Euclidean geometry / An affine space as union of spaces of higher dimension / A decision method for elementary algebra and geometry -- revisited / Model theory before 1945 / Model theory 1945-1971 / Categoricity of uncountable theories / Applications of many-sorted interpolation theorems / Infinite-quantifier languages and $\omega $-chains of models / Applications of topology to $L_$ / Isomorphisme local et �equivalence associ�e �a un ordinal; utilit�e en calcul des formules infinies �a quanteurs finis / Theories of nonabelian varieties of groups / Logic without iterations / Unsolved and solved problems in set theory / Zu den Maximalprinzipien der Mengenlehre / Set theory with a universal set / Parameters in comprehension axiom schemas of set theory / Automorphisms of set theory / Models with tree structures / Observations concerning elementary extensions of $\omega $-models / Indecomposable ultrafilters and $0^\#$ / Strongly compact cardinals and the GCH / Truth and disquotation / Austin, Strawson, Tarski, and truth / Some philosophical comments on Tarski's theory of truth / Completeness and axiomatizability in many-valued logic / Model-theoretic aspects of fundamental measurement theory / Quantum field theory: an unusual discipline / The axiomatic method in the empirical sciences / Thank you, Alfred / Bjarni J�onsson -- H. Gaifman -- Garrett Birkhoff and John D. Lipson -- Ralph McKenzie and Saharon Shelah -- William Hanf -- William Craig -- Leon Henkin and J. Donald Monk -- Wanda Szmielew -- Wolfram Schwabh�auser and Les�aw W. Szczerba -- Abraham Robinson -- R. L. Vaught -- C. C. Chang -- Saharon Shelah -- Solomon Feferman -- Carol Karp -- Michael Morley -- Roland Fra�iss�e -- Ju. L. Er�sov -- Andrzej Ehrenfeucht -- P. Erd�os and A. Hajnal -- Paul Bernays -- Alonzo Church -- Azriel Levy -- Paul J. Cohen -- H. Jerome Keisler -- Andrzej Mostowski -- Jack H. Silver -- Robert M. Solovay -- W. V. Quine -- Benson Mates -- K. Popper -- Dana Scott -- Ernest W. Adams -- Jan Tarski -- Patrick Suppes -- J. H. Woodger -- http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0371771 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/9940 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0359400 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0360261 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0379182 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0369063 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0376346 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0373872 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0401462 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0366655 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0472457 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0472502 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0373874 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0406772 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0376341 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0373879 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357123 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0369044 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357078 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357122 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0366676 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0369069 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0373891 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0373886 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357108 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0376333 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0360276 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0379200 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357056 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0360188 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/9939 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0363802 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0363540 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0434238 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0366582 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357044
Access is restricted to licensed institutions
Electronic reproduction.
Providence, Rhode Island :
American Mathematical Society.
2012
Mode of access : World Wide Web
9780821893111 (online)
Tarski, Alfred--Bibliography.
Mathematics.
Logic, Symbolic and mathematical.
QA7 / .T34 1971
511/.3
An international symposium held to honor Alfred Tarski; co-sponsored by the University of California, Berkeley, the Association for Symbolic Logic [and] the International Union for History and Philosophy of Science--Division of Logic, Methodology, and Philosophy of Science.
Bibliography: p. [487]-498.
Some recent trends in general algebra / Operations on relational structures, functors and classes. I / Universal algebra and automata / The cardinals of simple models for universal theories / Primitive Boolean algebras / Diagonal relations / Cylindric algebras and related structures / The role of the Pasch axiom in the foundations of Euclidean geometry / An affine space as union of spaces of higher dimension / A decision method for elementary algebra and geometry -- revisited / Model theory before 1945 / Model theory 1945-1971 / Categoricity of uncountable theories / Applications of many-sorted interpolation theorems / Infinite-quantifier languages and $\omega $-chains of models / Applications of topology to $L_$ / Isomorphisme local et �equivalence associ�e �a un ordinal; utilit�e en calcul des formules infinies �a quanteurs finis / Theories of nonabelian varieties of groups / Logic without iterations / Unsolved and solved problems in set theory / Zu den Maximalprinzipien der Mengenlehre / Set theory with a universal set / Parameters in comprehension axiom schemas of set theory / Automorphisms of set theory / Models with tree structures / Observations concerning elementary extensions of $\omega $-models / Indecomposable ultrafilters and $0^\#$ / Strongly compact cardinals and the GCH / Truth and disquotation / Austin, Strawson, Tarski, and truth / Some philosophical comments on Tarski's theory of truth / Completeness and axiomatizability in many-valued logic / Model-theoretic aspects of fundamental measurement theory / Quantum field theory: an unusual discipline / The axiomatic method in the empirical sciences / Thank you, Alfred / Bjarni J�onsson -- H. Gaifman -- Garrett Birkhoff and John D. Lipson -- Ralph McKenzie and Saharon Shelah -- William Hanf -- William Craig -- Leon Henkin and J. Donald Monk -- Wanda Szmielew -- Wolfram Schwabh�auser and Les�aw W. Szczerba -- Abraham Robinson -- R. L. Vaught -- C. C. Chang -- Saharon Shelah -- Solomon Feferman -- Carol Karp -- Michael Morley -- Roland Fra�iss�e -- Ju. L. Er�sov -- Andrzej Ehrenfeucht -- P. Erd�os and A. Hajnal -- Paul Bernays -- Alonzo Church -- Azriel Levy -- Paul J. Cohen -- H. Jerome Keisler -- Andrzej Mostowski -- Jack H. Silver -- Robert M. Solovay -- W. V. Quine -- Benson Mates -- K. Popper -- Dana Scott -- Ernest W. Adams -- Jan Tarski -- Patrick Suppes -- J. H. Woodger -- http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0371771 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/9940 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0359400 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0360261 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0379182 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0369063 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0376346 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0373872 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0401462 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0366655 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0472457 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0472502 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0373874 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0406772 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0376341 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0373879 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357123 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0369044 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357078 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357122 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0366676 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0369069 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0373891 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0373886 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357108 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0376333 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0360276 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0379200 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357056 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0360188 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/9939 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0363802 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0363540 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0434238 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0366582 http://www.ams.org/pspum/025 http://dx.doi.org/10.1090/pspum/025/0357044
Access is restricted to licensed institutions
Electronic reproduction.
Providence, Rhode Island :
American Mathematical Society.
2012
Mode of access : World Wide Web
9780821893111 (online)
Tarski, Alfred--Bibliography.
Mathematics.
Logic, Symbolic and mathematical.
QA7 / .T34 1971
511/.3