Wim Ruitenburg

Available identifiers

zbMath Open ruitenburg.wimMaRDI QIDQ190250

List of research outcomes

Publication	Date of Publication	Type
Kolmogorov and Kuroda translations into basic predicate logic	2024-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q3296117	2020-07-06	Paper
Latarres, lattices with an arrow	2018-10-02	Paper
Boolean algebras in Visser algebras	2016-03-04	Paper
Simple axioms that are obviously true in \(\mathbb{N}\)	2015-01-19	Paper
Very intuitionistic theories and quantifier elimination	2015-01-19	Paper
Quantifier elimination for a class of intuitionistic theories	2008-10-20	Paper
Kripke submodels and universal sentences	2007-06-26	Paper
Chainability and Hemmingsen's theorem	2006-09-13	Paper
Intuitionistic axiomatizations for bounded extension Kripke models.	2003-11-25	Paper
Basic predicate calculus	2001-07-17	Paper
Basic propositional calculus. II: Interpolation	2001-01-01	Paper
Basic logic, K4, and persistence	2000-08-23	Paper
Basic Propositional Calculus I	1999-05-16	Paper
A course in constructive algebra	1993-06-05	Paper
Products of idempotent matrices over Hermite domains	1993-05-16	Paper
Inequality in constructive mathematics	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3987175	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3975244	1992-06-26	Paper
Notions of relative ubiquity for invariant sets of relational structures	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3758944	1987-01-01	Paper
On the period of sequences (An(p)) in intuitionistic propositional calculus	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3674655	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3910519	1981-01-01	Paper

Research outcomes over time

This page was built for person: Wim Ruitenburg