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 / Bjarni J�onsson -- Operations on relational structures, functors and classes. I / H. Gaifman -- Universal algebra and automata / Garrett Birkhoff and John D. Lipson -- The cardinals of simple models for universal theories / Ralph McKenzie and Saharon Shelah -- Primitive Boolean algebras / William Hanf -- Diagonal relations / William Craig -- Cylindric algebras and related structures / Leon Henkin and J. Donald Monk -- The role of the Pasch axiom in the foundations of Euclidean geometry / Wanda Szmielew -- An affine space as union of spaces of higher dimension / Wolfram Schwabh�auser and Les�aw W. Szczerba -- A decision method for elementary algebra and geometry -- revisited / Abraham Robinson -- Model theory before 1945 / R. L. Vaught -- Model theory 1945-1971 / C. C. Chang -- Categoricity of uncountable theories / Saharon Shelah -- Applications of many-sorted interpolation theorems / Solomon Feferman -- Infinite-quantifier languages and $\omega $-chains of models / Carol Karp -- Applications of topology to $L_{\omega _1\omega }$ / Michael Morley -- Isomorphisme local et �equivalence associ�e �a un ordinal; utilit�e en calcul des formules infinies �a quanteurs finis / Roland Fra�iss�e -- Theories of nonabelian varieties of groups / Ju. L. Er�sov -- Logic without iterations / Andrzej Ehrenfeucht -- Unsolved and solved problems in set theory / P. Erd�os and A. Hajnal -- Zu den Maximalprinzipien der Mengenlehre / Paul Bernays -- Set theory with a universal set / Alonzo Church -- Parameters in comprehension axiom schemas of set theory / Azriel Levy -- Automorphisms of set theory / Paul J. Cohen -- Models with tree structures / H. Jerome Keisler -- Observations concerning elementary extensions of $\omega $-models / Andrzej Mostowski -- Indecomposable ultrafilters and $0^\#$ / Jack H. Silver -- Strongly compact cardinals and the GCH / Robert M. Solovay -- Truth and disquotation / W. V. Quine -- Austin, Strawson, Tarski, and truth / Benson Mates -- Some philosophical comments on Tarski's theory of truth / K. Popper -- Completeness and axiomatizability in many-valued logic / Dana Scott -- Model-theoretic aspects of fundamental measurement theory / Ernest W. Adams -- Quantum field theory: an unusual discipline / Jan Tarski -- The axiomatic method in the empirical sciences / Patrick Suppes -- Thank you, Alfred / 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

Description based on print version record.