Douglas S. Bridges

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
j64		Douglas S. Bridges: Characterising dominated weak-operator continuous functionals on subspaces of B(H). Ann. Pure Appl. Logic 164(4): 416-420 (2013)
j63		Douglas S. Bridges, Luminita Simona Vîta: A first constructive look at the comparison of projections. Logic Journal of the IGPL 21(1): 14-27 (2013)
	2012
j62		Douglas S. Bridges: Compactness notions for an apartness space. Arch. Math. Log. 51(5-6): 517-534 (2012)
j61		Douglas S. Bridges: Reflections on function spaces. Ann. Pure Appl. Logic 163(2): 101-110 (2012)
j60		Douglas S. Bridges: Almost new pre-apartness from old. Ann. Pure Appl. Logic 163(8): 1009-1015 (2012)
j59		Douglas S. Bridges: Precompact Apartness Spaces. Logical Methods in Computer Science 8(2) (2012)
j58		Josef Berger, Douglas S. Bridges, Erik Palmgren: Double sequences, almost Cauchyness and BD-N. Logic Journal of the IGPL 20(1): 349-354 (2012)
j57		Douglas S. Bridges: How to construct a product of a-frames. Math. Log. Q. 58(4-5): 281-293 (2012)
c10		Douglas S. Bridges, Luminita Vîta: Constructing the Infimum of Two Projections. Computation, Physics and Beyond 2012: 46-58
c9		Douglas S. Bridges, Robin Havea: Square Roots and Powers in Constructive Banach Algebra Theory. CiE 2012: 68-77
	2011
j56		Douglas S. Bridges: Omniscience, sequential compactness, and the anti-Specker property. Logic Journal of the IGPL 19(1): 53-61 (2011)
j55		Douglas S. Bridges: The anti-Specker property, uniform sequential continuity, and a countable compactness property. Logic Journal of the IGPL 19(1): 174-182 (2011)
	2010
j54		Douglas S. Bridges, Iris Loeb: Glueing continuous functions constructively. Arch. Math. Log. 49(5): 603-616 (2010)
j53		Douglas S. Bridges: Continuity and Lipschitz constants for projections. J. Log. Algebr. Program. 79(1): 2-9 (2010)
j52		Douglas S. Bridges, Matthew Hendtlass: Continuous isomorphisms from R onto a complete abelian group. J. Symb. Log. 75(3): 930-944 (2010)
j51		Josef Berger, Douglas S. Bridges: A Constructive Study of Landau's Summability Theorem. J. UCS 16(18): 2523-2534 (2010)
j50		Douglas S. Bridges, Matthew Hendtlass: Continuous homomorphisms of R onto a compact group. Math. Log. Q. 56(2): 191-197 (2010)
j49		Douglas S. Bridges, Hannes Diener: The anti-Specker property, positivity, and total boundedness. Math. Log. Q. 56(4): 434-441 (2010)
	2009
j48		Douglas S. Bridges: Constructive notions of equicontinuity. Arch. Math. Log. 48(5): 437-448 (2009)
j47		Josef Berger, Douglas S. Bridges: Rearranging Series Constructively. J. UCS 15(17): 3160-3168 (2009)
c8		Josef Berger, Douglas S. Bridges: A Constructive Study of Landau's Summability Theorem. CCA 2009
	2008
j46		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)
j45		Marian Alexandru Baroni, Douglas S. Bridges: Continuity Properties of Preference Relations. Electr. Notes Theor. Comput. Sci. 202: 19-25 (2008)
j44		Douglas S. Bridges, Luminita Vîta: Proximal Connectedness. Fundam. Inform. 83(1-2): 25-34 (2008)
j43		Douglas S. Bridges, Robin Havea: Constructive Notions of Maximality for Ideals. J. UCS 14(22): 3648-3657 (2008)
j42		Douglas S. Bridges: Product a-frames and proximity. Math. Log. Q. 54(1): 12-26 (2008)
j41		Marian Alexandru Baroni, Douglas S. Bridges: Continuity properties of preference relations. Math. Log. Q. 54(5): 454-459 (2008)
j40		Douglas S. Bridges: Uniform Continuity Properties of Preference Relations. Notre Dame Journal of Formal Logic 49(1): 97-106 (2008)
j39		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
j38		Douglas S. Bridges: Constructing local optima on a compact interval. Arch. Math. Log. 46(2): 149-154 (2007)
j37		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)
c7		Douglas S. Bridges: Colocatedness and Lebesgue Integrability. CiE 2007: 98-104
	2006
