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.

Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012

Description based on print version record.

American mathematical society.

Proceedings of symposia in pure mathematics.

Some recent trends in general algebra / Bjarni Jónsson

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äuser 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 équivalence associé à un ordinal; utilité en calcul des formules infinies à quanteurs finis / Roland Fraïssé

Theories of nonabelian varieties of groups / Ju. L. Eršov

Logic without iterations / Andrzej Ehrenfeucht

Unsolved and solved problems in set theory / P. Erdős 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

Tarski, Alfred, 1901-1983 > Bibliography.

University of California, Berkeley.

Association for Symbolic Logic.

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.