default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDouglas S. Bridges
Douglas Suth Bridges
Person information
- affiliation: University of Canterbury, Christchurch, New Zealand
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j82]Douglas S. Bridges:
Morse set theory as a foundation for constructive mathematics. Theor. Comput. Sci. 928: 115-135 (2022)
2010 – 2019
- 2016
- [j81]Douglas S. Bridges:
Apartness spaces and uniform neighbourhood structures. Ann. Pure Appl. Log. 167(9): 850-864 (2016) - [j80]Douglas S. Bridges, Matthew Hendtlass, Erik Palmgren:
A constructive examination of rectifiability. J. Log. Anal. 8 (2016) - [j79]Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens:
Z-stability in Constructive Analysis. Log. Methods Comput. Sci. 12(3) (2016) - 2014
- [j78]Douglas Suth Bridges:
Locating Ax, where A is a subspace of B(H). Log. Methods Comput. Sci. 10(2) (2014) - 2013
- [j77]Douglas S. Bridges:
Characterising dominated weak-operator continuous functionals on subspaces of B(H). Ann. Pure Appl. Log. 164(4): 416-420 (2013) - [j76]Douglas S. Bridges, Luminita Simona Vîta:
A first constructive look at the comparison of projections. Log. J. IGPL 21(1): 14-27 (2013) - [j75]Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens:
Two direct proofs that LLPO implies the detachable fan theorem. Log. J. IGPL 21(5): 830-835 (2013) - [j74]Douglas S. Bridges, Maarten McKubre-Jordens:
Solving the Dirichlet problem constructively. J. Log. Anal. 5 (2013) - [j73]Douglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens:
Uniformly convex Banach spaces are reflexive - constructively. Math. Log. Q. 59(4-5): 352-356 (2013) - 2012
- [j72]Douglas S. Bridges:
Compactness notions for an apartness space. Arch. Math. Log. 51(5-6): 517-534 (2012) - [j71]Douglas S. Bridges:
Reflections on function spaces. Ann. Pure Appl. Log. 163(2): 101-110 (2012) - [j70]Douglas S. Bridges:
Almost new pre-apartness from old. Ann. Pure Appl. Log. 163(8): 1009-1015 (2012) - [j69]Douglas S. Bridges:
Precompact Apartness Spaces. Log. Methods Comput. Sci. 8(2) (2012) - [j68]Josef Berger, Douglas S. Bridges, Erik Palmgren:
Double sequences, almost Cauchyness and BD-N. Log. J. IGPL 20(1): 349-354 (2012) - [j67]Douglas S. Bridges:
How to construct a product of a-frames. Math. Log. Q. 58(4-5): 281-293 (2012) - [c13]Douglas S. Bridges, Luminita Vîta:
Constructing the Infimum of Two Projections. Computation, Physics and Beyond 2012: 46-58 - [c12]Douglas S. Bridges, Robin Havea:
Square Roots and Powers in Constructive Banach Algebra Theory. CiE 2012: 68-77 - 2011
- [b3]Douglas S. Bridges, Luminita Simona Vîta:
Apartness and Uniformity - A Constructive Development. Theory and Applications of Computability, Springer 2011, ISBN 978-3-642-22414-0, pp. 1-182 - [j66]Douglas S. Bridges:
Omniscience, sequential compactness, and the anti-Specker property. Log. J. IGPL 19(1): 53-61 (2011) - [j65]Douglas S. Bridges:
The anti-Specker property, uniform sequential continuity, and a countable compactness property. Log. J. IGPL 19(1): 174-182 (2011) - [j64]Douglas S. Bridges:
Locating subsets of B(H) relative to seminorms inducing the strong-operator topology. J. Log. Anal. 3 (2011) - 2010
- [j63]Douglas S. Bridges, Iris Loeb:
Glueing continuous functions constructively. Arch. Math. Log. 49(5): 603-616 (2010) - [j62]Douglas S. Bridges:
Continuity and Lipschitz constants for projections. J. Log. Algebraic Methods Program. 79(1): 2-9 (2010) - [j61]Douglas S. Bridges, Matthew Hendtlass:
Continuous isomorphisms from R onto a complete abelian group. J. Symb. Log. 75(3): 930-944 (2010) - [j60]Josef Berger, Douglas S. Bridges:
A Constructive Study of Landau's Summability Theorem. J. Univers. Comput. Sci. 16(18): 2523-2534 (2010) - [j59]Douglas S. Bridges, Matthew Hendtlass:
Continuous homomorphisms of R onto a compact group. Math. Log. Q. 56(2): 191-197 (2010) - [j58]Douglas S. Bridges, Hannes Diener
:
The anti-Specker property, positivity, and total boundedness. Math. Log. Q. 56(4): 434-441 (2010)
2000 – 2009
- 2009
- [j57]Douglas S. Bridges:
Constructive notions of equicontinuity. Arch. Math. Log. 48(5): 437-448 (2009) - [j56]Josef Berger, Douglas S. Bridges:
Rearranging Series Constructively. J. Univers. Comput. Sci. 15(17): 3160-3168 (2009) - [c11]Josef Berger, Douglas S. Bridges:
A Constructive Study of Landau's Summability Theorem. CCA 2009 - 2008
- [j55]Josef Berger, Douglas S. Bridges:
The anti-Specker property, a Heine-Borel property, and uniform continuity. Arch. Math. Log. 46(7-8): 583-592 (2008) - [j54]Douglas S. Bridges, Luminita Vîta:
Proximal Connectedness. Fundam. Informaticae 83(1-2): 25-34 (2008) - [j53]Douglas S. Bridges, Robin Havea:
Constructive Notions of Maximality for Ideals. J. Univers. Comput. Sci. 14(22): 3648-3657 (2008) - [j52]Douglas S. Bridges:
Product a-frames and proximity. Math. Log. Q. 54(1): 12-26 (2008) - [j51]Marian Alexandru Baroni, Douglas S. Bridges:
Continuity properties of preference relations. Math. Log. Q. 54(5): 454-459 (2008) - [j50]Douglas S. Bridges:
Uniform Continuity Properties of Preference Relations. Notre Dame J. Formal Log. 49(1): 97-106 (2008) - [j49]Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta:
Apartness, compactness and nearness. Theor. Comput. Sci. 405(1-2): 3-10 (2008) - 2007
- [j48]Douglas S. Bridges:
Constructing local optima on a compact interval. Arch. Math. Log. 46(2): 149-154 (2007) - [j47]Douglas S. Bridges, Hannes Diener:
The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem. J. Symb. Log. 72(4): 1379-1384 (2007) - [c10]Douglas S. Bridges:
Colocatedness and Lebesgue Integrability. CiE 2007: 98-104 - [c9]Marian Alexandru Baroni, Douglas S. Bridges:
Continuity Properties of Preference Relations. CCA 2007: 19-25 - 2006
- [j46]Josef Berger, Douglas S. Bridges:
A Bizarre Property Equivalent to the Pi10-Fan Theorem. Log. J. IGPL 14(6): 867-871 (2006) - [j45]Douglas S. Bridges, Robin Havea, Peter Schuster:
Ideals in constructive Banach algebra theory. J. Complex. 22(6): 729-737 (2006) - [j44]Douglas S. Bridges, Luminita Simona Vîta:
Pre-apartness structures on spaces of functions. J. Complex. 22(6): 881-893 (2006) - [j43]Josef Berger, Douglas S. Bridges, Peter Schuster:
The fan theorem and unique existence of maxima. J. Symb. Log. 71(2): 713-720 (2006) - [j42]Douglas S. Bridges, Hannes Diener:
A constructive treatment of Urysohn's Lemma in an apartness space. Math. Log. Q. 52(5): 464-469 (2006) - 2005
- [j41]Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta:
Strong continuity implies uniform sequential continuity. Arch. Math. Log. 44(7): 887-895 (2005) - [j40]Douglas S. Bridges:
A Weak Constructive Sequential Compactness Property and the Fan Theorem. Log. J. IGPL 13(2): 151-158 (2005) - [c8]Douglas S. Bridges, Robin Havea, Peter Schuster:
Ideals in Constructive Banach Algebra Theory. CCA 2005: 65-75 - [c7]Douglas S. Bridges, Luminita Vîta:
An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). CCA 2005: 77-89 - [c6]Douglas S. Bridges, Luminita Vîta:
Proximal Connectedness. CCA 2005: 91-101 - [p3]Errett Bishop, Douglas S. Bridges:
Introduction. From sets and types to topology and analysis 2005 - [p2]Douglas S. Bridges, Robin Havea:
Approximations to the numerical range of an element of a Banach algebra. From sets and types to topology and analysis 2005 - [p1]Douglas S. Bridges, Luminita Vîta:
The constructive uniqueness of the locally convex topology on rn. From sets and types to topology and analysis 2005 - [i1]Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta:
Compactness in apartness spaces? Spatial Representation 2005 - 2004
- [j39]Douglas S. Bridges, Luminita Vîta:
Corrigendum to "A proof - technique in uniform space theory". J. Symb. Log. 69(1): 328 (2004) - [j38]Douglas S. Bridges:
Constructive complements of unions of two closed sets. Math. Log. Q. 50(3): 293-294 (2004) - [j37]Douglas S. Bridges:
First steps in constructive game theory. Math. Log. Q. 50(4-5): 501-506 (2004) - [c5]Douglas S. Bridges, Luminita Vîta:
A General Constructive Proof Technique. CCA 2004: 31-43 - 2003
- [j36]Douglas S. Bridges, Luminita Vîta:
Apartness spaces as a framework for constructive topology. Ann. Pure Appl. Log. 119(1-3): 61-83 (2003) - [j35]Douglas S. Bridges, Luminita Vîta:
A proof-technique in uniform space theory. J. Symb. Log. 68(3): 795-802 (2003) - [j34]Douglas S. Bridges, Luminita Vîta:
Strong and Uniform Continuity - the Uniform Space Case. LMS J. Comput. Math. 6: 326-334 (2003) - [j33]Luminita Vîta, Douglas S. Bridges:
A constructive theory of point-set nearness. Theor. Comput. Sci. 305(1-3): 473-489 (2003) - 2002
- [j32]Douglas S. Bridges:
Reality and Virtual Reality in Mathematics. Bull. EATCS 78: 221-230 (2002) - [j31]Douglas S. Bridges, Peter Schuster, Luminita Vîta:
Apartness, Topology, and Uniformity: a Constructive View. Math. Log. Q. 48(S1): 16-28 (2002) - [j30]Douglas S. Bridges, Nicholas Dudley Ward:
Kernels of seminorms in constructive analysis. Theor. Comput. Sci. 284(2): 259-267 (2002) - [c4]Douglas S. Bridges, Hajime Ishihara, Peter Schuster:
Compactness and Continuity, Constructively Revisited. CSL 2002: 89-102 - 2001
- [j29]Douglas S. Bridges, Ayan Mahalanobis:
Increasing, Nondecreasing, and Virtually Continuous Functions. J. Autom. Lang. Comb. 6(2): 139-143 (2001) - [j28]Douglas S. Bridges, Ayan Mahalanobis:
Bounded Variation Implies Regulated: A Constructive Proof. J. Symb. Log. 66(4): 1695-1700 (2001) - [j27]Douglas S. Bridges, Robin Havea:
A Constructive Version of the Spectral Mapping Theorem. Math. Log. Q. 47(3): 299-304 (2001) - [j26]Douglas S. Bridges, Luminita Vîta:
Characterising Near Continuity Constructively. Math. Log. Q. 47(4): 535-538 (2001) - [c3]Douglas S. Bridges:
Dini's Theorem: A Constructive Case Study. DMTCS 2001: 69-80 - [c2]Peter Schuster, Luminita Vîta, Douglas S. Bridges:
Apartness as a Relation Between Subsets. DMTCS 2001: 203-214 - 2000
- [j25]Douglas S. Bridges, Robin Havea:
A Constructive Analysis of a Proof that the Numerical Range is Convex. LMS J. Comput. Math. 3: 191-206 (2000) - [j24]Douglas S. Bridges, Ayan Mahalanobis:
Sequential Continuity of Functions in Constructive Analysis. Math. Log. Q. 46(1): 139-143 (2000)
1990 – 1999
- 1999
- [j23]Douglas S. Bridges, Fred Richman, Peter Schuster:
Linear Independence without Choice. Ann. Pure Appl. Log. 101(1): 95-10 (1999) - [j22]Douglas S. Bridges, Luminita Dediu:
Weak Continuity Properties in Constructive Analysis. Log. J. IGPL 7(3): 277-281 (1999) - [j21]Douglas S. Bridges:
Can Constructive Mathematics be Applied in Physics? J. Philos. Log. 28(5): 439-453 (1999) - [j20]Douglas S. Bridges, Luminita Dediu:
Weak-operator Continuity and the Existence Of Adjoints. Math. Log. Q. 45: 203-206 (1999) - [j19]Douglas S. Bridges:
Constructive Mathematics: A Foundation for Computable Analysis. Theor. Comput. Sci. 219(1-2): 95-109 (1999) - [c1]Luminita Dediu, Douglas S. Bridges:
Constructive Notes on Uniform and Locally Convex Spaces. FCT 1999: 195-203 - 1998
- [b2]Douglas S. Bridges:
Foundations of real and abstract analysis. Graduate texts in mathematics 174, Springer 1998, ISBN 978-0-387-98239-7, pp. I-XIV, 1-322 - [j18]Douglas S. Bridges, Ray Mines:
Sequentially Continuous Linear Mappings in Constructive Analysis. J. Symb. Log. 63(2): 579-583 (1998) - [j17]Douglas S. Bridges, Hajime Ishihara:
A Definitive Constructive Open Mapping Theorem? Math. Log. Q. 44: 545-552 (1998) - 1997
- [j16]Douglas S. Bridges, Luminita Dediu:
Paradise lost, or paradise regained?. Bull. EATCS 63 (1997) - [j15]Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov:
Logic in Computer Science. J. Univers. Comput. Sci. 3(11): 1133 (1997) - [j14]Douglas S. Bridges, Wang Yuchuan:
Constructive Aspects of the Dirichlet Problem. J. Univers. Comput. Sci. 3(11): 1148-1161 (1997) - 1996
- [e1]Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten:
First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996. Springer-Verlag, Singapore 1996, ISBN 981-3083-14-X [contents] - 1995
- [j13]Douglas S. Bridges:
Constructive mathematics and unbounded operators - A reply to Hellman. J. Philos. Log. 24(5): 549-561 (1995) - 1994
- [b1]Douglas S. Bridges:
Computability: a mathematical sketchbook. Graduate texts in mathematics 146, Springer 1994, ISBN 3540941746, pp. I-IX, 1-178 - [j12]Douglas S. Bridges, Hajime Ishihara:
Complements of Intersections in Constructive Mathematics. Math. Log. Q. 40: 35-43 (1994) - [j11]Douglas S. Bridges, Hajime Ishihara:
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. Math. Log. Q. 40: 519-527 (1994) - [j10]Douglas S. Bridges, Cristian Calude:
On Recursive Bounds for the Exceptional Values in Speed-Up. Theor. Comput. Sci. 132(2): 387-394 (1994) - 1993
- [j9]Douglas S. Bridges:
Sequential, Pointwise, and Uniform Continuity: A Constructive Note. Math. Log. Q. 39: 55-61 (1993) - [j8]Douglas S. Bridges:
Constructive Notions of Strict Convexity. Math. Log. Q. 39: 295-300 (1993)
1980 – 1989
- 1989
- [j7]Douglas S. Bridges, William Julian, Ray Mines:
A Constructive Treatment of Open and Unopen Mapping Theorems. Math. Log. Q. 35(1): 29-43 (1989) - [j6]Douglas S. Bridges:
A General Constructive Intermediate Value Theorem. Math. Log. Q. 35(5): 433-435 (1989)
1970 – 1979
- 1979
- [j5]Douglas S. Bridges:
On the Constructive Convergence of Series of Independent Functions. Math. Log. Q. 25(3-6): 93-96 (1979) - [j4]Douglas S. Bridges:
A Criterion for Compactness in Metric Spaces? Math. Log. Q. 25(7-12): 97-98 (1979) - [j3]Douglas S. Bridges:
Geometric Intuition and Elementary Constructive Analysis. Math. Log. Q. 25(33): 521-523 (1979) - 1978
- [j2]Douglas S. Bridges:
A Note on Morse's Lambda-Notation in Set Theory. Math. Log. Q. 24(8): 113-114 (1978) - [j1]Douglas S. Bridges:
On Weak Operator Compactness of the Unit Ball of L(H). Math. Log. Q. 24(31-36): 493-494 (1978)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
