Shelah Saharon. Categoricity of uncountable theories. Proceedings of the Tarski Symposium, An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday, edited by Henkin Leon et al., Proceedings of symposia in pure mathematics, vol. 25, American Mathematical Society, Providence, R.I., 1974, pp. 187–203 [Book Review]

Journal of Symbolic Logic 46 (4):866-867 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273235

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

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

Proceedings of the Tarski Symposium: An International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday.Leon Henkin, Alfred Tarski & Association for Symbolic Logic - 1979 - Amer Mathematical Society.
The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley.John West Addison, Leon Henkin & Alfred Tarski - 1972
Review: Saharon Shelah, Leon Henkin, Categoricity of Uncountable Theories. [REVIEW]Daniel Lascar - 1981 - Journal of Symbolic Logic 46 (4):866-867.
Categoricity of Uncountable Theories.Saharon Shelah & Leon Henkin - 1981 - Journal of Symbolic Logic 46 (4):866-867.
The Axiomatic Method: With Special Reference to Geometry and Physics: Proceedings of an International Symposium Held at the University of California, Berkeley, December 26, 1957 - January 4, 1958.Leon Henkin, Patrick Suppes & Alfred Tarski (eds.) - 1959 - Amsterdam, Netherlands: North-Holland.
Tarski Alfred. ¿ Qué es la geometria elemental? Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 3 no. 2 , pp. 41–51.Tarski Alfred. What is elementary geometry? The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957—January 4, 1958. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 16–29. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):93-93.
Lamber Joachim. The mathematics of sentence structure. American mathematical monthly, vol. 65 No. 3 , pp. 154–170.Lambek Joachim. Contributions to a mathematical analysis of the English verb-phrase. Journal of the Canadian Linguistic Association, vol. 5 , pp. 83–89.Lambek Joachim. On the calculus of syntactic types. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 166–178.Court L. M., Lambek J., Hiż H.. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 264–265.Cohen Joel M.. The equivalence of two concepts of categorial grammar. Information and control, vol. 10 , pp. 475–484. [REVIEW]Eliahu Shamir - 1968 - Journal of Symbolic Logic 33 (4):627-628.
W. V. Quine. Logic as a source of syntactical insights. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 254–255. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):496-497.
Wells Rulon. A measure of subjective information. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 237–244.Sable J. D., Wells R.. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 267–268. [REVIEW]Nuel D. Belnap - 1965 - Journal of Symbolic Logic 30 (2):244-245.
Review: Moti Gitik, Saharon Shelah, Forcings with ideals and simple forcing notions; M. Gitik, S. Shelah, More on simple forcing Notions and forcing with ideals; D. H. Fremin, Real-valued-measurable cardinals. [REVIEW]Maxim R. Burke - 1995 - Journal of Symbolic Logic 60 (3):1022-1024.
Robinson Abraham. On the application of symbolic logic to algebra. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, pp. 686–694.Tarski Alfred. Some notions and methods on the borderline of algebra and metamathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, pp. 705–720. [REVIEW]H. E. Vaughan - 1953 - Journal of Symbolic Logic 18 (2):182-182.
McCarthy John. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 219–227. [REVIEW]J. A. Robinson - 1968 - Journal of Symbolic Logic 32 (4):523-523.
Myhill John. Ω — Λ. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 97–104. [REVIEW]Erik Ellentuck - 1969 - Journal of Symbolic Logic 33 (4):619-620.
Shoenfield J. R.. The form of the negation of a predicate. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 131–134. [REVIEW]Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):116-116.
J. C. E. Dekker. Infinite series of isols. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 77–96. [REVIEW]Kenneth Appel - 1966 - Journal of Symbolic Logic 31 (4):652-652.

Analytics

Added to PP
2016-06-30

Downloads
24 (#654,246)

6 months
3 (#965,065)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references