Marquette University

Department of Mathematics, Statistics and Computer Science

Wim Ruitenburg's Publications Page


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