Douglas S. Bridges
According to our database^{1},
Douglas S. Bridges
authored at least 93 papers
between 1978 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at andrej.com
On csauthors.net:
Bibliography
2016
Zstability in Constructive Analysis.
Logical Methods in Computer Science, 2016
A constructive examination of rectifiability.
J. Logic & Analysis, 2016
Apartness spaces and uniform neighbourhood structures.
Ann. Pure Appl. Logic, 2016
2014
Locating Ax, where A is a subspace of B(H).
Logical Methods in Computer Science, 2014
2013
Uniformly convex Banach spaces are reflexive  constructively.
Math. Log. Q., 2013
Solving the Dirichlet problem constructively.
J. Logic & Analysis, 2013
A first constructive look at the comparison of projections.
Logic Journal of the IGPL, 2013
Two direct proofs that LLPO implies the detachable fan theorem.
Logic Journal of the IGPL, 2013
Characterising dominated weakoperator continuous functionals on subspaces of B(H).
Ann. Pure Appl. Logic, 2013
2012
How to construct a product of aframes.
Math. Log. Q., 2012
Double sequences, almost Cauchyness and BDN.
Logic Journal of the IGPL, 2012
Precompact Apartness Spaces
Logical Methods in Computer Science, 2012
Almost new preapartness from old.
Ann. Pure Appl. Logic, 2012
Reflections on function spaces.
Ann. Pure Appl. Logic, 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 strongoperator topology.
J. Logic & Analysis, 2011
The antiSpecker property, uniform sequential continuity, and a countable compactness property.
Logic Journal of the IGPL, 2011
Omniscience, sequential compactness, and the antiSpecker property.
Logic Journal of the IGPL, 2011
Apartness and Uniformity  A Constructive Development.
Theory and Applications of Computability, Springer, ISBN: 9783642224140, 2011
2010
Continuous homomorphisms of R onto a compact group.
Math. Log. Q., 2010
The antiSpecker property, positivity, and total boundedness.
Math. Log. Q., 2010
Continuous isomorphisms from R onto a complete abelian group.
J. Symb. Log., 2010
Continuity and Lipschitz constants for projections.
J. Log. Algebr. Program., 2010
Glueing continuous functions constructively.
Arch. Math. Log., 2010
2009
Rearranging Series Constructively.
J. UCS, 2009
Constructive notions of equicontinuity.
Arch. Math. Log., 2009
A Constructive Study of Landau's Summability Theorem.
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009
2008
Apartness, compactness and nearness.
Theor. Comput. Sci., 2008
Uniform Continuity Properties of Preference Relations.
Notre Dame Journal of Formal Logic, 2008
Product aframes and proximity.
Math. Log. Q., 2008
Continuity properties of preference relations.
Math. Log. Q., 2008
Constructive Notions of Maximality for Ideals.
J. UCS, 2008
Continuity Properties of Preference Relations.
Electr. Notes Theor. Comput. Sci., 2008
The antiSpecker property, a HeineBorel 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
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
Preapartness structures on spaces of functions.
J. Complexity, 2006
A Bizarre Property Equivalent to the Pi_{1}^{0}Fan Theorem.
Logic Journal of the IGPL, 2006
2005
A Weak Constructive Sequential Compactness Property and the Fan Theorem.
Logic Journal of the IGPL, 2005
A General Constructive Proof Technique.
Electr. Notes Theor. Comput. Sci., 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
Proximal Connectedness.
Proceedings of the CCA 2005, 2005
An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y).
Proceedings of the CCA 2005, 2005
Ideals in Constructive Banach Algebra Theory.
Proceedings of the CCA 2005, 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
2003
A constructive theory of pointset nearness.
Theor. Comput. Sci., 2003
A prooftechnique in uniform space theory.
J. Symb. Log., 2003
Apartness spaces as a framework for constructive topology.
Ann. Pure Appl. Logic, 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.
Bulletin of the 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.
Journal of Automata, Languages and Combinatorics, 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
1999
Constructive Mathematics: A Foundation for Computable Analysis.
Theor. Comput. Sci., 1999
Weakoperator Continuity and the Existence Of Adjoints.
Math. Log. Q., 1999
Can Constructive Mathematics be Applied in Physics?
J. Philosophical Logic, 1999
Weak Continuity Properties in Constructive Analysis.
Logic Journal of the IGPL, 1999
Linear Independence without Choice.
Ann. Pure Appl. Logic, 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: 9780387982397, 1998
1997
Constructive Aspects of the Dirichlet Problem.
J. UCS, 1997
Logic in Computer Science.
J. UCS, 1997
Paradise lost, or paradise regained?.
Bulletin of the EATCS, 1997
1995
Constructive mathematics and unbounded operators  A reply to Hellman.
J. Philosophical Logic, 1995
1994
On Recursive Bounds for the Exceptional Values in SpeedUp.
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 L(H).
Math. Log. Q., 1978
A Note on Morse's LambdaNotation in Set Theory.
Math. Log. Q., 1978