-
10Classes of Recursively Enumerable Sets and Degrees of UnsolvabilityJournal of Symbolic Logic 32 (4): 528-528. 1967.
-
26Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900Journal of Symbolic Logic 44 (1): 116-119. 1979.
-
7Paul R. Young. A note on pseudo-creative sets and cylinders. Pacific journal of mathematics, vol. 14 , pp. 749–753. - Paul R. Young. On semi-cylinders, splinters, and bounded truth-table reducibility. Transactions of the American Mathematical Society, vol. 115 , pp. 329–339. - Paul R. Young. On pseudo-creative sets, splinters, and bounded-truth-table reducibility. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 25–31 (review)Journal of Symbolic Logic 35 (2): 335-335. 1970.
-
16Meeting of the Association for Symbolic Logic, New York, 1974Journal of Symbolic Logic 40 (2): 299-304. 1975.
-
Gödel's conceptual realismIn Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial, Association For Symbolic Logic. 2010.
-
On Cardinal Invariants of the Continuum. Axiomatic Set TheoryBulletin of Symbolic Logic 11 (3): 451-453. 2005.
-
23Solovay Robert M.. A nonconstructible set of integers. Transactions of the American Mathematical Society, vol. 127 , pp. 50–75 (review)Journal of Symbolic Logic 36 (2): 340. 1971.
-
17Yiannis N. Moschovakis. The game quantifier. Proceedings of the American Mathematical Society, vol. 31 , pp. 245–250Journal of Symbolic Logic 38 (4): 653. 1973.
-
28Jon Barwise and John Etchemendy. The liar. An essay on truth and circularity. Oxford University Press, New York and Oxford1987, xii + 185 pp (review)Journal of Symbolic Logic 57 (1): 252-254. 1992.
-
22Meeting of the Association for Symbolic Logic, Chicago 1975Journal of Symbolic Logic 41 (2): 551-560. 1976.
-
43Classes of Recursively Enumerable Sets and Degrees of UnsolvabilityMathematical Logic Quarterly 12 (1): 295-310. 1966.
-
35Axiomatizable theories with few axiomatizable extensionsJournal of Symbolic Logic 35 (2): 205-209. 1970.
-
16Ad and the Uniqueness of the Supercompact Measures on Pω 1Journal of Symbolic Logic 57 (1): 259-261. 1992.
-
71998 Spring Meeting of the Association for Symbolic LogicBulletin of Symbolic Logic 4 (2): 210-216. 1998.
-
17Review: H. B. Enderton, The Unique Existential Quantifier (review)Journal of Symbolic Logic 40 (4): 627-627. 1975.
-
27
-
13Review: Jon Barwise, John Etchemendy, The Liar. An Essay on Truth and Circularity (review)Journal of Symbolic Logic 57 (1): 252-254. 1992.
-
20Review: Robert M. Solovay, A Nonconstructible $bigtriangleup_{3}^{1}$ Set of Integers (review)Journal of Symbolic Logic 36 (2): 340-340. 1971.
Areas of Specialization
Philosophy of Mathematics |
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Mathematics |