| Publication | Date of Publication | Type |
|---|
| A general Glivenko-Gödel theorem for nuclei | 2024-12-17 | Paper |
| The computational significance of Hausdorff's maximal chain principle | 2022-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869519 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104707 | 2022-09-15 | Paper |
| THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY | 2022-06-30 | Paper |
| The Jacobson radical for an inconsistency predicate | 2022-05-16 | Paper |
| The Hahn-Banach theorem by disjunction elimination | 2022-02-04 | Paper |
| Syntax for Semantics: Krull’s Maximal Ideal Theorem | 2022-01-27 | Paper |
| Dynamic evaluation of integrity and the computational content of Krull's lemma | 2021-09-02 | Paper |
| Resolving finite indeterminacy | 2021-01-21 | Paper |
| On Scott’s semantics for many-valued logic | 2020-12-15 | Paper |
| Lindenbaum’s Lemma via Open Induction | 2020-08-07 | Paper |
| Some forms of excluded middle for linear orders | 2020-05-06 | Paper |
| A General Extension Theorem for Directed-Complete Partial Orders | 2019-03-11 | Paper |
| An algorithmic approach to the existence of ideal objects in commutative algebra | 2019-03-07 | Paper |
| Eliminating disjunctions by disjunction elimination | 2018-01-12 | Paper |
| ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION | 2017-10-06 | Paper |
| Induction in Algebra: A First Case Study | 2017-05-16 | Paper |
| Constructing Gröbner bases for Noetherian rings | 2016-07-26 | Paper |
| A universal Krull-Lindenbaum theorem | 2016-04-21 | Paper |
| Finite Methods in Mathematical Practice | 2015-11-18 | Paper |
| The basic Zariski topology | 2015-11-03 | Paper |
| APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE | 2014-10-21 | Paper |
| The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice | 2014-04-25 | Paper |
| Induction in Algebra: a First Case Study | 2013-09-26 | Paper |
| Are there enough injective sets? | 2013-06-27 | Paper |
| A generalized cut characterization of the fullness axiom in CZF | 2013-06-11 | Paper |
| Minima and best approximations in constructive analysis | 2012-12-17 | Paper |
| Unique paths as formal points | 2012-12-17 | Paper |
| The Kripke schema in metric topology | 2012-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3144618 | 2012-12-08 | Paper |
| Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis | 2012-09-28 | Paper |
| A Direct Proof of Wiener’s Theorem | 2012-08-14 | Paper |
| A predicative completion of a uniform space | 2012-06-01 | Paper |
| The Gröbner ring conjecture in one variable | 2012-05-08 | Paper |
| Uniqueness, continuity and the existence of implicit functions in constructive analysis | 2011-09-16 | Paper |
| Noetherian orders | 2011-03-07 | Paper |
| On the contrapositive of countable choice | 2011-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075214 | 2011-02-10 | Paper |
| Kronecker's density theorem and irrational numbers in constructive reverse mathematics | 2010-05-07 | Paper |
| Spectral schemes as ringed lattices | 2010-03-19 | Paper |
| Problems, solutions, and completions | 2009-12-18 | Paper |
| Almost locatedness in uniform spaces | 2009-03-31 | Paper |
| Dini’s Theorem in the Light of Reverse Mathematics | 2009-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3605742 | 2009-02-24 | Paper |
| A continuity principle, a version of Baire's theorem and a boundedness principle | 2009-01-09 | Paper |
| Apartness, compactness and nearness | 2008-10-21 | Paper |
| The Zariski spectrum as a formal geometry | 2008-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5437178 | 2008-01-18 | Paper |
| A simple constructive proof of Kronecker's density theorem | 2007-11-27 | Paper |
| Problems as Solutions | 2007-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310890 | 2007-10-15 | Paper |
| The shrinking principle and the axiom of choice | 2007-09-11 | Paper |
| Corrigendum to “Unique solutions” | 2007-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3433654 | 2007-04-30 | Paper |
| Spatiality for formal topologies | 2007-04-12 | Paper |
| Classifying Dini's theorem | 2007-02-15 | Paper |
| Ideals in constructive Banach algebra theory | 2007-02-08 | Paper |
| Unique solutions | 2007-02-02 | Paper |
| Binary refinement implies discrete exponentiation | 2007-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3414180 | 2007-01-08 | Paper |
| Quasi-apartness and neighbourhood spaces | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480940 | 2006-08-07 | Paper |
| The fan theorem and unique existence of maxima | 2006-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367516 | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718560 | 2006-01-16 | Paper |
| On constructing completions | 2006-01-16 | Paper |
| Formal Zariski topology: Positivity and points | 2005-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5710547 | 2005-12-02 | Paper |
| Strong continuity implies uniform sequential continuity | 2005-11-24 | Paper |
| A nilregular element property | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663839 | 2005-04-04 | Paper |
| Countable Choice as a Questionable Uniformity Principle | 2005-03-30 | Paper |
| Compactness under constructive scrutiny | 2005-02-16 | Paper |
| The polydisk nullstellensatz | 2004-03-29 | Paper |
| Unique existence, approximate solutions, and countable choice. | 2004-03-14 | Paper |
| Strong Versus Uniform Continuity: A Constructive Round | 2003-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411817 | 2003-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708168 | 2003-06-16 | Paper |
| A Constructive Uniform Continuity Theorem | 2003-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3150930 | 2002-10-21 | Paper |
| A very weak Nullstellensatz over Heyting fields | 2002-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529412 | 2002-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752158 | 2002-01-16 | Paper |
| Apartness, Topology, and Uniformity: a Constructive View | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4801671 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753696 | 2001-11-11 | Paper |
| Too simple solutions of hard problems | 2001-01-01 | Paper |
| A Constructive Look at Generalised Cauchy Reals | 2000-08-27 | Paper |
| A weak countable choice principle | 2000-07-10 | Paper |
| Linear independence without choice | 2000-07-05 | Paper |
| The moduli of substructures of a compact complex space | 1998-05-06 | Paper |
| Identifying variable points on a smooth curve | 1998-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4877248 | 1996-05-09 | Paper |
