---

＜電子ブック＞
Proceedings / Edited by Leon Henkin and [others]
(Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 25)

出版者	Providence : Published for the Association for Symbolic Logic by American Mathematical Society
出版年	1974
大きさ	1 online resource (1 online resource (xx, 498 p. : port.))
著者標目	*Tarski Symposium University of California, Berkeley 1971 Tarski, Alfred Henkin, Léon ed 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
件　名	LCSH:Mathematics LCSH:Tarski, Alfred -- Bibliography  全ての件名で検索 LCSH:Logic, Symbolic and mathematical
内容注記	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
一般注記	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 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 HTTP:URL=http://www.ams.org/pspum/025 Information=Contents HTTP:URL=http://dx.doi.org/10.1090/pspum/025 Information=Contents

 類似資料