| Publication | Date of Publication | Type |
|---|
A first constructive look at the comparison of projections
Logic Journal of the IGPL | 2013-06-11 | Paper |
Constructing the infimum of two projections
Computation, Physics and Beyond | 2012-06-15 | Paper |
Apartness and uniformity. A constructive development.
Theory and Applications of Computability | 2011-09-20 | 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 |
| scientific article; zbMATH DE number 5287420 (Why is no real title available?) | 2008-06-11 | Paper |
Separation properties in neighbourhood and quasi‐apartness spaces
Mathematical Logic Quarterly | 2008-03-07 | Paper |
| A constructive Banach inverse mapping theorem in \(F\)-spaces | 2008-02-22 | Paper |
| scientific article; zbMATH DE number 5200732 (Why is no real title available?) | 2007-10-15 | Paper |
Pre-apartness structures on spaces of functions
Journal of Complexity | 2007-02-08 | Paper |
Techniques of constructive analysis
Universitext | 2006-11-08 | 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 |
Quasi-apartness and neighbourhood spaces
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Extending strongly continuous functions between apartness spaces
Archive for Mathematical Logic | 2006-03-22 | 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 |
Strong continuity implies uniform sequential continuity
Archive for Mathematical Logic | 2005-11-24 | 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 |
| scientific article; zbMATH DE number 2108356 (Why is no real title available?) | 2004-10-15 | Paper |
Computing infima on convex sets, with applications in Hilbert spaces
Proceedings of the American Mathematical Society | 2004-08-13 | Paper |
A constructive theory of point-set nearness.
Theoretical Computer Science | 2004-03-14 | Paper |
On proximal convergence in uniform spaces
Mathematical Logic Quarterly | 2004-02-12 | Paper |
Separatedness in constructive topology
Documenta Mathematica | 2004-01-19 | Paper |
Separatedness in constructive topology
Documenta Mathematica | 2004-01-19 | Paper |
Strong Versus Uniform Continuity: A Constructive Round
Quaestiones Mathematicae | 2003-10-29 | Paper |
Locating subsets of a normed space
Proceedings of the American Mathematical Society | 2003-07-28 | Paper |
Proximal and uniform convergence on apartness spaces
Mathematical Logic Quarterly | 2003-05-22 | Paper |
Apartness spaces as a framework for constructive topology
Annals of Pure and Applied Logic | 2003-03-09 | Paper |
| scientific article; zbMATH DE number 1824681 (Why is no real title available?) | 2002-11-26 | Paper |
Characterising near continuity constructively
Mathematical Logic Quarterly (MLQ) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1665455 (Why is no real title available?) | 2002-01-16 | Paper |
| Apartness, Topology, and Uniformity: a Constructive View | 2002-01-01 | Paper |
Constructing extensions of ultraweakly continuous linear functionals
Journal of Functional Analysis | 2001-11-30 | Paper |
The weak-operator sequential continuity of left multiplication
Indagationes Mathematicae. New Series | 2001-06-28 | Paper |
| scientific article; zbMATH DE number 1795215 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1390063 (Why is no real title available?) | 2000-04-26 | Paper |
Weak continuity properties in constructive analysis
Logic Journal of the IGPL | 1999-06-28 | Paper |
Weak‐operator Continuity and the Existence of Adjoints
Mathematical Logic Quarterly | 1999-05-24 | Paper |
| scientific article; zbMATH DE number 1091112 (Why is no real title available?) | 1999-03-02 | Paper |
