- Kolmogorov and Kuroda
translations into Basic Predicate Logic (with Mohammad Ardeshir),
Logic Journal of the IGPL. Interest Group in Pure and Applied Logics 32, No.
1 (2024), pp. 47--63.
- Latarres, lattices with an
arrow (with Mohammad Ardeshir), Studia Logica 106, No. 4 (2018),
pp. 757--788.
- Boolean algebras in Visser
algebras (with Majid Alizadeh and Mohammad Ardeshir), Notre Dame
Journal of Formal Logic 57, No. 1 (2016), pp. 141--150.
- 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. 281--293.
- 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.
|
|
- 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. 231--237.
- 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. 153--163.
- Review of Mathematics of
Modality, by Robert Goldblatt, in: Modern Logic 8, No. 1 & 2
(January 1998 - April 2000), pp. 191--194.
- Review of John von Neumann and the Origins
of Modern Computing, by W. Aspray, in: Modern Logic 6, No. 1
(January 1996), pp. 102--108.
- Review of Brouwer's Intuitionism,
by W.P. van Stigt, in: Modern Logic 2, No. 4 (July 1992), pp. 424--430.
- Review of Reflections on Kurt
Gödel, by H. Wang, in: Modern Logic 2, No. 2 (December 1991),
pp. 191--195.
- Review of Notes on Logic and Set
Theory, by P.T. Johnstone, in: Mededelingen van het Wiskundig
Genootschap 32, No. 4 (April 1989), pp. 154--155.
- 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. 256--257.
|
|