The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley

, &
(1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0720422337   9780720422337

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Michael Morley. Omitting classes of elements. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 265–273. [REVIEW]E. G. K. Lopez-Escobar - 1968 - Journal of Symbolic Logic 33 (2):286-287.
Freyd Peter. The theories of functors and models. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 107–120. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
Freyd Peter. The theories of functors and models. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 107–120. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336.
Schwabhäuser Wolfram. On models of elementary elliptic geometry. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 312–328. [REVIEW]L. W. Szczerba - 1971 - Journal of Symbolic Logic 36 (4):682.
Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 70–76. [REVIEW]William Glassmire - 1974 - Journal of Symbolic Logic 39 (2):338.
Paul J. Cohen. Independence results in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 39–54. [REVIEW]Joel W. Robbin - 1967 - Journal of Symbolic Logic 32 (1):129-130.
Karp Carol R.. Finite-quantifier equivalence. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 407–412. [REVIEW]H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (1):158.
J. R. Shoenheld. Applications of model theory to degrees of unsolvability. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 359–363. [REVIEW]Gerald E. Sacks - 1972 - Journal of Symbolic Logic 37 (3):610-611.
W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 132–145. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):127-128.
Gebhard Furhken. Languages with added quantifier “there exist at least Nα.”The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 121–131. [REVIEW]A. B. Slomson - 1970 - Journal of Symbolic Logic 35 (2):342.

Analytics

Added to PP
2015-02-13

Downloads
6 (#1,483,753)

6 months
3 (#1,046,148)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Counterfactuals and Scientific Realism.Michael J. Shaffer - 2012 - London and Basingstoke: Palgrave MacMillan.
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.

Add more citations

References found in this work

No references found.

Add more references