Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
OK
Please make all selections above before adding to cart
OK
Share this page via the icons above, or by copying the link below:
Copy To Clipboard
Successfully Copied!
Tarski Symposium: Proceedings of an International Symposium to Honor Alfred Tarski
 
Edited by: L. Henkin
Tarski Symposium
eBook ISBN:  978-0-8218-9311-1
Product Code:  PSPUM/25.E
List Price: $135.00
MAA Member Price: $121.50
AMS Member Price: $108.00
Add to cart
Tarski Symposium
Click above image for expanded view
Tarski Symposium: Proceedings of an International Symposium to Honor Alfred Tarski
Edited by: L. Henkin
eBook ISBN:  978-0-8218-9311-1
Product Code:  PSPUM/25.E
List Price: $135.00
MAA Member Price: $121.50
AMS Member Price: $108.00
Add to cart
  • Book Details
     
     
    Proceedings of Symposia in Pure Mathematics
    Volume: 25; 1974; 498 pp
    MSC: Primary 03; Secondary 01

    This volume was published by the AMS for the ASL. Members of ASL may order this book at the individual member price.
  • Table of Contents
     
     
    • 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 ]
  • Requests
     
     
    Review Copy – for publishers of book reviews
    Permission – for use of book, eBook, or Journal content
    Accessibility – to request an alternate format of an AMS title
Proceedings of Symposia in Pure Mathematics
Volume: 25; 1974; 498 pp
MSC: Primary 03; Secondary 01

This volume was published by the AMS for the ASL. Members of ASL may order this book at the individual member price.
  • 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 ]
Review Copy – for publishers of book reviews
Permission – for use of book, eBook, or Journal content
Accessibility – to request an alternate format of an AMS title
Powered by MathJax
Please select which format for which you are requesting permissions.