A Note on Morse's Lambda-Notation in Set Theory. - Douglas S. Bridges (Math. Log. Q., 1978)

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

On the Constructive Convergence of Series of Independent Functions. - Douglas S. Bridges (Math. Log. Q., 1979)

A Criterion for Compactness in Metric Spaces? - Douglas S. Bridges (Math. Log. Q., 1979)

Geometric Intuition and Elementary Constructive Analysis. - Douglas S. Bridges (Math. Log. Q., 1979)

A General Constructive Intermediate Value Theorem. - Douglas S. Bridges (Math. Log. Q., 1989)

A Constructive Treatment of Open and Unopen Mapping Theorems. - Douglas S. Bridges; William Julian; Ray Mines (Math. Log. Q., 1989)

Sequential, Pointwise, and Uniform Continuity: A Constructive Note. - Douglas S. Bridges (Math. Log. Q., 1993)

Constructive Notions of Strict Convexity. - Douglas S. Bridges (Math. Log. Q., 1993)

Computability: a mathematical sketchbook. - Douglas S. Bridges (Springer, 1994)

Complements of Intersections in Constructive Mathematics. - Douglas S. Bridges; Hajime Ishihara (Math. Log. Q., 1994)

Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. - Douglas S. Bridges; Hajime Ishihara (Math. Log. Q., 1994)

On Recursive Bounds for the Exceptional Values in Speed-Up. - Douglas S. Bridges; Cristian Calude (Theor. Comput. Sci., 1994)

Constructive mathematics and unbounded operators - A reply to Hellman. - Douglas S. Bridges (J. Philos. Log., 1995)

Paradise lost, or paradise regained?. - Douglas S. Bridges; Luminita Dediu (Bull. EATCS, 1997)

Logic in Computer Science. - Douglas S. Bridges; Cristian Calude; Michael J. Dinneen; Bakhadyr Khoussainov (J. Univers. Comput. Sci., 1997)

Constructive Aspects of the Dirichlet Problem. - Douglas S. Bridges; Wang Yuchuan (J. Univers. Comput. Sci., 1997)

Foundations of real and abstract analysis. - Douglas S. Bridges (Springer, 1998)

Sequentially Continuous Linear Mappings in Constructive Analysis. - Douglas S. Bridges; Ray Mines (J. Symb. Log., 1998)

A Definitive Constructive Open Mapping Theorem? - Douglas S. Bridges; Hajime Ishihara (Math. Log. Q., 1998)

Constructive Notes on Uniform and Locally Convex Spaces. - Luminita Dediu; Douglas S. Bridges (FCT, 1999)

Linear Independence without Choice. - Douglas S. Bridges; Fred Richman; Peter Schuster 001 (Ann. Pure Appl. Log., 1999)

Weak Continuity Properties in Constructive Analysis. - Douglas S. Bridges; Luminita Dediu (Log. J. IGPL, 1999)

Can Constructive Mathematics be Applied in Physics? - Douglas S. Bridges (J. Philos. Log., 1999)

Weak-operator Continuity and the Existence Of Adjoints. - Douglas S. Bridges; Luminita Dediu (Math. Log. Q., 1999)

Constructive Mathematics: A Foundation for Computable Analysis. - Douglas S. Bridges (Theor. Comput. Sci., 1999)

A Constructive Analysis of a Proof that the Numerical Range is Convex. - Douglas S. Bridges; Robin Havea (LMS J. Comput. Math., 2000)

Sequential Continuity of Functions in Constructive Analysis. - Douglas S. Bridges; Ayan Mahalanobis (Math. Log. Q., 2000)

Apartness as a Relation Between Subsets. - Peter Schuster 001; Luminita Vîta; Douglas S. Bridges (DMTCS, 2001)

Dini's Theorem: A Constructive Case Study. - Douglas S. Bridges (DMTCS, 2001)

Increasing, Nondecreasing, and Virtually Continuous Functions. - Douglas S. Bridges; Ayan Mahalanobis (J. Autom. Lang. Comb., 2001)

Bounded Variation Implies Regulated: A Constructive Proof. - Douglas S. Bridges; Ayan Mahalanobis (J. Symb. Log., 2001)

A Constructive Version of the Spectral Mapping Theorem. - Douglas S. Bridges; Robin Havea (Math. Log. Q., 2001)

Characterising Near Continuity Constructively. - Douglas S. Bridges; Luminita Vîta (Math. Log. Q., 2001)

