 Boolean Algebras in Visser
Algebras (with Majid Alizadeh and Mohammad Ardeshir), Notre Dame
Journal of Formal Logic 57, No. 1 (2016), pp. 141150.
 Quantifier elimination for a class of intuitionistic theories
(with Ben Ellison, Jonathan Fleischmann, and Dan McGinn), Notre Dame Journal
of Formal Logic 49, No. 3 (2008), pp. 281293.
 Kripke submodels and universal sentences (with Ben Ellison,
Jonathan Fleischmann, and Dan McGinn), Mathematical Logic Quarterly 53
(2007), pp. 311320.
 Chainability and Hemmingsen's
Theorem (with Taras Banakh, Paul Bankston, and Brian Raines),
Topology and its Applications 153 (2006), pp. 24622468.
 Very intuitionistic theories and
quantifier elimination, The Review of Modern Logic 10, No. 1 & 2
(2004/05), pp. 99112.
 Simple axioms that are obviously true in
N (with Tomasz Połacik), The Review of Modern Logic 9,
No. 1 & 2 (2001/03), pp. 6779.
 Intuitionistic axiomatizations for bounded extension Kripke models
(with Mohammad Ardeshir and Saeed Salehi), Annals of Pure and Applied
Logic 124 (2003), pp. 267285.
 Basic propositional calculus. II. Interpolation (with Mohammad
Ardeshir), Archive for Mathematical Logic 40, No. 5 (2001), pp.
349364.
 Basic logic, K4, and persistence, Studia Logica 63, No. 3
(1999), pp. 343352.
 Basic predicate calculus, Notre Dame Journal of Formal Logic
39, No. 1 (1998), pp. 1846.
 Basic propositional calculus I (with Mohammad Ardeshir),
Mathematical Logic Quarterly 44 (1998), pp. 317343.
 Products of idempotent matrices over Hermite domains,
Semigroup Forum 46 (1993), pp. 371378.
 Basic logic and Fregean set
theory, in: H. Barendregt, M. Bezem, J.W. Klop (editors), Dirk van
Dalen Festschrift, Quaestiones Infinitae, Vol. 5, Department of Philosophy,
Utrecht University, March 1993, pp. 121142.
 Inequality in constructive
mathematics, Notre Dame Journal of Formal Logic 32, No. 4
(1991), pp. 533553.
 Constructive logic and the
paradoxes, Modern Logic 1, No. 4 (1991), pp. 271301.
 The unintended interpretations of
intuitionistic logic, in: T. Drucker (editor), Perspectives on the
History of Mathematical Logic, Birkhäuser, 1991, pp. 134160.
 Constructing roots of polynomials over the
complex numbers, in: A.M. Cohen (editor), Computational Aspects of
Lie Group Representations and Related Topics, CWI Tract, Vol. 84, Centre
for Mathematics and Computer Science, Amsterdam, 1991, pp. 107128.
 Notions of relative ubiquity for invariant sets of relational
structures (with Paul Bankston), The Journal of Symbolic Logic 55
(1990), pp. 948986.
 A Course in Constructive Algebra (with Ray Mines and Fred
Richman), Universitext, Springer, 1988, 344 + xi pages.
 Constructions of finitely generated submodules of constructively
Noetherian modules, Compositio Mathematica 62 (1987), pp. 4752.
 On the period of sequences (A^n(p)) in intuitionistic propositional
calculus, The Journal of Symbolic Logic 49 (1984), pp. 892899.
 Intuitionistic Algebra, Theory and
Sheaf Models, Utrecht, Ph.D. Thesis, May 1982, 143 pages, D. van Dalen
(adviser).
 Primality and invertibility of polynomials, in: A.S. Troelstra,
D. van Dalen (editors), The L.E.J. Brouwer Centenary Symposium, Studies
in Logic and the Foundations of Mathematics, Vol. 110, NorthHolland, 1982,
pp. 413434.
 Field extensions, in: F. Richman (editor), Constructive
Mathematics, Lecture Notes in Mathematics, Vol. 873, Springer, 1981,
pp. 1215.


 Review of The Honors Class:
Hilbert's Problems and Their Solvers, by Benjamin H. Yandell, in: The
Review of Modern Logic 10, No. 3 & 4 (2005/07), pp. 231237.
 Review of Truth in Mathematics, by
H.G. Dales and G. Oliveri (editors), in: Modern Logic 8, No. 3 & 4 (May
2000  October 2001), pp. 153163.
 Review of Mathematics of
Modality, by Robert Goldblatt, in: Modern Logic 8, No. 1 & 2
(January 1998  April 2000), pp. 191194.
 Review of John von Neumann and the Origins
of Modern Computing, by W. Aspray, in: Modern Logic 6, No. 1
(January 1996), pp. 102108.
 Review of Brouwer's Intuitionism,
by W.P. van Stigt, in: Modern Logic 2, No. 4 (July 1992), pp. 424430.
 Review of Reflections on Kurt
Gödel, by H. Wang, in: Modern Logic 2, No. 2 (December 1991),
pp. 191195.
 Review of Notes on Logic and Set
Theory, by P.T. Johnstone, in: Mededelingen van het Wiskundig
Genootschap 32, No. 4 (April 1989), pp. 154155.
 Review of Applications of
Sheaves, by M.P. Fourman, C.J. Mulvey, D.S. Scott (editors), in:
Mededelingen van het Wiskundig Genootschap 24, No. 7 (October 1981),
pp. 256257.

