-
22The empty set, the Singleton, and the ordered pairBulletin of Symbolic Logic 9 (3): 273-298. 2003.For the modern set theorist the empty set Ø, the singleton {a}, and the ordered pair 〈x, y〉 are at the beginning of the systematic, axiomatic development of set theory, both as a field of mathematics and as a unifying framework for ongoing mathematics. These notions are the simplest building locks in the abstract, generative conception of sets advanced by the initial axiomatization of Ernst Zermelo [1908a] and are quickly assimilated long before the complexities of Power Set, Replacement, and Ch…Read more
-
3Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic; J. R. Shoenfield, B.1. Axioms of Set Theory (review)Journal of Symbolic Logic 49 (3): 971-975. 1984.
-
15On Gödel incompleteness and finite combinatoricsAnnals of Pure and Applied Logic 33 (C): 23-41. 1987.
-
Boston UniversityRegular Faculty
Boston, Massachusetts, United States of America
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Mathematics |