Douglas S. Bridges

103 papers B 2C 8Journal 82Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Constructive aspects of Riemann's permutation theorem for series.
Log. J. IGPL
Josef Berger, Douglas S. Bridges, Hannes Diener, Helmut Schwichtenberg
2022 J jnl
Morse set theory as a foundation for constructive mathematics.
Theor. Comput. Sci.
Douglas S. Bridges
2016 J jnl
A constructive examination of rectifiability.
J. Log. Anal.
Douglas S. Bridges, Matthew Hendtlass, Erik Palmgren
2016 J jnl
Apartness spaces and uniform neighbourhood structures.
Ann. Pure Appl. Log.
Douglas S. Bridges
2016 J jnl
Z-stability in Constructive Analysis.
Log. Methods Comput. Sci.
Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens
2013 J jnl
A first constructive look at the comparison of projections.
Log. J. IGPL
Douglas S. Bridges, Luminita Simona Vîta
2013 J jnl
Characterising dominated weak-operator continuous functionals on subspaces of
Ann. Pure Appl. Log.
Douglas S. Bridges
2013 J jnl
Solving the Dirichlet problem constructively.
J. Log. Anal.
Douglas S. Bridges, Maarten McKubre-Jordens
2013 J jnl
Two direct proofs that LLPO implies the detachable fan theorem.
Log. J. IGPL
Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens
2013 J jnl
Uniformly convex Banach spaces are reflexive - constructively.
Math. Log. Q.
Douglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens
2012 J jnl
Almost new pre-apartness from old.
Ann. Pure Appl. Log.
Douglas S. Bridges
2012 J jnl
Compactness notions for an apartness space.
Arch. Math. Log.
Douglas S. Bridges
2012 — conf
Constructing the Infimum of Two Projections.
Computation, Physics and Beyond
Douglas S. Bridges, Luminita Vîta
2012 J jnl
Double sequences, almost Cauchyness and BD-N.
Log. J. IGPL
Josef Berger, Douglas S. Bridges, Erik Palmgren
2012 J jnl
How to construct a product of a-frames.
Math. Log. Q.
Douglas S. Bridges
2012 J jnl
Precompact Apartness Spaces
Log. Methods Comput. Sci.
Douglas S. Bridges
2012 J jnl
Reflections on function spaces.
Ann. Pure Appl. Log.
Douglas S. Bridges
2012 C conf
Square Roots and Powers in Constructive Banach Algebra Theory.
CiE
Douglas S. Bridges, Robin Havea
2011 — book
Apartness and Uniformity - A Constructive Development.
Douglas S. Bridges, Luminita Simona Vîta
2011 J jnl
Locating subsets of B(H) relative to seminorms inducing the strong-operator topology.
J. Log. Anal.
Douglas S. Bridges
2011 J jnl
Omniscience, sequential compactness, and the anti-Specker property.
Log. J. IGPL
Douglas S. Bridges
2011 J jnl
The anti-Specker property, uniform sequential continuity, and a countable compactness property.
Log. J. IGPL
Douglas S. Bridges
2010 J jnl
A Constructive Study of Landau's Summability Theorem.
J. Univers. Comput. Sci.
Josef Berger, Douglas S. Bridges
2010 J jnl
Continuity and Lipschitz constants for projections.
J. Log. Algebraic Methods Program.
Douglas S. Bridges
2010 J jnl
Continuous homomorphisms of R onto a compact group.
Math. Log. Q.
Douglas S. Bridges, Matthew Hendtlass
2010 J jnl
Continuous isomorphisms from R onto a complete abelian group.
J. Symb. Log.
Douglas S. Bridges, Matthew Hendtlass
2010 J jnl
Glueing continuous functions constructively.
Arch. Math. Log.
Douglas S. Bridges, Iris Loeb
2010 J jnl
The anti-Specker property, positivity, and total boundedness.
Math. Log. Q.
Douglas S. Bridges, Hannes Diener
2009 C conf
A Constructive Study of Landau's Summability Theorem.
CCA
Josef Berger, Douglas S. Bridges
2009 J jnl
Constructive notions of equicontinuity.
Arch. Math. Log.
Douglas S. Bridges
2009 J jnl
Rearranging Series Constructively.
J. Univers. Comput. Sci.
Josef Berger, Douglas S. Bridges
2008 J jnl
Apartness, compactness and nearness.
Theor. Comput. Sci.
Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta
2008 J jnl
Constructive Notions of Maximality for Ideals.
J. Univers. Comput. Sci.
Douglas S. Bridges, Robin Havea
2008 J jnl
Continuity properties of preference relations.
Math. Log. Q.
Marian Alexandru Baroni, Douglas S. Bridges
2008 J jnl
Product a-frames and proximity.
Math. Log. Q.
Douglas S. Bridges
2008 J jnl
Proximal Connectedness.
Fundam. Informaticae
Douglas S. Bridges, Luminita Vîta
2008 J jnl
The anti-Specker property, a Heine-Borel property, and uniform continuity.
Arch. Math. Log.
Josef Berger, Douglas S. Bridges
2008 J jnl
Uniform Continuity Properties of Preference Relations.
Notre Dame J. Formal Log.
Douglas S. Bridges
2007 C conf
Colocatedness and Lebesgue Integrability.
CiE
Douglas S. Bridges
2007 J jnl
Constructing local optima on a compact interval.
Arch. Math. Log.
Douglas S. Bridges
2007 C conf
Continuity Properties of Preference Relations.
CCA
Marian Alexandru Baroni, Douglas S. Bridges
2007 J jnl
The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem.
J. Symb. Log.
Douglas S. Bridges, Hannes Diener
2006 J jnl
A Bizarre Property Equivalent to the Pi
Log. J. IGPL
Josef Berger, Douglas S. Bridges
2006 J jnl
A constructive treatment of Urysohn's Lemma in an apartness space.
Math. Log. Q.
Douglas S. Bridges, Hannes Diener
2006 J jnl
Ideals in constructive Banach algebra theory.
J. Complex.
Douglas S. Bridges, Robin Havea, Peter Schuster
2006 J jnl
Pre-apartness structures on spaces of functions.
J. Complex.
Douglas S. Bridges, Luminita Simona Vîta
2006 J jnl
The fan theorem and unique existence of maxima.
J. Symb. Log.
Josef Berger, Douglas S. Bridges, Peter Schuster
2005 J jnl
A Weak Constructive Sequential Compactness Property and the Fan Theorem.
Log. J. IGPL
Douglas S. Bridges
2005 C conf
An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y).
CCA
Douglas S. Bridges, Luminita Vîta
2005 — ch.
Approximations to the numerical range of an element of a Banach algebra.
From sets and types to topology and analysis
Douglas S. Bridges, Robin Havea
2005 — conf
Compactness in apartness spaces?
Spatial Representation
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
2005 C conf
Ideals in Constructive Banach Algebra Theory.
CCA
Douglas S. Bridges, Robin Havea, Peter Schuster
2005 — ch.
Introduction.
From sets and types to topology and analysis
Errett Bishop, Douglas S. Bridges
2005 C conf
Proximal Connectedness.
CCA
Douglas S. Bridges, Luminita Vîta
2005 J jnl
Strong continuity implies uniform sequential continuity.
Arch. Math. Log.
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
2005 — ch.
The constructive uniqueness of the locally convex topology on rn.
From sets and types to topology and analysis
Douglas S. Bridges, Luminita Vîta
2004 C conf
A General Constructive Proof Technique.
CCA
Douglas S. Bridges, Luminita Vîta
2004 J jnl
Constructive complements of unions of two closed sets.
Math. Log. Q.
Douglas S. Bridges
2004 J jnl
Corrigendum to "A proof - technique in uniform space theory".
J. Symb. Log.
Douglas S. Bridges, Luminita Vîta
2004 J jnl
First steps in constructive game theory.
Math. Log. Q.
Douglas S. Bridges
2003 J jnl
A constructive theory of point-set nearness.
Theor. Comput. Sci.
Luminita Vîta, Douglas S. Bridges
2003 J jnl
A proof-technique in uniform space theory.
J. Symb. Log.
Douglas S. Bridges, Luminita Vîta
2003 J jnl
Apartness spaces as a framework for constructive topology.
Ann. Pure Appl. Log.
Douglas S. Bridges, Luminita Vîta
2003 J jnl
Strong and Uniform Continuity - the Uniform Space Case.
LMS J. Comput. Math.
Douglas S. Bridges, Luminita Vîta
2002 J jnl
Apartness, Topology, and Uniformity: a Constructive View.
Math. Log. Q.
Douglas S. Bridges, Peter Schuster, Luminita Vîta
2002 B conf
Compactness and Continuity, Constructively Revisited.
CSL
Douglas S. Bridges, Hajime Ishihara, Peter Schuster
2002 J jnl
Kernels of seminorms in constructive analysis.
Theor. Comput. Sci.
Douglas S. Bridges, Nicholas Dudley Ward
2002 J jnl
Reality and Virtual Reality in Mathematics.
Bull. EATCS
Douglas S. Bridges
2001 J jnl
A Constructive Version of the Spectral Mapping Theorem.
Math. Log. Q.
Douglas S. Bridges, Robin Havea
2001 — conf
Apartness as a Relation Between Subsets.
DMTCS
Peter Schuster, Luminita Vîta, Douglas S. Bridges
2001 J jnl
Bounded Variation Implies Regulated: A Constructive Proof.
J. Symb. Log.
Douglas S. Bridges, Ayan Mahalanobis
2001 J jnl
Characterising Near Continuity Constructively.
Math. Log. Q.
Douglas S. Bridges, Luminita Vîta
2001 — conf
Dini's Theorem: A Constructive Case Study.
DMTCS
Douglas S. Bridges
2001 J jnl
Increasing, Nondecreasing, and Virtually Continuous Functions.
J. Autom. Lang. Comb.
Douglas S. Bridges, Ayan Mahalanobis
2000 J jnl
A Constructive Analysis of a Proof that the Numerical Range is Convex.
LMS J. Comput. Math.
Douglas S. Bridges, Robin Havea
2000 J jnl
Sequential Continuity of Functions in Constructive Analysis.
Math. Log. Q.
Douglas S. Bridges, Ayan Mahalanobis
1999 J jnl
Can Constructive Mathematics be Applied in Physics?
J. Philos. Log.
Douglas S. Bridges
1999 J jnl
Constructive Mathematics: A Foundation for Computable Analysis.
Theor. Comput. Sci.
Douglas S. Bridges
1999 B conf
Constructive Notes on Uniform and Locally Convex Spaces.
FCT
Luminita Dediu, Douglas S. Bridges
1999 J jnl
Linear Independence without Choice.
Ann. Pure Appl. Log.
Douglas S. Bridges, Fred Richman, Peter Schuster
1999 J jnl
Weak Continuity Properties in Constructive Analysis.
Log. J. IGPL
Douglas S. Bridges, Luminita Dediu
1999 J jnl
Weak-operator Continuity and the Existence Of Adjoints.
Math. Log. Q.
Douglas S. Bridges, Luminita Dediu
1998 J jnl
A Definitive Constructive Open Mapping Theorem?
Math. Log. Q.
Douglas S. Bridges, Hajime Ishihara
1998 — book
Foundations of real and abstract analysis.
Douglas S. Bridges
1998 J jnl
Sequentially Continuous Linear Mappings in Constructive Analysis.
J. Symb. Log.
Douglas S. Bridges, Ray Mines
1997 J jnl
Constructive Aspects of the Dirichlet Problem.
J. Univers. Comput. Sci.
Douglas S. Bridges, Wang Yuchuan
1997 J jnl
Logic in Computer Science.
J. Univers. Comput. Sci.
Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov
1997 J jnl
Paradise lost, or paradise regained?.
Bull. EATCS
Douglas S. Bridges, Luminita Dediu
1996 — ed.
First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996
DMTCS
Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten
1995 J jnl
Constructive mathematics and unbounded operators - A reply to Hellman.
J. Philos. Log.
Douglas S. Bridges
1994 J jnl
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.
Math. Log. Q.
Douglas S. Bridges, Hajime Ishihara
1994 J jnl
Complements of Intersections in Constructive Mathematics.
Math. Log. Q.
Douglas S. Bridges, Hajime Ishihara
1994 — book
Computability: a mathematical sketchbook.
Douglas S. Bridges
1994 J jnl
On Recursive Bounds for the Exceptional Values in Speed-Up.
Theor. Comput. Sci.
Douglas S. Bridges, Cristian Calude
1993 J jnl
Constructive Notions of Strict Convexity.
Math. Log. Q.
Douglas S. Bridges
1993 J jnl
Sequential, Pointwise, and Uniform Continuity: A Constructive Note.
Math. Log. Q.
Douglas S. Bridges
1989 J jnl
A Constructive Treatment of Open and Unopen Mapping Theorems.
Math. Log. Q.
Douglas S. Bridges, William Julian, Ray Mines
1989 J jnl
A General Constructive Intermediate Value Theorem.
Math. Log. Q.
Douglas S. Bridges
1979 J jnl
A Criterion for Compactness in Metric Spaces?
Math. Log. Q.
Douglas S. Bridges
1979 J jnl
Geometric Intuition and Elementary Constructive Analysis.
Math. Log. Q.
Douglas S. Bridges
1979 J jnl
On the Constructive Convergence of Series of Independent Functions.
Math. Log. Q.
Douglas S. Bridges
1978 J jnl
A Note on Morse's Lambda-Notation in Set Theory.
Math. Log. Q.
Douglas S. Bridges
1978 J jnl
On Weak Operator Compactness of the Unit Ball of
Math. Log. Q.
Douglas S. Bridges