Compactness and Continuity, Constructively Revisited. - Douglas S. Bridges; Hajime Ishihara; Peter Schuster 001 (CSL, 2002)

Reality and Virtual Reality in Mathematics. - Douglas S. Bridges (Bull. EATCS, 2002)

Apartness, Topology, and Uniformity: a Constructive View. - Douglas S. Bridges; Peter Schuster 001; Luminita Vîta (Math. Log. Q., 2002)

Kernels of seminorms in constructive analysis. - Douglas S. Bridges; Nicholas Dudley Ward (Theor. Comput. Sci., 2002)

Apartness spaces as a framework for constructive topology. - Douglas S. Bridges; Luminita Vîta (Ann. Pure Appl. Log., 2003)

A proof-technique in uniform space theory. - Douglas S. Bridges; Luminita Vîta (J. Symb. Log., 2003)

Strong and Uniform Continuity - the Uniform Space Case. - Douglas S. Bridges; Luminita Vîta (LMS J. Comput. Math., 2003)

A constructive theory of point-set nearness. - Luminita Vîta; Douglas S. Bridges (Theor. Comput. Sci., 2003)

A General Constructive Proof Technique. - Douglas S. Bridges; Luminita Vîta (CCA, 2004)

Corrigendum to "A proof - technique in uniform space theory". - Douglas S. Bridges; Luminita Vîta (J. Symb. Log., 2004)

Constructive complements of unions of two closed sets. - Douglas S. Bridges (Math. Log. Q., 2004)

First steps in constructive game theory. - Douglas S. Bridges (Math. Log. Q., 2004)

Introduction. - Errett Bishop; Douglas S. Bridges (From sets and types to topology and analysis, 2005)

Approximations to the numerical range of an element of a Banach algebra. - Douglas S. Bridges; Robin Havea (From sets and types to topology and analysis, 2005)

The constructive uniqueness of the locally convex topology on rn. - Douglas S. Bridges; Luminita Vîta (From sets and types to topology and analysis, 2005)

An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). - Douglas S. Bridges; Luminita Vîta (CCA, 2005)

Compactness in apartness spaces? - Douglas S. Bridges; Hajime Ishihara; Peter Schuster 001; Luminita Vîta (Spatial Representation, 2005)

Strong continuity implies uniform sequential continuity. - Douglas S. Bridges; Hajime Ishihara; Peter Schuster 001; Luminita Vîta (Arch. Math. Log., 2005)

A Weak Constructive Sequential Compactness Property and the Fan Theorem. - Douglas S. Bridges (Log. J. IGPL, 2005)

A Bizarre Property Equivalent to the Pi10-Fan Theorem. - Josef Berger; Douglas S. Bridges (Log. J. IGPL, 2006)

Ideals in constructive Banach algebra theory. - Douglas S. Bridges; Robin Havea; Peter Schuster 001 (J. Complex., 2006)

Pre-apartness structures on spaces of functions. - Douglas S. Bridges; Luminita Simona Vîta (J. Complex., 2006)

The fan theorem and unique existence of maxima. - Josef Berger; Douglas S. Bridges; Peter Schuster 001 (J. Symb. Log., 2006)

A constructive treatment of Urysohn's Lemma in an apartness space. - Douglas S. Bridges; Hannes Diener (Math. Log. Q., 2006)

Colocatedness and Lebesgue Integrability. - Douglas S. Bridges (CiE, 2007)

Constructing local optima on a compact interval. - Douglas S. Bridges (Arch. Math. Log., 2007)

Continuity Properties of Preference Relations. - Marian Alexandru Baroni; Douglas S. Bridges (CCA, 2007)

The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem. - Douglas S. Bridges; Hannes Diener (J. Symb. Log., 2007)

The anti-Specker property, a Heine-Borel property, and uniform continuity. - Josef Berger; Douglas S. Bridges (Arch. Math. Log., 2008)

Proximal Connectedness. - Douglas S. Bridges; Luminita Vîta (Fundam. Informaticae, 2008)

Constructive Notions of Maximality for Ideals. - Douglas S. Bridges; Robin Havea (J. Univers. Comput. Sci., 2008)

Product a-frames and proximity. - Douglas S. Bridges (Math. Log. Q., 2008)

Uniform Continuity Properties of Preference Relations. - Douglas S. Bridges (Notre Dame J. Formal Log., 2008)