j36		Josef Berger, Douglas S. Bridges: A Bizarre Property Equivalent to the Pi₁⁰-Fan Theorem. Logic Journal of the IGPL 14(6): 867-871 (2006)
j35		Douglas S. Bridges, Robin Havea, Peter Schuster: Ideals in constructive Banach algebra theory. J. Complexity 22(6): 729-737 (2006)
j34		Douglas S. Bridges, Luminita Simona Vîta: Pre-apartness structures on spaces of functions. J. Complexity 22(6): 881-893 (2006)
j33		Josef Berger, Douglas S. Bridges, Peter Schuster: The fan theorem and unique existence of maxima. J. Symb. Log. 71(2): 713-720 (2006)
j32		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
j31		Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Strong continuity implies uniform sequential continuity. Arch. Math. Log. 44(7): 887-895 (2005)
j30		Douglas S. Bridges, Luminita Vîta: A General Constructive Proof Technique. Electr. Notes Theor. Comput. Sci. 120: 31-43 (2005)
j29		Douglas S. Bridges: A Weak Constructive Sequential Compactness Property and the Fan Theorem. Logic Journal of the IGPL 13(2): 151-158 (2005)
c6		Douglas S. Bridges, Robin Havea, Peter Schuster: Ideals in Constructive Banach Algebra Theory. CCA 2005: 65-75
c5		Douglas S. Bridges, Luminita Vîta: An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). CCA 2005: 77-89
c4		Douglas S. Bridges, Luminita Vîta: Proximal Connectedness. CCA 2005: 91-101
c3		Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Compactness in apartness spaces? Spatial Representation 2005
	2004
j28		Douglas S. Bridges, Luminita Vîta: Corrigendum to "A proof - technique in uniform space theory". J. Symb. Log. 69(1): 328 (2004)
j27		Douglas S. Bridges: Constructive complements of unions of two closed sets. Math. Log. Q. 50(3): 293-294 (2004)
j26		Douglas S. Bridges: First steps in constructive game theory. Math. Log. Q. 50(4-5): 501-506 (2004)
	2003
j25		Douglas S. Bridges, Luminita Dediu: Apartness spaces as a framework for constructive topology. Ann. Pure Appl. Logic 119(1-3): 61-83 (2003)
j24		Douglas S. Bridges, Luminita Vîta: A proof-technique in uniform space theory. J. Symb. Log. 68(3): 795-802 (2003)
j23		Luminita Vîta, Douglas S. Bridges: A constructive theory of point-set nearness. Theor. Comput. Sci. 305(1-3): 473-489 (2003)
	2002
j22		Douglas S. Bridges: Reality and Virtual Reality in Mathematics. Bulletin of the EATCS 78: 221-230 (2002)
j21		Douglas S. Bridges, Peter Schuster, Luminita Vîta: Apartness, Topology, and Uniformity: a Constructive View. Math. Log. Q. 48(S1): 16-28 (2002)
j20		Douglas S. Bridges, Nicholas Dudley Ward: Kernels of seminorms in constructive analysis. Theor. Comput. Sci. 284(2): 259-267 (2002)
c2		Douglas S. Bridges, Hajime Ishihara, Peter Schuster: Compactness and Continuity, Constructively Revisited. CSL 2002: 89-102
	2001
