2022
Morse set theory as a foundation for constructive mathematics.
Theor. Comput. Sci., 2022
2016
Z-stability in Constructive Analysis.
Log. Methods Comput. Sci., 2016
A constructive examination of rectifiability.
J. Log. Anal., 2016
Apartness spaces and uniform neighbourhood structures.
Ann. Pure Appl. Log., 2016
2014
Locating Ax, where A is a subspace of B(H).
Log. Methods Comput. Sci., 2014
2013
Uniformly convex Banach spaces are reflexive - constructively.
Math. Log. Q., 2013
Solving the Dirichlet problem constructively.
J. Log. Anal., 2013
A first constructive look at the comparison of projections.
Log. J. IGPL, 2013
Two direct proofs that LLPO implies the detachable fan theorem.
Log. J. IGPL, 2013
Characterising dominated weak-operator continuous functionals on subspaces of <i>B</i>(<i>H</i>).
Ann. Pure Appl. Log., 2013
2012
How to construct a product of a-frames.
Math. Log. Q., 2012
Double sequences, almost Cauchyness and BD-N.
Log. J. IGPL, 2012
Precompact Apartness Spaces
Log. Methods Comput. Sci., 2012
Almost new pre-apartness from old.
Ann. Pure Appl. Log., 2012
Reflections on function spaces.
Ann. Pure Appl. Log., 2012
Compactness notions for an apartness space.
Arch. Math. Log., 2012
Square Roots and Powers in Constructive Banach Algebra Theory.
Proceedings of the How the World Computes, 2012
Constructing the Infimum of Two Projections.
Proceedings of the Computation, Physics and Beyond, 2012
2011
Locating subsets of B(H) relative to seminorms inducing the strong-operator topology.
J. Log. Anal., 2011
The anti-Specker property, uniform sequential continuity, and a countable compactness property.
Log. J. IGPL, 2011
Omniscience, sequential compactness, and the anti-Specker property.
Log. J. IGPL, 2011
Apartness and Uniformity - A Constructive Development.
Theory and Applications of Computability, Springer, ISBN: 978-3-642-22414-0, 2011
2010
Continuous homomorphisms of R onto a compact group.
Math. Log. Q., 2010
The anti-Specker property, positivity, and total boundedness.
Math. Log. Q., 2010
A Constructive Study of Landau's Summability Theorem.
J. Univers. Comput. Sci., 2010
Continuous isomorphisms from R onto a complete abelian group.
J. Symb. Log., 2010
Continuity and Lipschitz constants for projections.
J. Log. Algebraic Methods Program., 2010
Glueing continuous functions constructively.
Arch. Math. Log., 2010
2009
Rearranging Series Constructively.
J. Univers. Comput. Sci., 2009
Constructive notions of equicontinuity.
Arch. Math. Log., 2009
2008
Apartness, compactness and nearness.
Theor. Comput. Sci., 2008
Uniform Continuity Properties of Preference Relations.
Notre Dame J. Formal Log., 2008
Product a-frames and proximity.
Math. Log. Q., 2008
Constructive Notions of Maximality for Ideals.
J. Univers. Comput. Sci., 2008
Fundam. Informaticae, 2008
The anti-Specker property, a Heine-Borel property, and uniform continuity.
Arch. Math. Log., 2008
2007
The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem.
J. Symb. Log., 2007
Continuity Properties of Preference Relations.
Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, 2007
Constructing local optima on a compact interval.
Arch. Math. Log., 2007
Colocatedness and Lebesgue Integrability.
Proceedings of the Computation and Logic in the Real World, 2007
2006
A constructive treatment of Urysohn's Lemma in an apartness space.
Math. Log. Q., 2006
The fan theorem and unique existence of maxima.
J. Symb. Log., 2006
Pre-apartness structures on spaces of functions.
J. Complex., 2006
Ideals in constructive Banach algebra theory.
J. Complex., 2006
A Bizarre Property Equivalent to the Pi<sub>1</sub><sup>0</sup>-Fan Theorem.
Log. J. IGPL, 2006
2005
A Weak Constructive Sequential Compactness Property and the Fan Theorem.
Log. J. IGPL, 2005
Strong continuity implies uniform sequential continuity.
Arch. Math. Log., 2005
Compactness in apartness spaces?
Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005
An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y).
Proceedings of the CCA 2005, 2005
The constructive uniqueness of the locally convex topology on rn.
Proceedings of the From sets and types to topology and analysis, 2005
Approximations to the numerical range of an element of a Banach algebra.
Proceedings of the From sets and types to topology and analysis, 2005
Proceedings of the From sets and types to topology and analysis, 2005
2004
First steps in constructive game theory.
Math. Log. Q., 2004
Constructive complements of unions of two closed sets.
Math. Log. Q., 2004
Corrigendum to "A proof - technique in uniform space theory".
J. Symb. Log., 2004
A General Constructive Proof Technique.
Proceedings of the 6th Workshop on Computability and Complexity in Analysis, 2004
2003
A constructive theory of point-set nearness.
Theor. Comput. Sci., 2003
Strong and Uniform Continuity - the Uniform Space Case.
LMS J. Comput. Math., 2003
A proof-technique in uniform space theory.
J. Symb. Log., 2003
Apartness spaces as a framework for constructive topology.
Ann. Pure Appl. Log., 2003
2002
Kernels of seminorms in constructive analysis.
Theor. Comput. Sci., 2002
Apartness, Topology, and Uniformity: a Constructive View.
Math. Log. Q., 2002
Reality and Virtual Reality in Mathematics.
Bull. EATCS, 2002
Compactness and Continuity, Constructively Revisited.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002
2001
Characterising Near Continuity Constructively.
Math. Log. Q., 2001
A Constructive Version of the Spectral Mapping Theorem.
Math. Log. Q., 2001
Bounded Variation Implies Regulated: A Constructive Proof.
J. Symb. Log., 2001
Increasing, Nondecreasing, and Virtually Continuous Functions.
J. Autom. Lang. Comb., 2001
Dini's Theorem: A Constructive Case Study.
Proceedings of the Combinatorics, 2001
Apartness as a Relation Between Subsets.
Proceedings of the Combinatorics, 2001
2000
Sequential Continuity of Functions in Constructive Analysis.
Math. Log. Q., 2000
A Constructive Analysis of a Proof that the Numerical Range is Convex.
LMS J. Comput. Math., 2000
1999
Constructive Mathematics: A Foundation for Computable Analysis.
Theor. Comput. Sci., 1999
Weak-operator Continuity and the Existence Of Adjoints.
Math. Log. Q., 1999
Can Constructive Mathematics be Applied in Physics?
J. Philos. Log., 1999
Weak Continuity Properties in Constructive Analysis.
Log. J. IGPL, 1999
Linear Independence without Choice.
Ann. Pure Appl. Log., 1999
Constructive Notes on Uniform and Locally Convex Spaces.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999
1998
A Definitive Constructive Open Mapping Theorem?
Math. Log. Q., 1998
Sequentially Continuous Linear Mappings in Constructive Analysis.
J. Symb. Log., 1998
Foundations of real and abstract analysis.
Graduate texts in mathematics 174, Springer, ISBN: 978-0-387-98239-7, 1998
1997
Constructive Aspects of the Dirichlet Problem.
J. Univers. Comput. Sci., 1997
Logic in Computer Science.
J. Univers. Comput. Sci., 1997
Paradise lost, or paradise regained?.
Bull. EATCS, 1997
1995
Constructive mathematics and unbounded operators - A reply to Hellman.
J. Philos. Log., 1995
1994
On Recursive Bounds for the Exceptional Values in Speed-Up.
Theor. Comput. Sci., 1994
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.
Math. Log. Q., 1994
Complements of Intersections in Constructive Mathematics.
Math. Log. Q., 1994
Computability: a mathematical sketchbook.
Graduate texts in mathematics 146, Springer, ISBN: 3540941746, 1994
1993
Constructive Notions of Strict Convexity.
Math. Log. Q., 1993
Sequential, Pointwise, and Uniform Continuity: A Constructive Note.
Math. Log. Q., 1993
1989
A Constructive Treatment of Open and Unopen Mapping Theorems.
Math. Log. Q., 1989
A General Constructive Intermediate Value Theorem.
Math. Log. Q., 1989
1979
Geometric Intuition and Elementary Constructive Analysis.
Math. Log. Q., 1979
A Criterion for Compactness in Metric Spaces?
Math. Log. Q., 1979
On the Constructive Convergence of Series of Independent Functions.
Math. Log. Q., 1979
1978
On Weak Operator Compactness of the Unit Ball of <i>L</i>(<i>H</i>).
Math. Log. Q., 1978
A Note on Morse's Lambda-Notation in Set Theory.
Math. Log. Q., 1978