| Publication | Date of Publication | Type |
|---|
Closing in on the kernel of an operator between Banach spaces
(available as arXiv preprint) | 2026-01-01 | Paper |
On Constructive Connectedness Properties
(available as arXiv preprint) | 2026-01-01 | Paper |
Monotone convergence theorems equivalent to Markov's principle
(available as arXiv preprint) | 2026-01-01 | Paper |
A Constructive Version of Ekeland's Variational Principle
(available as arXiv preprint) | 2026-01-01 | Paper |
Constructive Notes on Locally Convex Spaces
(available as arXiv preprint) | 2026-01-01 | Paper |
Axiomatic Justification in Constructive Morse Set Theory
(available as arXiv preprint) | 2026-01-01 | Paper |
Notes on q-normed Spaces in Constructive Analysis
(available as arXiv preprint) | 2026-01-01 | Paper |
Locatedness, Convexity, and Measurability in $\mathbb{R}^N$
(available as arXiv preprint) | 2026-01-01 | Paper |
Uniform Continuity of Boundary Crossing for Convex Sets
(available as arXiv preprint) | 2026-01-01 | Paper |
Constructive aspects of Riemann's permutation theorem for series
Logic Journal of the IGPL | 2025-03-25 | Paper |
Sufficient convexity and best approximation
Documenta Mathematica | 2025-01-24 | Paper |
On the Constructive Theory of Jordan Curves
(available as arXiv preprint) | 2025-01-01 | Paper |
Affine Hulls and Simplices: a Constructive Analysis
(available as arXiv preprint) | 2025-01-01 | Paper |
Metric Double Complements of Convex Sets
(available as arXiv preprint) | 2025-01-01 | Paper |
Improving Cauchy's Theorem in Constructive Analysis
(available as arXiv preprint) | 2024-01-01 | Paper |
Constructive Banach Algebra Theory
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Constructive Mathematical Economics
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Apartness on Lattices and Between Sets
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Reflections on 50 Years of Constructive Research
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
Morse set theory as a foundation for constructive mathematics
Theoretical Computer Science | 2022-10-07 | Paper |
| Constructive continuity of increasing functions | 2020-12-15 | Paper |
The Arrow-Hahn construction in a locally compact metric space
Mathematical Topics on Representations of Ordered Structures and Utility Theory | 2020-11-12 | Paper |
The Continuum Hypothesis Implies Excluded Middle
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
Intuitionistic sequential compactness?
Indagationes Mathematicae. New Series | 2018-10-08 | Paper |
Z-stability in constructive analysis
Logical Methods in Computer Science | 2017-04-11 | Paper |
A constructive examination of rectifiability
Journal of Logic and Analysis | 2017-04-10 | Paper |
Apartness spaces and uniform neighbourhood structures
Annals of Pure and Applied Logic | 2016-06-03 | Paper |
Tightly bordered convex and co-convex sets
Scientiae Mathematicae Japonicae | 2016-03-17 | Paper |
Two direct proofs that LLPO implies the detachable fan theorem
Logic Journal of the IGPL | 2015-02-27 | Paper |
| scientific article; zbMATH DE number 6386979 (Why is no real title available?) | 2015-01-15 | Paper |
| scientific article; zbMATH DE number 6307925 (Why is no real title available?) | 2014-06-24 | Paper |
Locating \(\mathfrak{A}x\), where \(\mathfrak{A}\) is a subspace of \(\mathcal B(H)\)
Logical Methods in Computer Science | 2014-06-23 | Paper |
Uniformly convex Banach spaces are reflexive -- constructively
Mathematical Logic Quarterly (MLQ) | 2013-10-30 | Paper |
A first constructive look at the comparison of projections
Logic Journal of the IGPL | 2013-06-11 | Paper |
Continuity Properties of Preference Relations
Electronic Notes in Theoretical Computer Science | 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)\)
Annals of Pure and Applied Logic | 2013-03-15 | Paper |
Solving the Dirichlet problem constructively
Journal of Logic and Analysis | 2013-02-25 | Paper |
Locating subsets of B(H) relative to seminorms inducing the strong-operator topology
Journal of Logic and Analysis | 2012-12-17 | Paper |
| A constructive study of Landau's summability theorem | 2012-09-28 | Paper |
Compactness notions for an apartness space
Archive for Mathematical Logic | 2012-09-18 | Paper |
How to construct a product of a-frames
Mathematical Logic Quarterly (MLQ) | 2012-09-12 | Paper |
Square Roots and Powers in Constructive Banach Algebra Theory
Lecture Notes in Computer Science | 2012-08-14 | Paper |
Double sequences, almost Cauchyness and BD-N
Logic Journal of the IGPL | 2012-08-01 | Paper |
Precompact apartness spaces
Logical Methods in Computer Science | 2012-07-03 | Paper |
Constructing the infimum of two projections
Computation, Physics and Beyond | 2012-06-15 | Paper |
Almost new pre-apartness from old
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
Reflections on function spaces
Annals of Pure and Applied Logic | 2011-12-12 | Paper |
Characterizing weak-operator continuous linear functionals on B(H) constructively
Documenta Mathematica | 2011-12-09 | Paper |
Apartness and uniformity. A constructive development.
Theory and Applications of Computability | 2011-09-20 | Paper |
Omniscience, sequential compactness, and the anti-Specker property
Logic Journal of the IGPL | 2011-03-07 | Paper |
The anti-Specker property, uniform sequential continuity, and a countable compactness property
Logic Journal of the IGPL | 2011-03-07 | Paper |
| A constructive study of Landau's summability theorem | 2011-02-10 | Paper |
Inheriting the anti-Specker property
Documenta Mathematica | 2011-02-02 | Paper |
Inheriting the anti-Specker property
Documenta Mathematica | 2011-02-02 | Paper |
Continuous isomorphisms from R onto a complete abelian group
Journal of Symbolic Logic | 2010-10-04 | Paper |
| Rearranging series constructively | 2010-09-22 | Paper |
The anti-Specker property, positivity, and total boundedness
Mathematical Logic Quarterly | 2010-08-18 | Paper |
Glueing continuous functions constructively
Archive for Mathematical Logic | 2010-07-06 | Paper |
Continuous homomorphisms of R onto a compact group
MLQ | 2010-04-15 | Paper |
| Powers of a Hermitian element in a Banach algebra | 2010-03-02 | Paper |
| scientific article; zbMATH DE number 5676623 (Why is no real title available?) | 2010-03-02 | Paper |
| scientific article; zbMATH DE number 5658692 (Why is no real title available?) | 2010-01-15 | Paper |
Uniform continuity properties of preference relations
Notre Dame Journal of Formal Logic | 2010-01-13 | Paper |
Continuity and Lipschitz constants for projections
The Journal of Logic and Algebraic Programming | 2009-12-18 | Paper |
| scientific article; zbMATH DE number 5604069 (Why is no real title available?) | 2009-09-15 | Paper |
| scientific article; zbMATH DE number 5598392 (Why is no real title available?) | 2009-08-26 | Paper |
Constructive notions of equicontinuity
Archive for Mathematical Logic | 2009-07-24 | Paper |
| scientific article; zbMATH DE number 5554672 (Why is no real title available?) | 2009-05-18 | Paper |
Almost locatedness in uniform spaces
Czechoslovak Mathematical Journal | 2009-03-31 | Paper |
Almost locatedness in uniform spaces
Czechoslovak Mathematical Journal | 2009-03-31 | Paper |
Journey into Apartness Space
Synthese Library | 2009-03-12 | Paper |
Apartness, compactness and nearness
Theoretical Computer Science | 2008-10-21 | Paper |
Continuity properties of preference relations
Mathematical Logic Quarterly | 2008-10-08 | Paper |
| scientific article; zbMATH DE number 5287420 (Why is no real title available?) | 2008-06-11 | Paper |
The anti-Specker property, a Heine-Borel property, and uniform continuity
Archive for Mathematical Logic | 2008-05-26 | Paper |
Product a‐frames and proximity
Mathematical Logic Quarterly | 2008-03-07 | Paper |
The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem
Journal of Symbolic Logic | 2008-02-25 | Paper |
A fan-theoretic equivalent of the antithesis of Specker's theorem
Indagationes Mathematicae. New Series | 2008-01-07 | Paper |
A simple constructive proof of Kronecker's density theorem
Elemente der Mathematik | 2007-11-27 | Paper |
Colocatedness and Lebesgue Integrability
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Constructing local optima on a compact interval
Archive for Mathematical Logic | 2007-03-06 | Paper |
A Bizarre Property Equivalent to the -Fan Theorem
Logic Journal of the IGPL | 2007-02-15 | Paper |
Ideals in constructive Banach algebra theory
Journal of Complexity | 2007-02-08 | Paper |
Pre-apartness structures on spaces of functions
Journal of Complexity | 2007-02-08 | Paper |
A constructive treatment of Urysohn's Lemma in an apartness space
MLQ | 2007-02-07 | Paper |
| Finitely generated Banach algebras and local Nullstellensätze | 2007-01-08 | Paper |
Techniques of constructive analysis
Universitext | 2006-11-08 | Paper |
| Church's thesis and Bishop's constructivism | 2006-10-16 | Paper |
| Cauchy nets in uniform apartness spaces | 2006-10-13 | Paper |
A new constructive version of Baire's theorem
Hokkaido Mathematical Journal | 2006-10-04 | Paper |
The fan theorem and unique existence of maxima
Journal of Symbolic Logic | 2006-08-03 | Paper |
| scientific article; zbMATH DE number 2247266 (Why is no real title available?) | 2006-01-16 | Paper |
| scientific article; zbMATH DE number 2247267 (Why is no real title available?) | 2006-01-16 | Paper |
| scientific article; zbMATH DE number 2235220 (Why is no real title available?) | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 2235220 (Why is no real title available?) | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 2233169 (Why is no real title available?) | 2005-11-28 | Paper |
Strong continuity implies uniform sequential continuity
Archive for Mathematical Logic | 2005-11-24 | Paper |
A Weak Constructive Sequential Compactness Property and the Fan Theorem
Logic Journal of the IGPL | 2005-09-28 | Paper |
First steps in constructive game theory
Mathematical Logic Quarterly | 2005-02-16 | Paper |
A proof–technique in uniform space theory
Journal of Symbolic Logic | 2005-02-09 | Paper |
Strong and Uniform Continuity – the Uniform Space Case
LMS Journal of Computation and Mathematics | 2004-11-18 | Paper |
| scientific article; zbMATH DE number 2113475 (Why is no real title available?) | 2004-11-01 | Paper |
