University of California, Irvine
"Axiomatising Set Theory with a Universal Set." In Université Catholique de Louvain, Institut Supérieur de Philosophie, La Théorie des ensembles de Quine (Colloque N.F., Louvain-la-Neuve, 1981), pp. 61-76. Cahiers du Centre de Logique, 4. Louvain-la-Neuve: Cabay, 1982.
"A Consistent Higher-Order Theory Without a (Higher-Order) Model." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (1989), 35(5):385-386.
"Permutations and Stratified Formulae--A Preservation Theorem." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (1990), 36(5):385-388.
(with Richard Kaye.) "End Extensions Preserving Power Set." Journal of Symbolic Logic (March 1991), 56(1):323-328.
"The Animal Rights Question." [Letter] Nature (July 4, 1991), 352(6330):9.
"On a Problem of Dzierzgowski." Bulletin of the Belgian Mathematical Society (Series B) (1992), 44(2):207-214.
"A Semantic Characterization of the Well-Typed Formulae of Lambda-Calculus." Theoretical Computer Science (March 29, 1993), 110(2):405-418.
"Weak Systems of Set Theory Related to HOL." In Thomas F. Melham and Juanito Camilleri, eds.,Higher Order Logic Theorem Proving and its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994: Proceedings, pp. 193-204. Lecture Notes in Computer Science, 859. Berlin & New York: Springer-Verlag, 1994.
"Why Set Theory without Foundation?" Journal of Logic and Computation (1994), 4(4):333-335.
(with C. M. Rood.) "Sethood and Situations." Computational Linguistics (September 1996), 22(3):405-408.
"Quine's NF -- 60 Years On." American Mathematical Monthly (November 1997), 104(9):838-845.
Review of David Booth and Renatus Ziegler, eds., Finsler Set Theory: Platonism and Circularity. Studia Logica (November 1998), 61(3):429-433.
Review of Jaakko Hintikka's Language, Truth and Logic in Mathematics. History and Philosophy of Logic (1999), 20(2):132.
Review of F.R. Drake and Dasharath Singh's Intermediate Set Theory. Studia Logica (1999), 63(3):417-418.
"Kurt Gödel and the Riddle of the Nile." New Scientist (November 25, 2000), 168(2266):54-55.
Review of Andrew M. Pitts and Peter Dybjer, eds., Semantics and Logics of Computation. Studia Logica (2000), 64(3):413-415.
Review of Luciano Floridi's Philosophy and Computing: An Introduction. TLS: Times Literary Supplement (August 11, 2000), 5080:27.