j19		Douglas S. Bridges, Ayan Mahalanobis: Increasing, Nondecreasing, and Virtually Continuous Functions. Journal of Automata, Languages and Combinatorics 6(2): 139-144 (2001)
j18		Douglas S. Bridges, Ayan Mahalanobis: Bounded Variation Implies Regulated: A Constructive Proof. J. Symb. Log. 66(4): 1695-1700 (2001)
j17		Douglas S. Bridges, Robin Havea: A Constructive Version of the Spectral Mapping Theorem. Math. Log. Q. 47(3): 299-304 (2001)
j16		Douglas S. Bridges, Luminita Vîta: Characterising Near Continuity Constructively. Math. Log. Q. 47(4): 535-538 (2001)
	2000
j15		Douglas S. Bridges, Ayan Mahalanobis: Sequential Continuity of Functions in Constructive Analysis. Math. Log. Q. 46(1): 139-143 (2000)
	1999
j14		Douglas S. Bridges, Fred Richman, Peter Schuster: Linear Independence without Choice. Ann. Pure Appl. Logic 101(1): 95-10 (1999)
j13		Douglas S. Bridges, Luminita Dediu: Weak Continuity Properties in Constructive Analysis. Logic Journal of the IGPL 7(3): 277-281 (1999)
j12		Douglas S. Bridges, Luminita Dediu: Weak-operator Continuity and the Existence Of Adjoints. Math. Log. Q. 45: 203-206 (1999)
j11		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
j10		Douglas S. Bridges, Ray Mines: Sequentially Continuous Linear Mappings in Constructive Analysis. J. Symb. Log. 63(2): 579-583 (1998)
j9		Douglas S. Bridges, Hajime Ishihara: A Definitive Constructive Open Mapping Theorem? Math. Log. Q. 44: 545-552 (1998)
	1997
j8		Douglas S. Bridges, Luminita Dediu: Paradise lost, or paradise regained?. Bulletin of the EATCS 63 (1997)
j7		Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov: Logic in Computer Science. J. UCS 3(11): 1133 (1997)
j6		Douglas S. Bridges, Wang Yuchuan: Constructive Aspects of the Dirichlet Problem. J. UCS 3(11): 1148-1161 (1997)
	1994
j5		Douglas S. Bridges, Hajime Ishihara: Complements of Intersections in Constructive Mathematics. Math. Log. Q. 40: 35-43 (1994)
j4		Douglas S. Bridges, Hajime Ishihara: Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. Math. Log. Q. 40: 519-527 (1994)
j3		Douglas S. Bridges, Cristian Calude: On Recursive Bounds for the Exceptional Values in Speed-Up. Theor. Comput. Sci. 132(2): 387-394 (1994)
	1993
j2		Douglas S. Bridges: Sequential, Pointwise, and Uniform Continuity: A Constructive Note. Math. Log. Q. 39: 55-61 (1993)
j1		Douglas S. Bridges: Constructive Notions of Strict Convexity. Math. Log. Q. 39: 295-300 (1993)

Coauthor Index

1	Marian Alexandru Baroni	[j45] [j41]
2	Josef Berger	[j58] [j51] [j47] [c8] [j46] [j36] [j33]
3	Cristian S. Calude (Cristian Calude)	[j7] [j3]
4	Luminita Dediu	[j25] [j13] [j12] [c1] [j8]
5	Hannes Diener	[j49] [j37] [j32]
6	Michael J. Dinneen	[j7]
7	Robin Havea	[c9] [j43] [j35] [c6] [j17]
8	Matthew Hendtlass	[j52] [j50]
9	Hajime Ishihara	[j39] [j31] [c3] [c2] [j9] [j5] [j4]
10	Bakhadyr Khoussainov	[j7]
11	Iris Loeb	[j54]
12	Ayan Mahalanobis	[j19] [j18] [j15]
13	Ray Mines	[j10]
14	Erik Palmgren	[j58]
15	Fred Richman	[j14]
16	Peter Schuster (Peter M. Schuster)	[j39] [j35] [j33] [j31] [c6] [c3] [j21] [c2] [j14]
17	Luminita Vîta (Luminita Simona Vîta)	[j63] [c10] [j44] [j39] [j34] [j31] [j30] [c5] [c4] [c3] [j28] [j24] [j23] [j21] [j16]
18	Nicholas Dudley Ward	[j20]
19	Wang Yuchuan	[j6]

Last update Fri May 24 00:23:23 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page