Douglas S. Bridges

Publication Activity (10 Years)

Years Active: 1978-2022
Publications (10 Years): 4

Top Topics

Structural Features

Frequent Itemsets

Algebraic Geometry

Top Venues

Ann. Pure Appl. Log.

Log. Methods Comput. Sci.

Theor. Comput. Sci.

Publications

Douglas S. Bridges
Morse set theory as a foundation for constructive mathematics. Theor. Comput. Sci. 928 (2022)
Douglas S. Bridges, Matthew Hendtlass, Erik Palmgren
A constructive examination of rectifiability. J. Log. Anal. 8 (2016)
Douglas S. Bridges
Apartness spaces and uniform neighbourhood structures. Ann. Pure Appl. Log. 167 (9) (2016)
Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens
Z-stability in Constructive Analysis. Log. Methods Comput. Sci. 12 (3) (2016)
Douglas S. Bridges
). Ann. Pure Appl. Log. 164 (4) (2013)
Douglas S. Bridges, Maarten McKubre-Jordens
Solving the Dirichlet problem constructively. J. Log. Anal. 5 (2013)
Douglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens
Uniformly convex Banach spaces are reflexive - constructively. Math. Log. Q. 59 (4-5) (2013)
Douglas S. Bridges, Luminita Simona Vîta
A first constructive look at the comparison of projections. Log. J. IGPL 21 (1) (2013)
Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens
Two direct proofs that LLPO implies the detachable fan theorem. Log. J. IGPL 21 (5) (2013)
Douglas S. Bridges
Reflections on function spaces. Ann. Pure Appl. Log. 163 (2) (2012)
Douglas S. Bridges, Luminita Vîta
Constructing the Infimum of Two Projections. Computation, Physics and Beyond (2012)
Douglas S. Bridges, Robin Havea
Square Roots and Powers in Constructive Banach Algebra Theory. CiE (2012)
Douglas S. Bridges
How to construct a product of a-frames. Math. Log. Q. 58 (4-5) (2012)
Douglas S. Bridges
Precompact Apartness Spaces Log. Methods Comput. Sci. 8 (2) (2012)
Josef Berger, Douglas S. Bridges, Erik Palmgren
Double sequences, almost Cauchyness and BD-N. Log. J. IGPL 20 (1) (2012)
Douglas S. Bridges
Almost new pre-apartness from old. Ann. Pure Appl. Log. 163 (8) (2012)
Douglas S. Bridges
Compactness notions for an apartness space. Arch. Math. Log. 51 (5-6) (2012)
Douglas S. Bridges
Omniscience, sequential compactness, and the anti-Specker property. Log. J. IGPL 19 (1) (2011)
Douglas S. Bridges
Locating subsets of B(H) relative to seminorms inducing the strong-operator topology. J. Log. Anal. 3 (2011)
Douglas S. Bridges
The anti-Specker property, uniform sequential continuity, and a countable compactness property. Log. J. IGPL 19 (1) (2011)
Douglas S. Bridges
Continuity and Lipschitz constants for projections. J. Log. Algebraic Methods Program. 79 (1) (2010)
Douglas S. Bridges, Hannes Diener
The anti-Specker property, positivity, and total boundedness. Math. Log. Q. 56 (4) (2010)
Douglas S. Bridges, Matthew Hendtlass
Continuous isomorphisms from R onto a complete abelian group. J. Symb. Log. 75 (3) (2010)
Douglas S. Bridges, Iris Loeb
Glueing continuous functions constructively. Arch. Math. Log. 49 (5) (2010)
Josef Berger, Douglas S. Bridges
A Constructive Study of Landau's Summability Theorem. J. Univers. Comput. Sci. 16 (18) (2010)
Douglas S. Bridges, Matthew Hendtlass
Continuous homomorphisms of R onto a compact group. Math. Log. Q. 56 (2) (2010)
Josef Berger, Douglas S. Bridges
Rearranging Series Constructively. J. Univers. Comput. Sci. 15 (17) (2009)
Josef Berger, Douglas S. Bridges
A Constructive Study of Landau's Summability Theorem. CCA (2009)
Douglas S. Bridges
Constructive notions of equicontinuity. Arch. Math. Log. 48 (5) (2009)
Marian Alexandru Baroni, Douglas S. Bridges
Continuity Properties of Preference Relations. Electron. Notes Theor. Comput. Sci. 202 (2008)
Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta
Apartness, compactness and nearness. Theor. Comput. Sci. 405 (1-2) (2008)
Douglas S. Bridges
Uniform Continuity Properties of Preference Relations. Notre Dame J. Formal Log. 49 (1) (2008)
Marian Alexandru Baroni, Douglas S. Bridges
Continuity properties of preference relations. Math. Log. Q. 54 (5) (2008)
Douglas S. Bridges
Product a-frames and proximity. Math. Log. Q. 54 (1) (2008)
Douglas S. Bridges, Robin Havea
Constructive Notions of Maximality for Ideals. J. Univers. Comput. Sci. 14 (22) (2008)
Douglas S. Bridges, Luminita Vîta
Proximal Connectedness. Fundam. Informaticae 83 (1-2) (2008)
Josef Berger, Douglas S. Bridges
The anti-Specker property, a Heine-Borel property, and uniform continuity. Arch. Math. Log. 46 (7-8) (2008)
Douglas S. Bridges, Hannes Diener
The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem. J. Symb. Log. 72 (4) (2007)
Douglas S. Bridges
Colocatedness and Lebesgue Integrability. CiE (2007)
Douglas S. Bridges
Constructing local optima on a compact interval. Arch. Math. Log. 46 (2) (2007)
Douglas S. Bridges, Robin Havea, Peter Schuster
Ideals in constructive Banach algebra theory. J. Complex. 22 (6) (2006)
Josef Berger, Douglas S. Bridges
-Fan Theorem. Log. J. IGPL 14 (6) (2006)
Douglas S. Bridges, Luminita Simona Vîta
Pre-apartness structures on spaces of functions. J. Complex. 22 (6) (2006)
Douglas S. Bridges, Hannes Diener
A constructive treatment of Urysohn's Lemma in an apartness space. Math. Log. Q. 52 (5) (2006)
Josef Berger, Douglas S. Bridges, Peter Schuster
The fan theorem and unique existence of maxima. J. Symb. Log. 71 (2) (2006)
Douglas S. Bridges, Luminita Vîta
A General Constructive Proof Technique. Electron. Notes Theor. Comput. Sci. 120 (2005)
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
Strong continuity implies uniform sequential continuity. Arch. Math. Log. 44 (7) (2005)
Douglas S. Bridges, Luminita Vîta
An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). CCA (2005)
Douglas S. Bridges, Luminita Vîta
Proximal Connectedness. CCA (2005)
Douglas S. Bridges
A Weak Constructive Sequential Compactness Property and the Fan Theorem. Log. J. IGPL 13 (2) (2005)
Douglas S. Bridges, Robin Havea, Peter Schuster
Ideals in Constructive Banach Algebra Theory. CCA (2005)
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
Compactness in apartness spaces? Spatial Representation (2005)
Douglas S. Bridges
First steps in constructive game theory. Math. Log. Q. 50 (4-5) (2004)
Douglas S. Bridges
Constructive complements of unions of two closed sets. Math. Log. Q. 50 (3) (2004)
Douglas S. Bridges, Luminita Vîta
Corrigendum to "A proof - technique in uniform space theory". J. Symb. Log. 69 (1) (2004)
Luminita Vîta, Douglas S. Bridges
A constructive theory of point-set nearness. Theor. Comput. Sci. 305 (1-3) (2003)
Douglas S. Bridges, Luminita Vîta
Strong and Uniform Continuity - the Uniform Space Case. LMS J. Comput. Math. 6 (2003)
Douglas S. Bridges, Luminita Vîta
Apartness spaces as a framework for constructive topology. Ann. Pure Appl. Log. 119 (1-3) (2003)
Douglas S. Bridges, Luminita Vîta
A proof-technique in uniform space theory. J. Symb. Log. 68 (3) (2003)
Douglas S. Bridges, Peter Schuster, Luminita Vîta
Apartness, Topology, and Uniformity: a Constructive View. Math. Log. Q. 48 (S1) (2002)
Douglas S. Bridges, Nicholas Dudley Ward
Kernels of seminorms in constructive analysis. Theor. Comput. Sci. 284 (2) (2002)
Douglas S. Bridges, Hajime Ishihara, Peter Schuster
Compactness and Continuity, Constructively Revisited. CSL (2002)
Douglas S. Bridges
Reality and Virtual Reality in Mathematics. Bull. EATCS 78 (2002)
Douglas S. Bridges, Ayan Mahalanobis
Bounded Variation Implies Regulated: A Constructive Proof. J. Symb. Log. 66 (4) (2001)
Douglas S. Bridges, Robin Havea
A Constructive Version of the Spectral Mapping Theorem. Math. Log. Q. 47 (3) (2001)
Peter Schuster, Luminita Vîta, Douglas S. Bridges
Apartness as a Relation Between Subsets. DMTCS (2001)
Douglas S. Bridges, Luminita Vîta
Characterising Near Continuity Constructively. Math. Log. Q. 47 (4) (2001)
Douglas S. Bridges, Ayan Mahalanobis
Increasing, Nondecreasing, and Virtually Continuous Functions. J. Autom. Lang. Comb. 6 (2) (2001)
Douglas S. Bridges
Dini's Theorem: A Constructive Case Study. DMTCS (2001)
Douglas S. Bridges, Ayan Mahalanobis
Sequential Continuity of Functions in Constructive Analysis. Math. Log. Q. 46 (1) (2000)
Douglas S. Bridges, Robin Havea
A Constructive Analysis of a Proof that the Numerical Range is Convex. LMS J. Comput. Math. 3 (2000)
Douglas S. Bridges
Can Constructive Mathematics be Applied in Physics? J. Philos. Log. 28 (5) (1999)
Douglas S. Bridges, Luminita Dediu
Weak-operator Continuity and the Existence Of Adjoints. Math. Log. Q. 45 (1999)
Douglas S. Bridges, Luminita Dediu
Weak Continuity Properties in Constructive Analysis. Log. J. IGPL 7 (3) (1999)
Luminita Dediu, Douglas S. Bridges
Constructive Notes on Uniform and Locally Convex Spaces. FCT (1999)
Douglas S. Bridges
Constructive Mathematics: A Foundation for Computable Analysis. Theor. Comput. Sci. 219 (1-2) (1999)
Douglas S. Bridges, Fred Richman, Peter Schuster
Linear Independence without Choice. Ann. Pure Appl. Log. 101 (1) (1999)
Douglas S. Bridges, Ray Mines
Sequentially Continuous Linear Mappings in Constructive Analysis. J. Symb. Log. 63 (2) (1998)
Douglas S. Bridges, Hajime Ishihara
A Definitive Constructive Open Mapping Theorem? Math. Log. Q. 44 (1998)
Douglas S. Bridges, Luminita Dediu
Paradise lost, or paradise regained?. Bull. EATCS 63 (1997)
Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov
Logic in Computer Science. J. Univers. Comput. Sci. 3 (11) (1997)
Douglas S. Bridges, Wang Yuchuan
Constructive Aspects of the Dirichlet Problem. J. Univers. Comput. Sci. 3 (11) (1997)
Douglas S. Bridges
Constructive mathematics and unbounded operators - A reply to Hellman. J. Philos. Log. 24 (5) (1995)
Douglas S. Bridges, Hajime Ishihara
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. Math. Log. Q. 40 (1994)
Douglas S. Bridges, Hajime Ishihara
Complements of Intersections in Constructive Mathematics. Math. Log. Q. 40 (1994)
Douglas S. Bridges, Cristian Calude
On Recursive Bounds for the Exceptional Values in Speed-Up. Theor. Comput. Sci. 132 (2) (1994)
Douglas S. Bridges
Constructive Notions of Strict Convexity. Math. Log. Q. 39 (1993)
Douglas S. Bridges
Sequential, Pointwise, and Uniform Continuity: A Constructive Note. Math. Log. Q. 39 (1993)
Douglas S. Bridges, William Julian, Ray Mines
A Constructive Treatment of Open and Unopen Mapping Theorems. Math. Log. Q. 35 (1) (1989)
Douglas S. Bridges
A General Constructive Intermediate Value Theorem. Math. Log. Q. 35 (5) (1989)
Douglas S. Bridges
A Criterion for Compactness in Metric Spaces? Math. Log. Q. 25 (7-12) (1979)
Douglas S. Bridges
On the Constructive Convergence of Series of Independent Functions. Math. Log. Q. 25 (3-6) (1979)
Douglas S. Bridges
Geometric Intuition and Elementary Constructive Analysis. Math. Log. Q. 25 (33) (1979)
Douglas S. Bridges
). Math. Log. Q. 24 (31-36) (1978)
Douglas S. Bridges
A Note on Morse's Lambda-Notation in Set Theory. Math. Log. Q. 24 (8) (1978)