Abstract

This volume contains the proceedings of the 1963 Berkeley symposium on the theory of models, and is one of the three or four most important collections of papers in logic ever to appear. There are forty-four papers, grouped into eight categories: model theory of first-order languages, model theory of richer classical languages, model theory of nonclassical languages, mathematical structures, model-theoretic results in set-theory, model-theoretic results in number theory and analysis, model-theoretic results in algebra and geometry, model-theoretic results in the empirical sciences. One could not begin to list here the contributors and their papers, but the list of sections does exhibit the vast sweep of the topics. The scholarly value of the collection is increased by an attempt to standardize terminology and notation, notes on what model theory is—its place in logic and foundational studies—and does, and a huge bibliography which not only lists nearly all papers on model theory up to 1963, but which serves as a common reference source for all papers. A list of participants in the symposium is included. All the papers are in English.—P. J. M.