Dr. Wim Ruitenburg

Dr. Wim RuitenburgMarquette University

Cudahy Hall, 384

MilwaukeeWI53201United States of America(414) 288-5384wim.ruitenburg@marquette.eduPersonal Website

Professor

Department of Mathematical and Statistical Sciences

Courses Taught

• The Nature of Mathematics
• Calculus
• Problem Solving: Putnam Competition

Research Interests

• Constructive Mathematics
• Symbolic Logic

Publications

• Majid Alizadeh, Mohammad Ardeshir, and Wim Ruitenburg. Boolean Algebras in Visser Algebras, Notre Dame Journal of Formal Logic 57, No. 1 (2016), pp. 141-150.
• Ellison, Ben, Fleischmann, Jonathan, McGinn, Dan, Ruitenburg, Wim. Quantifier Elimination for a Class of Intuitionistic Theories. Notre Dame Journal of Formal Logic.. 49, No. 3 (2008), pp. 281-293.
• Mohammad Ardeshir, Wim Ruitenburg and Saeed Saleh. Intuitionistic axiomatizations for bounded extension Kripke models, Annals of Pure and Applied Logic 124 (2003), pp. 267-285.
• Wim Ruitenburg. Products of idempotent matrices over Hermite domains, Semigroup Forum 46 (1993), pp. 371--378.
• Ray Mines, Fred Richman, Wim Ruitenburg. A Course in Constructive Algebra, Universitext, Springer, 1988, 344 + xi pages.