Apartness, compactness and nearness. - Douglas S. Bridges; Hajime Ishihara; Peter M. Schuster; Luminita Vîta (Theor. Comput. Sci., 2008)

Constructive notions of equicontinuity. - Douglas S. Bridges (Arch. Math. Log., 2009)

Rearranging Series Constructively. - Josef Berger; Douglas S. Bridges (J. Univers. Comput. Sci., 2009)

Glueing continuous functions constructively. - Douglas S. Bridges; Iris Loeb (Arch. Math. Log., 2010)

Continuity and Lipschitz constants for projections. - Douglas S. Bridges (J. Log. Algebraic Methods Program., 2010)

Continuous isomorphisms from R onto a complete abelian group. - Douglas S. Bridges; Matthew Hendtlass (J. Symb. Log., 2010)

A Constructive Study of Landau's Summability Theorem. - Josef Berger; Douglas S. Bridges (J. Univers. Comput. Sci., 2010)

The anti-Specker property, positivity, and total boundedness. - Douglas S. Bridges; Hannes Diener (Math. Log. Q., 2010)

Continuous homomorphisms of R onto a compact group. - Douglas S. Bridges; Matthew Hendtlass (Math. Log. Q., 2010)

Apartness and Uniformity - A Constructive Development. - Douglas S. Bridges; Luminita Simona Vîta (Springer, 2011)

Omniscience, sequential compactness, and the anti-Specker property. - Douglas S. Bridges (Log. J. IGPL, 2011)

The anti-Specker property, uniform sequential continuity, and a countable compactness property. - Douglas S. Bridges (Log. J. IGPL, 2011)

Locating subsets of B(H) relative to seminorms inducing the strong-operator topology. - Douglas S. Bridges (J. Log. Anal., 2011)

Constructing the Infimum of Two Projections. - Douglas S. Bridges; Luminita Vîta (Computation, Physics and Beyond, 2012)

Square Roots and Powers in Constructive Banach Algebra Theory. - Douglas S. Bridges; Robin Havea (CiE, 2012)

Compactness notions for an apartness space. - Douglas S. Bridges (Arch. Math. Log., 2012)

Reflections on function spaces. - Douglas S. Bridges (Ann. Pure Appl. Log., 2012)

Almost new pre-apartness from old. - Douglas S. Bridges (Ann. Pure Appl. Log., 2012)

Precompact Apartness Spaces - Douglas S. Bridges (Log. Methods Comput. Sci., 2012)

Double sequences, almost Cauchyness and BD-N. - Josef Berger; Douglas S. Bridges; Erik Palmgren (Log. J. IGPL, 2012)

How to construct a product of a-frames. - Douglas S. Bridges (Math. Log. Q., 2012)

Characterising dominated weak-operator continuous functionals on subspaces of B(H). - Douglas S. Bridges (Ann. Pure Appl. Log., 2013)

Two direct proofs that LLPO implies the detachable fan theorem. - Douglas S. Bridges; James E. Dent; Maarten McKubre-Jordens (Log. J. IGPL, 2013)

A first constructive look at the comparison of projections. - Douglas S. Bridges; Luminita Simona Vîta (Log. J. IGPL, 2013)

Solving the Dirichlet problem constructively. - Douglas S. Bridges; Maarten McKubre-Jordens (J. Log. Anal., 2013)

Uniformly convex Banach spaces are reflexive - constructively. - Douglas S. Bridges; Hajime Ishihara; Maarten McKubre-Jordens (Math. Log. Q., 2013)

Locating Ax, where A is a subspace of B(H). - Douglas Suth Bridges (Log. Methods Comput. Sci., 2014)

Apartness spaces and uniform neighbourhood structures. - Douglas S. Bridges (Ann. Pure Appl. Log., 2016)

A constructive examination of rectifiability. - Douglas S. Bridges; Matthew Hendtlass; Erik Palmgren (J. Log. Anal., 2016)

Z-stability in Constructive Analysis. - Douglas S. Bridges; James E. Dent; Maarten McKubre-Jordens (Log. Methods Comput. Sci., 2016)

Morse set theory as a foundation for constructive mathematics. - Douglas S. Bridges (Theor. Comput. Sci., 2022)

Constructive aspects of Riemann's permutation theorem for series. - Josef Berger; Douglas S. Bridges; Hannes Diener; Helmut Schwichtenberg (Log. J. IGPL, 2025)