AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Tarski Symposium: Proceedings of an International Symposium to Honor Alfred Tarski
About this Title
Leon A. Henkin, Editor
Publication: Proceedings of Symposia in Pure Mathematics
Publication Year:
1974; Volume 25
ISBNs: 978-0-8218-1425-3 (print); 978-0-8218-9311-1 (online)
DOI: https://doi.org/10.1090/pspum/025
Table of Contents
Download chapters as PDF
Front/Back Matter
Articles
- Bjarni Jónsson – Some recent trends in general algebra [MR 0371771]
- H. Gaifman – Operations on relational structures, functors and classes. I
- Garrett Birkhoff and John D. Lipson – Universal algebra and automata [MR 0359400]
- Ralph McKenzie and Saharon Shelah – The cardinals of simple models for universal theories [MR 0360261]
- William Hanf – Primitive Boolean algebras [MR 0379182]
- William Craig – Diagonal relations [MR 0369063]
- Leon Henkin and J. Donald Monk – Cylindric algebras and related structures [MR 0376346]
- Wanda Szmielew – The role of the Pasch axiom in the foundations of Euclidean geometry [MR 0373872]
- Wolfram Schwabhäuser and Lesław W. Szczerba – An affine space as union of spaces of higher dimension [MR 0401462]
- Abraham Robinson – A decision method for elementary algebra and geometry—revisited [MR 0366655]
- R. L. Vaught – Model theory before 1945 [MR 0472457]
- C. C. Chang – Model theory 1945–1971 [MR 0472502]
- Saharon Shelah – Categoricity of uncountable theories [MR 0373874]
- Solomon Feferman – Applications of many-sorted interpolation theorems [MR 0406772]
- Carol Karp – Infinite-quantifier languages and $\omega$-chains of models [MR 0376341]
- Michael Morley – Applications of topology to $L_{\omega _1\omega }$ [MR 0373879]
- Roland Fraïssé – Isomorphisme local et équivalence associé à un ordinal; utilité en calcul des formules infinies à quanteurs finis [MR 0357123]
- Ju. L. Eršov – Theories of nonabelian varieties of groups [MR 0369044]
- Andrzej Ehrenfeucht – Logic without iterations [MR 0357078]
- P. Erdős and A. Hajnal – Unsolved and solved problems in set theory [MR 0357122]
- Paul Bernays – Zu den Maximalprinzipien der Mengenlehre [MR 0366676]
- Alonzo Church – Set theory with a universal set [MR 0369069]
- Azriel Levy – Parameters in comprehension axiom schemas of set theory [MR 0373891]
- Paul J. Cohen – Automorphisms of set theory [MR 0373886]
- H. Jerome Keisler – Models with tree structures [MR 0357108]
- Andrzej Mostowski – Observations concerning elementary extensions of $\omega$-models [MR 0376333]
- Jack H. Silver – Indecomposable ultrafilters and $0^\#$ [MR 0360276]
- Robert M. Solovay – Strongly compact cardinals and the GCH [MR 0379200]
- W. V. Quine – Truth and disquotation [MR 0357056]
- Benson Mates – Austin, Strawson, Tarski, and truth [MR 0360188]
- K. Popper – Some philosophical comments on Tarski’s theory of truth
- Dana Scott – Completeness and axiomatizability in many-valued logic [MR 0363802]
- Ernest W. Adams – Model-theoretic aspects of fundamental measurement theory [MR 0363540]
- Jan Tarski – Quantum field theory: an unusual discipline [MR 0434238]
- Patrick Suppes – The axiomatic method in the empirical sciences [MR 0366582]
- J. H. Woodger – Thank you, Alfred [MR 0357044]