Compiled by

Eddie Yeghiayan

"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.

[Back to Index| UCI Department of Philosophy| UCI Department of Logic and Philosophy of Science| UCI Special Collections | UCI Libraries]

Copyright © All rights reserved. Regents of the University of
California.