| Publication | Date of Publication | Type |
|---|
| Constructive Banach Algebra Theory | 2023-08-11 | Paper |
| Constructive Mathematical Economics | 2023-08-11 | Paper |
| Apartness on Lattices and Between Sets | 2023-08-11 | Paper |
| Reflections on 50 Years of Constructive Research | 2023-08-04 | Paper |
| Morse set theory as a foundation for constructive mathematics | 2022-10-07 | Paper |
| Constructive continuity of increasing functions | 2020-12-15 | Paper |
| The Arrow-Hahn Construction in a Locally Compact Metric Space | 2020-11-12 | Paper |
| The Continuum Hypothesis Implies Excluded Middle | 2020-04-03 | Paper |
| Intuitionistic sequential compactness? | 2018-10-08 | Paper |
| Z-stability in Constructive Analysis | 2017-04-11 | Paper |
| A constructive examination of rectifiability | 2017-04-10 | Paper |
| Apartness spaces and uniform neighbourhood structures | 2016-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2794962 | 2016-03-17 | Paper |
| Two direct proofs that LLPO implies the detachable fan theorem | 2015-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2938777 | 2015-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4981440 | 2014-06-24 | Paper |
| Locating Ax, where A is a subspace of B(H) | 2014-06-23 | Paper |
| Uniformly convex Banach spaces are reflexive-constructively | 2013-10-30 | Paper |
| A first constructive look at the comparison of projections | 2013-06-11 | Paper |
| Continuity Properties of Preference Relations | 2013-05-03 | Paper |
| Constructive aspects of Riemann's permutation theorem for series | 2013-03-28 | Paper |
| Characterising dominated weak-operator continuous functionals on subspaces of \(\mathcal B(H)\) | 2013-03-15 | Paper |
| Solving the Dirichlet problem constructively | 2013-02-25 | Paper |
| Locating subsets of B(H) relative to seminorms inducing the strong-operator topology | 2012-12-17 | Paper |
| A Constructive Study of Landau's Summability Theorem | 2012-09-28 | Paper |
| Compactness notions for an apartness space | 2012-09-18 | Paper |
| How to construct a product of a-frames | 2012-09-12 | Paper |
| Square Roots and Powers in Constructive Banach Algebra Theory | 2012-08-14 | Paper |
| Double sequences, almost Cauchyness and BD-N | 2012-08-01 | Paper |
| Precompact Apartness Spaces | 2012-07-03 | Paper |
| Constructing the Infimum of Two Projections | 2012-06-15 | Paper |
| Almost new pre-apartness from old | 2012-06-01 | Paper |
| Reflections on function spaces | 2011-12-12 | Paper |
| Characterizing weak-operator continuous linear functionals on \(B(H)\) constructively | 2011-12-09 | Paper |
| Apartness and Uniformity | 2011-09-20 | Paper |
| Omniscience, sequential compactness, and the anti-Specker property | 2011-03-07 | Paper |
| The anti-Specker property, uniform sequential continuity, and a countable compactness property | 2011-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075212 | 2011-02-10 | Paper |
| Inheriting the anti-Specker property | 2011-02-02 | Paper |
| Continuous isomorphisms from R onto a complete abelian group | 2010-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4929338 | 2010-09-22 | Paper |
| The anti-Specker property, positivity, and total boundedness | 2010-08-18 | Paper |
| Glueing continuous functions constructively | 2010-07-06 | Paper |
| Continuous homomorphisms of R onto a compact group | 2010-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3407094 | 2010-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3407137 | 2010-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5850745 | 2010-01-15 | Paper |
| Uniform continuity properties of preference relations | 2010-01-13 | Paper |
| Continuity and Lipschitz constants for projections | 2009-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395951 | 2009-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395338 | 2009-08-26 | Paper |
| Constructive notions of equicontinuity | 2009-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3627310 | 2009-05-18 | Paper |
| Almost locatedness in uniform spaces | 2009-03-31 | Paper |
| Journey into Apartness Space | 2009-03-12 | Paper |
| Apartness, compactness and nearness | 2008-10-21 | Paper |
| Continuity properties of preference relations | 2008-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505882 | 2008-06-11 | Paper |
| The anti-Specker property, a Heine-Borel property, and uniform continuity | 2008-05-26 | Paper |
| Product a‐frames and proximity | 2008-03-07 | Paper |
| The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem] | 2008-02-25 | Paper |
| A fan-theoretic equivalent of the antithesis of Specker's theorem | 2008-01-07 | Paper |
| A simple constructive proof of Kronecker's density theorem | 2007-11-27 | Paper |
| Colocatedness and Lebesgue Integrability | 2007-11-13 | Paper |
| Constructing local optima on a compact interval | 2007-03-06 | Paper |
| A Bizarre Property Equivalent to the -Fan Theorem | 2007-02-15 | Paper |
| Ideals in constructive Banach algebra theory | 2007-02-08 | Paper |
| Pre-apartness structures on spaces of functions | 2007-02-08 | Paper |
| A constructive treatment of Urysohn's Lemma in an apartness space | 2007-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3414180 | 2007-01-08 | Paper |
| Techniques of constructive analysis | 2006-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5493741 | 2006-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5492356 | 2006-10-13 | Paper |
| A new constructive version of Baire's theorem | 2006-10-04 | Paper |
| The fan theorem and unique existence of maxima | 2006-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718578 | 2006-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718579 | 2006-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5710547 | 2005-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5708274 | 2005-11-28 | Paper |
| Strong continuity implies uniform sequential continuity | 2005-11-24 | Paper |
| A Weak Constructive Sequential Compactness Property and the Fan Theorem | 2005-09-28 | Paper |
| First steps in constructive game theory | 2005-02-16 | Paper |
| A proof–technique in uniform space theory | 2005-02-09 | Paper |
| Strong and Uniform Continuity – the Uniform Space Case | 2004-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4824907 | 2004-11-01 | Paper |
| Exact, Continuous Boundary Crossings Out of Convex Sets in RN | 2004-10-25 | Paper |
| Computing infima on convex sets, with applications in Hilbert spaces | 2004-08-13 | Paper |
| Constructive complements of unions of two closed sets | 2004-08-06 | Paper |
| Ishihara's proof technique in constructive analysis | 2004-06-15 | Paper |
| The polydisk nullstellensatz | 2004-03-29 | Paper |
| A constructive theory of point-set nearness. | 2004-03-14 | Paper |
| Separatedness in constructive topology | 2004-01-19 | Paper |
| Strong Versus Uniform Continuity: A Constructive Round | 2003-10-29 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4411817 | 2003-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708168 | 2003-06-16 | Paper |
| Apartness spaces as a framework for constructive topology | 2003-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752144 | 2003-02-09 | Paper |
| Bounded variation implies regulated: a constructive proof | 2003-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3153704 | 2002-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3150930 | 2002-10-21 | Paper |
| A Constructive Version of the Spectral Mapping Theorem | 2002-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2731275 | 2002-09-05 | Paper |
| Characterising Near Continuity Constructively | 2002-09-04 | Paper |
| Kernels of seminorms in constructive analysis. | 2002-07-31 | 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 |
| Constructing extensions of ultraweakly continuous linear functionals | 2001-11-30 | Paper |
| Constructive Mathematics in Theory and Programming Practice | 2001-10-30 | Paper |
| PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY | 2001-10-14 | Paper |
| Converses of Bishop's lemma on located sets | 2001-06-28 | Paper |
| The weak-operator sequential continuity of left multiplication | 2001-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2715604 | 2001-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520521 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495393 | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552733 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4521915 | 2000-12-21 | Paper |
| Constructive mathematics and quantum physics | 2000-11-14 | Paper |
| Can constructive mathematics be applied in physics? | 2000-10-22 | Paper |
| A Constructive Analysis of a Proof that the Numerical Range is Convex | 2000-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247023 | 2000-07-24 | Paper |
| A weak countable choice principle | 2000-07-10 | Paper |
| Linear independence without choice | 2000-07-05 | Paper |
| A Constructive Look at Functions of Bounded Variation | 2000-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934328 | 2000-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938537 | 2000-02-23 | Paper |
| Sequential Continuity of Functions in Constructive Analysis | 2000-02-23 | Paper |
| Constructive Weak Solutions of the Dirichlet Problem | 2000-01-27 | Paper |
| A constructive proof of Gleason's theorem | 2000-01-09 | Paper |
| The constructive implicit function theorem and applications in mechanics | 1999-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234508 | 1999-11-08 | Paper |
| A Definitive Constructive Open Mapping Theorem? | 1999-08-02 | Paper |
| Weak continuity properties in constructive analysis | 1999-06-28 | Paper |
| Constructive mathematics: a foundation for computable analysis | 1999-06-21 | Paper |
| Weak‐operator Continuity and the Existence of Adjoints | 1999-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4366888 | 1999-03-02 | Paper |
| Constructing best approximations on a Jordan curve | 1998-10-21 | Paper |
| Sequentially continuous linear mappings in constructive analysis | 1998-10-07 | Paper |
| Constructing ultraweakly continuous functionals on ℬ(ℋ) | 1998-09-22 | Paper |
| Foundations of Real and Abstract Analysis | 1997-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4346039 | 1997-10-30 | Paper |
| The constructive theory of preference relations on a locally compact space. II | 1997-09-04 | Paper |
| Sets, complements and boundaries | 1997-03-11 | Paper |
| Constructive mathematics and unbounded operators -- a reply to Hellman | 1997-01-13 | Paper |
| Spectra of selfadjoint operators in constructive analysis | 1996-12-09 | Paper |
| Representations of preference orderings | 1995-05-02 | Paper |
| Absolute Continuity and the Uniqueness of the Constructive Functional Calculus | 1994-12-08 | Paper |
| On recursive bounds for the exceptional values in speed-up | 1994-09-25 | Paper |
| Constructive notions of strict convexity | 1994-09-08 | Paper |
| Complements of Intersections in Constructive Mathematics | 1994-09-08 | Paper |
| Sequential, pointwise, and uniform continuity: A constructive note | 1994-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4285775 | 1994-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694239 | 1993-06-29 | Paper |
| Locating the Range of an Operator on a Hilbert Space | 1993-02-18 | Paper |
| The construction of a continuous demand function for uniformly rotund preferences | 1993-01-16 | Paper |
| Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\) | 1992-09-27 | Paper |
| The constructive inequivalence of various notions of preference ordering | 1992-06-26 | Paper |
| On the Lebesgue measurability of continuous functions in constructive analysis | 1992-06-25 | Paper |
| A recursive counterexample to Debreu's theorem on the existence of a utility function | 1991-01-01 | Paper |
| Preference, indifference, and Markov's principle | 1990-01-01 | Paper |
| Linear mappings are fairly well-behaved | 1990-01-01 | Paper |
| Approximate interpolation by functions in a Haar space | 1989-01-01 | Paper |
| A General Constructive Intermediate Value Theorem | 1989-01-01 | Paper |
| A Constructive Treatment of Open and Unopen Mapping Theorems | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835453 | 1989-01-01 | Paper |
| The Euclidean distance construction of order homomorphisms | 1988-01-01 | Paper |
| LOCATEDNESS, CONVEXITY, AND LEBESGUE MEASURABILITY | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3201046 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3754620 | 1987-01-01 | Paper |
| Numerical representation of interval orders on a topological space | 1986-01-01 | Paper |
| Representing interval orders by a single real-valued function | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3678225 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3803111 | 1985-01-01 | Paper |
| What is constructive mathematics? | 1984-01-01 | Paper |
| On the Derivation of x n in a Ring | 1984-01-01 | Paper |
| Numerical representation of intransitive preferences on a countable set | 1983-01-01 | Paper |
| A numerical representation of preferences with intransitive indifference | 1983-01-01 | Paper |
| Preference and utility. A constructive development | 1982-01-01 | Paper |
| Lipschitz Constants and Moduli of Continuity for the Chebyshev Projection | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671621 | 1982-01-01 | Paper |
| Picard's Theorem | 1982-01-01 | Paper |
| Compactly generated Banach spaces | 1981-01-01 | Paper |
| On the isolation of zeroes of an analytic function | 1981-01-01 | Paper |
| Bounded linear mappings of finite rank | 1981-01-01 | Paper |
| A constructive analysis of the Remes algorithm | 1981-01-01 | Paper |
| A constructive look at positive linear functionals on L(H) | 1981-01-01 | Paper |
| A constructive proximinality property of finite-dimensional linear subspaces | 1981-01-01 | Paper |
| Correction to: On the isolation of zeros of an analytic function | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912578 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912579 | 1981-01-01 | Paper |
| On Montel's Proof of the Great Picard Theorem | 1981-01-01 | Paper |
| On the foundations of best approximation theory | 1980-01-01 | Paper |
| A constructive development of Chebyshev approximation theory | 1980-01-01 | Paper |
| Connectivity properties of metric spaces | 1979-01-01 | Paper |
| Geometric Intuition and Elementary Constructive Analysis | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4184832 | 1979-01-01 | Paper |
| On the Constructive Convergence of Series of Independent Functions | 1979-01-01 | Paper |
| A Criterion for Compactness in Metric Spaces? | 1979-01-01 | Paper |
| On Weak Operator Compactness of the Unit Ball of L(H) | 1978-01-01 | Paper |
| On the Connectivity of Convex Sets | 1978-01-01 | Paper |
| A Note on Morse's Lambda‐Notation in Set Theory | 1978-01-01 | Paper |
| On continuous Mappings between Locally Compact Metric Spaces | 1978-01-01 | Paper |
| More on the Connectivity of Convex Sets | 1978-01-01 | Paper |
| The constructive Radon-Nikodym theorem | 1977-01-01 | Paper |
| A Constructive Look at Orthonormal Bases in Hilbert Space | 1977-01-01 | Paper |
| Some Notes on Continuity in Constructive Analysis | 1976-01-01 | Paper |
