Edit Profile (opens in new tab) Ruitenburg, Wim B. G. Co-Author Distance Author ID: ruitenburg.wim Published as: Ruitenburg, Wim; Ruitenburg, Wim B. G.; Ruitenburg, W. more...less Further Spellings: Ruitenburg, Willem Bastiaan Gijsbertus Homepage: https://www.mscsnet.mu.edu/~wim/ External Links: MGP · ORCID Documents Indexed: 23 Publications since 1981, including 2 Books Co-Authors: 12 Co-Authors with 12 Joint Publications 273 Co-Co-Authors all top 5 Co-Authors 11 single-authored 5 Ardeshir, Mohammad 2 Bankston, Paul 2 Ellison, Ben 2 Fleischmann, Jonathan 2 McGinn, Dan 2 Mines, Ray 2 Richman, Fred 1 Alizadeh, Majid 1 Banakh, Taras Onufrievich 1 Połacik, Tomasz 1 Raines, Brian E. 1 Salehi, Saeed all top 5 Serials 4 Notre Dame Journal of Formal Logic 2 The Journal of Symbolic Logic 2 Studia Logica 2 Mathematical Logic Quarterly (MLQ) 2 The Review of Modern Logic 1 Compositio Mathematica 1 Semigroup Forum 1 Topology and its Applications 1 Annals of Pure and Applied Logic 1 Modern Logic 1 Archive for Mathematical Logic 1 Universitext 1 Didactiques all top 5 Fields 22 Mathematical logic and foundations (03-XX) 4 Commutative algebra (13-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Field theory and polynomials (12-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 18 Publications have been cited 220 times in 196 Documents Cited by ▼ Year ▼ A course in constructive algebra. Zbl 0725.03044Mines, Ray; Richman, Fred; Ruitenburg, Wim 119 1988 Basic predicate calculus. Zbl 0967.03005Ruitenburg, Wim 25 1998 Basic propositional calculus. I. Zbl 0912.03005Ardeshir, Mohammad; Ruitenburg, Wim 24 1998 Products of idempotent matrices over Hermite domains. Zbl 0786.15017Ruitenburg, Wim 15 1993 Constructive logic and the paradoxes. Zbl 0748.03037Ruitenburg, Wim 6 1991 Constructing roots of polynomials over the complex numbers. Zbl 0764.12001Ruitenburg, Wim B. G. 5 1991 On the period of sequences \((A^ n(p))\) in intuitionistic propositional calculus. Zbl 0594.03014Ruitenburg, Wim 5 1984 Basic propositional calculus. II: Interpolation. Zbl 0976.03009Ardeshir, Mohammad; Ruitenburg, Wim 4 2001 Kripke submodels and universal sentences. Zbl 1123.03008Ellison, Ben; Fleischmann, Jonathan; McGinn, Dan; Ruitenburg, Wim 4 2007 Quantifier elimination for a class of intuitionistic theories. Zbl 1159.03021Ellison, Ben; Fleischmann, Jonathan; McGinn, Dan; Ruitenburg, Wim 2 2008 Intuitionistic axiomatizations for bounded extension Kripke models. Zbl 1040.03044Ardeshir, Mohammad; Ruitenburg, Wim; Salehi, Saeed 2 2003 Notions of relative ubiquity for invariant sets of relational structures. Zbl 0726.03025Bankston, Paul; Ruitenburg, Wim 2 1990 Chainability and Hemmingsen’s theorem. Zbl 1168.54322Banakh, Taras; Bankston, Paul; Raines, Brian; Ruitenburg, Wim 2 2006 Boolean algebras in Visser algebras. Zbl 1347.03105Alizadeh, Majid; Ardeshir, Mohammad; Ruitenburg, Wim 1 2016 Very intuitionistic theories and quantifier elimination. Zbl 1303.03070Ruitenburg, Wim 1 2005 Inequality in constructive mathematics. Zbl 0746.03050Ruitenburg, Wim 1 1991 Basic logic, K4, and persistence. Zbl 0942.03008Ruitenburg, Wim 1 1999 Latarres, lattices with an arrow. Zbl 1437.06005Ardeshir, Mohammad; Ruitenburg, Wim 1 2018 Latarres, lattices with an arrow. Zbl 1437.06005Ardeshir, Mohammad; Ruitenburg, Wim 1 2018 Boolean algebras in Visser algebras. Zbl 1347.03105Alizadeh, Majid; Ardeshir, Mohammad; Ruitenburg, Wim 1 2016 Quantifier elimination for a class of intuitionistic theories. Zbl 1159.03021Ellison, Ben; Fleischmann, Jonathan; McGinn, Dan; Ruitenburg, Wim 2 2008 Kripke submodels and universal sentences. Zbl 1123.03008Ellison, Ben; Fleischmann, Jonathan; McGinn, Dan; Ruitenburg, Wim 4 2007 Chainability and Hemmingsen’s theorem. Zbl 1168.54322Banakh, Taras; Bankston, Paul; Raines, Brian; Ruitenburg, Wim 2 2006 Very intuitionistic theories and quantifier elimination. Zbl 1303.03070Ruitenburg, Wim 1 2005 Intuitionistic axiomatizations for bounded extension Kripke models. Zbl 1040.03044Ardeshir, Mohammad; Ruitenburg, Wim; Salehi, Saeed 2 2003 Basic propositional calculus. II: Interpolation. Zbl 0976.03009Ardeshir, Mohammad; Ruitenburg, Wim 4 2001 Basic logic, K4, and persistence. Zbl 0942.03008Ruitenburg, Wim 1 1999 Basic predicate calculus. Zbl 0967.03005Ruitenburg, Wim 25 1998 Basic propositional calculus. I. Zbl 0912.03005Ardeshir, Mohammad; Ruitenburg, Wim 24 1998 Products of idempotent matrices over Hermite domains. Zbl 0786.15017Ruitenburg, Wim 15 1993 Constructive logic and the paradoxes. Zbl 0748.03037Ruitenburg, Wim 6 1991 Constructing roots of polynomials over the complex numbers. Zbl 0764.12001Ruitenburg, Wim B. G. 5 1991 Inequality in constructive mathematics. Zbl 0746.03050Ruitenburg, Wim 1 1991 Notions of relative ubiquity for invariant sets of relational structures. Zbl 0726.03025Bankston, Paul; Ruitenburg, Wim 2 1990 A course in constructive algebra. Zbl 0725.03044Mines, Ray; Richman, Fred; Ruitenburg, Wim 119 1988 On the period of sequences \((A^ n(p))\) in intuitionistic propositional calculus. Zbl 0594.03014Ruitenburg, Wim 5 1984 all cited Publications top 5 cited Publications all top 5 Cited by 170 Authors 26 Lombardi, Henri 17 Schuster, Peter Michael 16 Yengui, Ihsen 12 Coquand, Thierry 11 Richman, Fred 9 Wessel, Daniel 8 Konovalov, Aleksandr Yur’evich 8 Quitté, Claude 6 Zanardo, Paolo 5 Ardeshir, Mohammad 5 Cossu, Laura 5 Petrakis, Iosif 5 Romano, Daniel Abraham 4 Bridges, Douglas Suth 4 Ducos, Lionel 4 Ishihara, Hajime 4 Rinaldi, Davide 3 Barhoumi, Sami 3 Celani, Sergio Arturo 3 Gonzalez-Vega, Laureano 3 Gould, Victoria A. R. 3 Leroy, André Gérard 3 Mitrović, Melanija S. 3 Moniri, Morteza 3 Neuwirth, Stefan 3 Palmgren, Erik 3 Perdry, Hervé 3 Posur, Sebastian 3 Ruitenburg, Wim B. G. 2 Aczel, Peter 2 Alizadeh, Majid 2 Alonso García, María Emilia 2 Bankston, Paul 2 Blechschmidt, Ingo 2 Buss, Samuel R. 2 Crvenković, Siniša 2 Díaz-Toca, Gema María 2 Dolinka, Igor 2 Droste, Manfred 2 Ghilardi, Silvio 2 Gianni, Patrizia M. 2 Iemhoff, Rosalie 2 Jain, Surender Kumar 2 Jansana, Ramon 2 Khaniki, Erfan 2 Kohlenbach, Ulrich Wilhelm 2 Kraus, Nicolai 2 Mardaev, Sergeĭ Il’ich 2 Merrin, Stephen 2 Middleton, Ben 2 Mojtahedi, S. Mojtaba 2 Paoli, Francesco 2 Raftery, James G. 2 Rathjen, Michael 2 Salce, Luigi 2 San Martín, Hernán Javier 2 Sano, Katsuhiko 2 Santocanale, Luigi 2 Shirmohammadzadeh Maleki, Fatemeh 2 Trager, Barry M. 2 Wiesnet, Franziskus 2 Zaare, Mostafa 1 Akbar Tabatabai, Amirhossein 1 Al-aadhami, Asawer Duraid 1 Alahmadi, Adel N. 1 Altenkirch, Thorsten 1 Badia, Guillermo 1 Bagaria, Joan 1 Bagheri, Seyed Mohammad 1 Baroni, Marian Alexandru 1 Barras, Bruno 1 Ben Amor, Faten 1 Bezhanishvili, Nick 1 Bhaskara Rao, K. P. S. 1 Blok, Willem Johannes 1 Bonacina, Roberta 1 Borumand Saeid, Arsham 1 Carlström, Jesper 1 Castiglioni, José Luis 1 Cherubini, Alessandra 1 Cohen, Liron 1 Constable, Robert Lee 1 Coste, Michel 1 de Jongh, Dick H. J. 1 de Oliveira, Pedro H. A. 1 East, James 1 Ellouz, Afef 1 Evseev, Anton 1 Facchini, Alberto 1 Faro, Sofia Abreu 1 Feferman, Solomon 1 Fellin, Giulio 1 Fellows, Michael Ralph 1 Feng, Yingying 1 Fortuna, Elisabetta 1 French, Rohan 1 Frigeri, Achille 1 Galligo, André 1 Gamanda, Maroua 1 Ghorbani, Shokoofeh ...and 70 more Authors all top 5 Cited in 66 Serials 14 Journal of Algebra 10 Communications in Algebra 10 MSCS. Mathematical Structures in Computer Science 8 Annals of Pure and Applied Logic 8 The Bulletin of Symbolic Logic 7 Studia Logica 7 Mathematical Logic Quarterly (MLQ) 6 Journal of Pure and Applied Algebra 6 Theoretical Computer Science 5 Notre Dame Journal of Formal Logic 5 Archive for Mathematical Logic 4 Algebra and Logic 4 The Journal of Symbolic Logic 4 Journal of Symbolic Computation 4 Indagationes Mathematicae. New Series 4 Journal of Algebra and its Applications 3 Moscow University Mathematics Bulletin 3 Journal of Combinatorial Theory. Series A 3 Proceedings of the American Mathematical Society 3 Linear Algebra and its Applications 2 Linear and Multilinear Algebra 2 Mathematical Notes 2 Mathematics of Computation 2 Algebra Universalis 2 Mathematische Zeitschrift 2 Semigroup Forum 2 Applicable Algebra in Engineering, Communication and Computing 2 Oberwolfach Reports 2 Logical Methods in Computer Science 2 Journal of Commutative Algebra 2 The Review of Symbolic Logic 1 American Mathematical Monthly 1 Information Processing Letters 1 Mathematische Semesterberichte 1 Rocky Mountain Journal of Mathematics 1 Advances in Mathematics 1 Archiv der Mathematik 1 Compositio Mathematica 1 Fuzzy Sets and Systems 1 Journal of Philosophical Logic 1 Manuscripta Mathematica 1 Le Matematiche 1 Mathematische Nachrichten 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Transactions of the American Mathematical Society 1 Topology and its Applications 1 Acta Mathematica Hungarica 1 Journal of Complexity 1 Information and Computation 1 International Journal of Algebra and Computation 1 Designs, Codes and Cryptography 1 Applied Categorical Structures 1 Filomat 1 Bulletin des Sciences Mathématiques 1 Annals of Mathematics and Artificial Intelligence 1 Soft Computing 1 Fundamenta Informaticae 1 Kragujevac Journal of Mathematics 1 Logic and Logical Philosophy 1 JP Journal of Algebra, Number Theory and Applications 1 ACM Transactions on Computational Logic 1 Asian-European Journal of Mathematics 1 Ars Mathematica Contemporanea 1 Computability 1 Carpathian Mathematical Publications 1 Actes des Rencontres du C.I.R.M. all top 5 Cited in 24 Fields 131 Mathematical logic and foundations (03-XX) 60 Commutative algebra (13-XX) 24 Order, lattices, ordered algebraic structures (06-XX) 22 Computer science (68-XX) 18 Algebraic geometry (14-XX) 13 Linear and multilinear algebra; matrix theory (15-XX) 12 Field theory and polynomials (12-XX) 12 Group theory and generalizations (20-XX) 9 Number theory (11-XX) 8 General algebraic systems (08-XX) 7 General and overarching topics; collections (00-XX) 7 Category theory; homological algebra (18-XX) 6 Associative rings and algebras (16-XX) 6 \(K\)-theory (19-XX) 6 General topology (54-XX) 4 Functional analysis (46-XX) 3 Combinatorics (05-XX) 3 Nonassociative rings and algebras (17-XX) 3 Real functions (26-XX) 3 Probability theory and stochastic processes (60-XX) 3 Quantum theory (81-XX) 2 Operator theory (47-XX) 2 Numerical analysis (65-XX) 1 History and biography (01-XX) Citations by Year