Douglas S. Bridges

According to our database1, Douglas S. Bridges authored at least 93 papers between 1978 and 2016.

Collaborative distances:



In proceedings 
PhD thesis 





Z-stability 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

Locating Ax, where A is a subspace of B(H).
Logical Methods in Computer Science, 2014

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 weak-operator continuous functionals on subspaces of B(H).
Ann. Pure Appl. Logic, 2013

How to construct a product of a-frames.
Math. Log. Q., 2012

Double sequences, almost Cauchyness and BD-N.
Logic Journal of the IGPL, 2012

Precompact Apartness Spaces
Logical Methods in Computer Science, 2012

Almost new pre-apartness 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

Locating subsets of B(H) relative to seminorms inducing the strong-operator topology.
J. Logic & Analysis, 2011

The anti-Specker property, uniform sequential continuity, and a countable compactness property.
Logic Journal of the IGPL, 2011

Omniscience, sequential compactness, and the anti-Specker property.
Logic Journal of the IGPL, 2011

Apartness and Uniformity - A Constructive Development.
Theory and Applications of Computability, Springer, ISBN: 978-3-642-22414-0, 2011

Continuous homomorphisms of R onto a compact group.
Math. Log. Q., 2010

The anti-Specker 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

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

Apartness, compactness and nearness.
Theor. Comput. Sci., 2008

Uniform Continuity Properties of Preference Relations.
Notre Dame Journal of Formal Logic, 2008

Product a-frames 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 anti-Specker property, a Heine-Borel property, and uniform continuity.
Arch. Math. Log., 2008

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

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. Complexity, 2006

A Bizarre Property Equivalent to the Pi10-Fan Theorem.
Logic Journal of the IGPL, 2006

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

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 constructive theory of point-set nearness.
Theor. Comput. Sci., 2003

A proof-technique in uniform space theory.
J. Symb. Log., 2003

Apartness spaces as a framework for constructive topology.
Ann. Pure Appl. Logic, 2003

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

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

Sequential Continuity of Functions in Constructive Analysis.
Math. Log. Q., 2000

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. 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

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

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

Constructive mathematics and unbounded operators - A reply to Hellman.
J. Philosophical Logic, 1995

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

Constructive Notions of Strict Convexity.
Math. Log. Q., 1993

Sequential, Pointwise, and Uniform Continuity: A Constructive Note.
Math. Log. Q., 1993

A Constructive Treatment of Open and Unopen Mapping Theorems.
Math. Log. Q., 1989

A General Constructive Intermediate Value Theorem.
Math. Log. Q., 1989

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

On Weak Operator Compactness of the Unit Ball of L(H).
Math. Log. Q., 1978

A Note on Morse's Lambda-Notation in Set Theory.
Math. Log. Q., 1978