-
43On non-standard models for number theoryIn Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics, Magnes Press. pp. 259--268. 1961.
-
128Graham Oppy. Philosophical perspectives on infinityPhilosophia Mathematica 15 (3): 397-399. 2007.The author tells us that this book was originally intended to be part of a larger work, with the provisional title God and Infinity, but that he opted instead for a separate and independent treatment of the notion of infinity in philosophy and related areas. The original purpose is very well-hidden, showing itself clearly only in the Preface and a few other places. The book begins with a chapter describing some known alleged difficulties having to do with the infinitely large and infinitely smal…Read more
-
162A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310Journal of Symbolic Logic 35 (1): 138-138. 1970.
-
34The Axiom of Fundierung and the Axiom of ChoiceArchive for Mathematical Logic 4 (3-4): 65. 1958.
-
3Roman Murawski, recursive functions and metamathematics: Problems of completeness and decidabilityPhilosophia Mathematica 8 (3): 345-346. 2000.
-
79Bernays Paul. Axiomatic set theory. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1958, VIII + 226 pp.Fraenkel A. A.. Part I. Historical introduction. Therein, pp. 3–35 (review)Journal of Symbolic Logic 24 (3): 224-225. 1959.
-
79On some recent criticism of Church's ThesisNotre Dame Journal of Formal Logic 4 (3): 201-205. 1963.
-
70Wang Hao. Process and existence in mathematics. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 328–351Journal of Symbolic Logic 30 (2): 244-244. 1965.
-
108Some proofs of independence in axiomatic set theoryJournal of Symbolic Logic 21 (3): 291-303. 1956.
-
83
-
98Halpern J. D.. The independence of the axiom of choice from the Boolean prime ideal theorem. Fundamenta mathematicae, vol. 55 , pp. 57–66Journal of Symbolic Logic 32 (2): 273-274. 1967.
-
62Meeting of the Association for Symbolic Logic, New York, 1974Journal of Symbolic Logic 40 (2): 299-304. 1975.
-
72Theory and Problems of Boolean Algebra and Switching CircuitsJournal of Symbolic Logic 39 (3): 615-615. 1974.
-
Review: Paul Bernays, Axiomatic Set Theory (review)Journal of Symbolic Logic 24 (3): 224-225. 1959.
-
128
-
176Anita Burdman Feferman and Solomon Feferman. Alfred Tarski: Life and Logic. Cambridge: Cambridge University Press, 2004. Pp. vi + 435. ISBN 0-521-80240-7 (review)Philosophia Mathematica 13 (2): 231-232. 2005.
-
98Annual meeting of the association for symbolic logicJournal of Symbolic Logic 31 (4): 682-696. 1966.
-
40Strongly Related Models and Recursively Complete AlgebrasJournal of Symbolic Logic 31 (4): 649-650. 1966.
-
46Philosophical Problems of Many-Valued Logic (review)Journal of Philosophy 63 (15): 445-446. 1966.
-
98Lévy Azriel. On models of set theory with urelements. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 463–465Journal of Symbolic Logic 36 (4): 682-682. 1971.
-
72A Semantic Proof of the Eliminability of DescriptionsZeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14): 199-200. 1960.
-
171Review: R. Montague, R. L. Vaught, A Note on Theories with Selectors (review)Journal of Symbolic Logic 25 (2): 177-178. 1960.
-
79Katuzi Ono. On a practical way of describing formal deductions. Nagoya mathematical journal, vol. 21 (1962), pp. 115–121. - Katuzi Ono. New formulation of the axiom of choice by making use of the comprehension operator. Nagoya mathematical journal, vol. 23 (1963), pp. 53–71 (review)Journal of Symbolic Logic 34 (2): 307-307. 1969.
-
181Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. xxx + 339. ISBN 1-4020-1094-X (review)Philosophia Mathematica 13 (2): 228-230. 2005.