Cohen Paul J.. Comments on the foundations of set theory. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 9–15 [Book Review]
Journal of Symbolic Logic 40 (3):459-460 (1975)
Abstract
This article has no associated abstract. (fix it)Author's Profile
DOI
10.2307/2272188
My notes
Similar books and articles
Lane Saunders Mac. Categorical algebra and set-theoretic foundations. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 231–240. [REVIEW]William Mitchell - 1973 - Journal of Symbolic Logic 38 (3):528-528.
Kunen Kenneth. Indescribability and the continuum. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 199–203. [REVIEW]Stephen J. Garland - 1975 - Journal of Symbolic Logic 40 (4):632-632.
Sacks Gerald E.. Forcing with perfect closed sets. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 331–355. [REVIEW]J. R. Shoenfield - 1974 - Journal of Symbolic Logic 39 (2):330-330.
Halpern J. D. and Läuchli H.. A partition theorem. Transactions of the American Mathematical Society, vol. 124 , pp. 360–367.Halpern J. D. and Lévy A.. The Boolean prime ideal theorem does not imply the axiom of choice. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 83–134. [REVIEW]David Pincus - 1974 - Journal of Symbolic Logic 39 (1):181-182.
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.
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.
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.
Davis Martin. Applications of recursive function theory to number theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 135–138. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):602-602.
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.
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.
M. L. Minsky. Size and structure of universal Turing machines using Tag systems. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 229–238. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (4):655-655.
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.
Nerode A.. Arithmetically isolated sets and nonstandard models. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 105–116. [REVIEW]Matthew Hassett - 1967 - Journal of Symbolic Logic 32 (2):269-269.
Spector Clifford. Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 1–27. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (1):128-128.
Analytics
Added to PP
2016-06-30
Downloads
7 (#1,045,441)
6 months
1 (#452,962)
2016-06-30
Downloads
7 (#1,045,441)
6 months
1 (#452,962)
Historical graph of downloads
