| Publication | Date of Publication | Type |
|---|
| Transient Dynamics of Super Bloch Oscillations of a 1D Holstein Polaron under the Influence of an External AC Electric Field | 2023-11-01 | Paper |
| EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES | 2023-10-13 | Paper |
| Elements of Constructive Analysis | 2023-08-11 | Paper |
| Constructive Functional Analysis | 2023-08-11 | Paper |
| An Introduction to Constructive Reverse Mathematics | 2023-08-11 | Paper |
| Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice | 2023-08-04 | Paper |
| Reflexive combinatory algebras | 2023-08-03 | Paper |
| Bishop-Style Constructive Reverse Mathematics | 2022-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5004972 | 2021-08-03 | Paper |
| On the independence of premiss axiom and rule | 2020-10-15 | Paper |
| The Monotone Completeness Theorem in Constructive Reverse Mathematics | 2020-08-10 | Paper |
| Non-Deterministic Inductive Definitions and Fullness | 2020-04-03 | Paper |
| Equivalents of the finitary non-deterministic inductive definitions | 2019-07-10 | Paper |
| Equivalents of the finitary non-deterministic inductive definitions | 2019-03-14 | Paper |
| The binary expansion and the intermediate value theorem in constructive reverse mathematics | 2019-01-24 | Paper |
| Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice | 2019-01-14 | Paper |
| On Brouwer's continuity principle | 2018-10-08 | Paper |
| Generalized geometric theories and set-generated classes | 2016-07-27 | Paper |
| Completeness and cocompleteness of the categories of basic pairs and concrete spaces | 2016-07-27 | Paper |
| A note on the independence of premiss rule | 2016-03-17 | Paper |
| Embedding classical in minimal implicational logic | 2016-03-17 | Paper |
| Some principles weaker than Markov's principle | 2015-11-18 | Paper |
| CODING WITH MINIMAL PROGRAMS | 2015-04-30 | Paper |
| Classical propositional logic and decidability of variables in intuitionistic propositional logic | 2014-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4981450 | 2014-06-24 | Paper |
| The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice | 2014-04-25 | Paper |
| Uniformly convex Banach spaces are reflexive-constructively | 2013-10-30 | Paper |
| Relating Bishop's function spaces to neighbourhood spaces | 2013-03-15 | Paper |
| A predicative completion of a uniform space | 2012-06-01 | Paper |
| The uniform boundedness theorem and a boundedness principle | 2012-06-01 | Paper |
| Two subcategories of apartness spaces | 2011-12-12 | Paper |
| On the contrapositive of countable choice | 2011-03-02 | Paper |
| Kronecker's density theorem and irrational numbers in constructive reverse mathematics | 2010-05-07 | Paper |
| Almost locatedness in uniform spaces | 2009-03-31 | Paper |
| Relativization of Real Numbers to a Universe | 2009-03-12 | 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 |
| Separation properties in neighbourhood and quasi‐apartness spaces | 2008-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5444092 | 2008-02-22 | Paper |
| Unique Existence and Computability in Constructive Reverse Mathematics | 2007-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310873 | 2007-10-15 | Paper |
| Weak König's lemma implies Brouwer's fan theorem: a direct proof | 2007-02-15 | Paper |
| Binary refinement implies discrete exponentiation | 2007-01-29 | Paper |
| A new constructive version of Baire's theorem | 2006-10-04 | Paper |
| TWO-PHOTON NONLINEAR INTERACTION MEDIATED BY CAVITY QUANTUM ELECTRODYNAMICS SYSTEMS | 2006-08-24 | Paper |
| Quotient topologies in constructive set theory and type theory | 2006-08-16 | Paper |
| Quasi-apartness and neighbourhood spaces | 2006-08-16 | Paper |
| Drastic Effects of Damping Mechanisms on Third-Order Optical Nonlinearity | 2006-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718575 | 2006-01-16 | Paper |
| On constructing completions | 2006-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5710547 | 2005-12-02 | Paper |
| Strong continuity implies uniform sequential continuity | 2005-11-24 | Paper |
| Brouwer's fan theorem and unique existence in constructive analysis | 2005-08-01 | Paper |
| Compactness under constructive scrutiny | 2005-02-16 | Paper |
| Computing infima on convex sets, with applications in Hilbert spaces | 2004-08-13 | Paper |
| Ishihara's proof technique in constructive analysis | 2004-06-15 | Paper |
| A constructive look at the completeness of the space (ℝ) | 2004-03-01 | Paper |
| Constructive closed range and open mapping theorems | 2003-09-16 | Paper |
| Locating the range of an operator with an adjoint | 2003-08-07 | Paper |
| Locating subsets of a normed space | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414504 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411817 | 2003-07-10 | Paper |
| A Constructive Uniform Continuity Theorem | 2003-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3150930 | 2002-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752138 | 2002-06-23 | Paper |
| Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2742631 | 2001-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520811 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520522 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520530 | 2001-02-26 | Paper |
| Locating subsets of a Hilbert space | 2001-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552733 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552740 | 2001-01-01 | Paper |
| Function algebraic characterizations of the polytime functions | 2000-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939409 | 2000-07-05 | Paper |
| Decidable Kripke models of intuitionistic theories | 1999-11-16 | Paper |
| A Definitive Constructive Open Mapping Theorem? | 1999-08-02 | Paper |
| Computable Kripke models and intermediate logics | 1999-01-18 | Paper |
| Spectra of selfadjoint operators in constructive analysis | 1996-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4838046 | 1995-07-04 | Paper |
| Absolute Continuity and the Uniqueness of the Constructive Functional Calculus | 1994-12-08 | Paper |
| Complements of Intersections in Constructive Mathematics | 1994-09-08 | Paper |
| Markov's principle, Church's thesis and Lindelöf's theorem | 1994-09-01 | Paper |
| Continuity properties in constructive mathematics | 1993-04-01 | Paper |
| Locating the Range of an Operator on a Hilbert Space | 1993-02-18 | Paper |
| Constructive Existence of Minkowski Functionals | 1993-01-17 | Paper |
| Continuity and nondiscontinuity in constructive mathematics | 1992-06-27 | Paper |
| Constructive compact operators on a Hilbert space | 1992-06-25 | Paper |
| Linear mappings are fairly well-behaved | 1990-01-01 | Paper |
| An omniscience principle, the König Lemma and the Hahn‐Banach theorem | 1990-01-01 | Paper |
| On the Constructive Hahn-Banach Theorem | 1989-01-01 | Paper |
| Fixed Point Theorems for Lipspchitzian Semigroups | 1989-01-01 | Paper |
| Constructive Compact Linear Mappings | 1989-01-01 | Paper |
| A Nonlinear Ergodic Theorem for a Reversible Semigroup of Lipschitzian Mappings in a Hilbert Space | 1988-01-01 | Paper |
| Constructive Reflexivity of a Uniformly Convex Banach Space | 1988-01-01 | Paper |
| Fixed point theorems for uniformly Lipschitzian semigroups in Hilbert spaces | 1987-01-01 | Paper |
| Modules of convexity, characteristic of convexity and fixed point theorems | 1987-01-01 | Paper |
