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 |