000 07349cam a2200457 4500
001 3150492
003 RPAM
005 20160624102305.0
006 ac b 110 0
007 cr/|||||||||||
008 140928s1974 riuc ob 110 0 eng
020 _a9780821893111 (online)
040 _aDLC
_cDLC
_dDLC
_dRPAM
050 0 0 _aQA7
_b.T34 1971
082 0 0 _a511/.3
111 2 _aTarski Symposium,
_cUniversity of California, Berkeley,
_d1971.
245 0 0 _aProceedings.
_h[electronic resource]
_cEdited by Leon Henkin and [others].
260 _aProvidence,
_bPublished for the Association for Symbolic Logic by American Mathematical Society,
_c1974.
300 _a1 online resource (xx, 498 p. : port.)
490 0 _aProceedings of symposia in pure mathematics,
_x0082-0717 (print);
_x2324-707X (online);
_vv. 25
500 _aAn 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.
504 _aBibliography: p. [487]-498.
505 0 0 _tSome recent trends in general algebra /
_rBjarni J�onsson --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0371771
_tOperations on relational structures, functors and classes. I /
_rH. Gaifman --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/9940
_tUniversal algebra and automata /
_rGarrett Birkhoff and John D. Lipson --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0359400
_tThe cardinals of simple models for universal theories /
_rRalph McKenzie and Saharon Shelah --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0360261
_tPrimitive Boolean algebras /
_rWilliam Hanf --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0379182
_tDiagonal relations /
_rWilliam Craig --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0369063
_tCylindric algebras and related structures /
_rLeon Henkin and J. Donald Monk --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0376346
_tThe role of the Pasch axiom in the foundations of Euclidean geometry /
_rWanda Szmielew --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0373872
_tAn affine space as union of spaces of higher dimension /
_rWolfram Schwabh�auser and Les�aw W. Szczerba --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0401462
_tA decision method for elementary algebra and geometry -- revisited /
_rAbraham Robinson --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0366655
_tModel theory before 1945 /
_rR. L. Vaught --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0472457
_tModel theory 1945-1971 /
_rC. C. Chang --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0472502
_tCategoricity of uncountable theories /
_rSaharon Shelah --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0373874
_tApplications of many-sorted interpolation theorems /
_rSolomon Feferman --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0406772
_tInfinite-quantifier languages and $\omega $-chains of models /
_rCarol Karp --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0376341
_tApplications of topology to $L_{\omega _1\omega }$ /
_rMichael Morley --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0373879
_tIsomorphisme local et �equivalence associ�e �a un ordinal; utilit�e en calcul des formules infinies �a quanteurs finis /
_rRoland Fra�iss�e --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0357123
_tTheories of nonabelian varieties of groups /
_rJu. L. Er�sov --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0369044
_tLogic without iterations /
_rAndrzej Ehrenfeucht --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0357078
_tUnsolved and solved problems in set theory /
_rP. Erd�os and A. Hajnal --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0357122
_tZu den Maximalprinzipien der Mengenlehre /
_rPaul Bernays --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0366676
_tSet theory with a universal set /
_rAlonzo Church --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0369069
_tParameters in comprehension axiom schemas of set theory /
_rAzriel Levy --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0373891
_tAutomorphisms of set theory /
_rPaul J. Cohen --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0373886
_tModels with tree structures /
_rH. Jerome Keisler --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0357108
_tObservations concerning elementary extensions of $\omega $-models /
_rAndrzej Mostowski --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0376333
_tIndecomposable ultrafilters and $0^\#$ /
_rJack H. Silver --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0360276
_tStrongly compact cardinals and the GCH /
_rRobert M. Solovay --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0379200
_tTruth and disquotation /
_rW. V. Quine --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0357056
_tAustin, Strawson, Tarski, and truth /
_rBenson Mates --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0360188
_tSome philosophical comments on Tarski's theory of truth /
_rK. Popper --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/9939
_tCompleteness and axiomatizability in many-valued logic /
_rDana Scott --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0363802
_tModel-theoretic aspects of fundamental measurement theory /
_rErnest W. Adams --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0363540
_tQuantum field theory: an unusual discipline /
_rJan Tarski --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0434238
_tThe axiomatic method in the empirical sciences /
_rPatrick Suppes --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0366582
_tThank you, Alfred /
_rJ. H. Woodger --
_uhttp://www.ams.org/pspum/025
_uhttp://dx.doi.org/10.1090/pspum/025/0357044
506 1 _aAccess is restricted to licensed institutions
533 _aElectronic reproduction.
_bProvidence, Rhode Island :
_cAmerican Mathematical Society.
_d2012
538 _aMode of access : World Wide Web
588 _aDescription based on print version record.
650 0 _aMathematics.
600 1 0 _aTarski, Alfred
_xBibliography.
650 0 _aLogic, Symbolic and mathematical.
700 1 _aTarski, Alfred.
700 1 _aHenkin, L�eon,
_eed.
710 2 _aUniversity of California, Berkeley.
710 2 _aAssociation for Symbolic Logic.
710 2 _aInternational Union of the History and Philosophy of Science.
_bDivision of Logic, Methodology and Philosophy of Science.
776 0 _iPrint version:
_tProceedings.
_w(DLC) 74008666
_x0082-0717
_z9780821814253
786 _dAmerican Mathematical Society
856 4 _3Contents
_uhttp://www.ams.org/pspum/025
856 4 _3Contents
_uhttp://dx.doi.org/10.1090/pspum/025
942 _2EBK12366
_cEBK
999 _c41660
_d41660