- Kripke submodels and universal sentences (with Ben Ellison,
Jonathan Fleischmann, and Dan McGinn), Mathematical Logic Quarterly 53
(2007), pp. 311--320.
- Chainability and Hemmingsen's Theorem (with Taras Banakh, Paul
Bankston, and Brian Raines), Topology and its Applications 153 (2006),
pp. 2462--2468.
- Very intuitionistic theories and quantifier elimination,
The Review of Modern Logic 10, No. 1 & 2 (2004/05), pp. 99--112.
- Simple axioms that are obviously true in N
(with Tomasz Połacik), The Review of Modern Logic 9, No. 1 & 2
(2001/03), pp. 67--79.
- Intuitionistic axiomatizations for bounded extension Kripke models
(with Mohammad Ardeshir and Saeed Salehi), Annals of Pure and Applied
Logic 124 (2003), pp. 267--285.
- Basic propositional calculus. II. Interpolation (with Mohammad
Ardeshir), Archive for Mathematical Logic 40, No. 5 (2001), pp.
349--364.
- Basic logic, K4, and persistence, Studia Logica 63, No. 3
(1999), pp. 343--352.
- Basic predicate calculus, Notre Dame Journal of Formal Logic
39, No. 1 (1998), pp. 18--46.
- Basic propositional calculus I (with Mohammad Ardeshir),
Mathematical Logic Quarterly 44 (1998), pp. 317--343.
- Products of idempotent matrices over Hermite domains,
Semigroup Forum 46 (1993), pp. 371--378.
- 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. 121--142.
- Inequality in constructive mathematics, Notre Dame Journal of
Formal Logic 32, No. 4 (1991), pp. 533--553.
- Constructive logic and the paradoxes, Modern Logic 1, No.
4 (1991), pp. 271--301.
- The unintended interpretations of intuitionistic logic, in:
T. Drucker (editor), Perspectives on the History of Mathematical Logic,
Birkhäuser, 1991, pp. 134--160.
- 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. 107--128.
- Notions of relative ubiquity for invariant sets of relational
structures (with Paul Bankston), The Journal of Symbolic Logic 55
(1990), pp. 948--986.
- 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. 47--52.
- On the period of sequences (A^n(p)) in intuitionistic propositional
calculus, The Journal of Symbolic Logic 49 (1984), pp. 892--899.
- 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, North--Holland, 1982,
pp. 413--434.
- Field extensions, in: F. Richman (editor), Constructive
Mathematics, Lecture Notes in Mathematics, Vol. 873, Springer, 1981,
pp. 12--15.
|