Douglas S. Bridges

Affiliations:
  • University of Canterbury, Christchurch, New Zealand


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

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

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


  Loading...