Douglas S. Bridges - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 99 from 99

2022

Morse set theory as a foundation for constructive mathematicsDouglas S. Bridges. TCS, 928:115-135, 2022. [doi]

2016

Apartness spaces and uniform neighbourhood structuresDouglas S. Bridges. APAL, 167(9):850-864, 2016. [doi]

Z-stability in Constructive AnalysisDouglas S. Bridges, James E. Dent, Maarten McKubre-Jordens. lmcs, 12(3), 2016. [doi]

A constructive examination of rectifiabilityDouglas S. Bridges, Matthew Hendtlass, Erik Palmgren. jla, 8, 2016. [doi]

2013

Uniformly convex Banach spaces are reflexive - constructivelyDouglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens. mlq, 59(4-5):352-356, 2013. [doi]

Two direct proofs that LLPO implies the detachable fan theoremDouglas S. Bridges, J. E. Dent, Maarten McKubre-Jordens. igpl, 21(5):830-835, 2013. [doi]

H)Douglas S. Bridges. APAL, 164(4):416-420, 2013. [doi]

A first constructive look at the comparison of projectionsDouglas S. Bridges, Luminita Simona Vîta. igpl, 21(1):14-27, 2013. [doi]

Solving the Dirichlet problem constructivelyDouglas S. Bridges, Maarten McKubre-Jordens. jla, 5, 2013. [doi]

2012

Double sequences, almost Cauchyness and BD-NJosef Berger, Douglas S. Bridges, Erik Palmgren. igpl, 20(1):349-354, 2012. [doi]

How to construct a product of a-framesDouglas S. Bridges. mlq, 58(4-5):281-293, 2012. [doi]

Compactness notions for an apartness spaceDouglas S. Bridges. AML, 51(5-6):517-534, 2012. [doi]

Reflections on function spacesDouglas S. Bridges. APAL, 163(2):101-110, 2012. [doi]

Almost new pre-apartness from oldDouglas S. Bridges. APAL, 163(8):1009-1015, 2012. [doi]

Constructing the Infimum of Two ProjectionsDouglas S. Bridges, Luminita Vîta. BIRTHDAY 2012: 46-58 [doi]

Square Roots and Powers in Constructive Banach Algebra TheoryDouglas S. Bridges, Robin Havea. CiE 2012: 68-77 [doi]

2011

Apartness and Uniformity - A Constructive DevelopmentDouglas S. Bridges, Luminita Simona Vîta. Theory and Applications of Computability, Springer, 2011. [doi]

The anti-Specker property, uniform sequential continuity, and a countable compactness propertyDouglas S. Bridges. igpl, 19(1):174-182, 2011. [doi]

Locating subsets of B(H) relative to seminorms inducing the strong-operator topologyDouglas S. Bridges. jla, 3, 2011. [doi]

Omniscience, sequential compactness, and the anti-Specker propertyDouglas S. Bridges. igpl, 19(1):53-61, 2011. [doi]

2010

A Constructive Study of Landau s Summability TheoremJosef Berger, Douglas S. Bridges. jucs, 16(18):2523-2534, 2010. [doi]

Continuous isomorphisms from R onto a complete abelian groupDouglas S. Bridges, Matthew Hendtlass. JSYML, 75(3):930-944, 2010. [doi]

Glueing continuous functions constructivelyDouglas S. Bridges, Iris Loeb. AML, 49(5):603-616, 2010. [doi]

Continuous homomorphisms of R onto a compact groupDouglas S. Bridges, Matthew Hendtlass. mlq, 56(2):191-197, 2010. [doi]

The anti-Specker property, positivity, and total boundednessDouglas S. Bridges, Hannes Diener. mlq, 56(4):434-441, 2010. [doi]

Continuity and Lipschitz constants for projectionsDouglas S. Bridges. jlp, 79(1):2-9, 2010. [doi]

2009

Rearranging Series ConstructivelyJosef Berger, Douglas S. Bridges. jucs, 15(17):3160-3168, 2009. [doi]

A Constructive Study of Landau s Summability TheoremJosef Berger, Douglas S. Bridges. cca 2009: [doi]

Constructive notions of equicontinuityDouglas S. Bridges. AML, 48(5):437-448, 2009. [doi]

2008

Continuity properties of preference relationsMarian Alexandru Baroni, Douglas S. Bridges. mlq, 54(5):454-459, 2008. [doi]

The anti-Specker property, a Heine-Borel property, and uniform continuityJosef Berger, Douglas S. Bridges. AML, 46(7-8):583-592, 2008. [doi]

Apartness, compactness and nearnessDouglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta. TCS, 405(1-2):3-10, 2008. [doi]

Constructive Notions of Maximality for IdealsDouglas S. Bridges, Robin Havea. jucs, 14(22):3648-3657, 2008. [doi]

Uniform Continuity Properties of Preference RelationsDouglas S. Bridges. ndjfl, 49(1):97-106, 2008. [doi]

Product a-frames and proximityDouglas S. Bridges. mlq, 54(1):12-26, 2008. [doi]

Proximal ConnectednessDouglas S. Bridges, Luminita Vîta. FUIN, 83(1-2):25-34, 2008. [doi]

2007

The pseudocompactness of [0, 1] is equivalent to the uniform continuity theoremDouglas S. Bridges, Hannes Diener. JSYML, 72(4):1379-1384, 2007. [doi]

Constructing local optima on a compact intervalDouglas S. Bridges. AML, 46(2):149-154, 2007. [doi]

Colocatedness and Lebesgue IntegrabilityDouglas S. Bridges. cie 2007: 98-104 [doi]

2006

The fan theorem and unique existence of maximaJosef Berger, Douglas S. Bridges, Peter Schuster. JSYML, 71(2):713-720, 2006. [doi]

A Bizarre Property Equivalent to the Pi::1:::::0:::-Fan TheoremJosef Berger, Douglas S. Bridges. igpl, 14(6):867-871, 2006. [doi]

A constructive treatment of Urysohn s Lemma in an apartness spaceDouglas S. Bridges, Hannes Diener. mlq, 52(5):464-469, 2006. [doi]

Ideals in constructive Banach algebra theoryDouglas S. Bridges, Robin Havea, Peter Schuster. jc, 22(6):729-737, 2006. [doi]

Pre-apartness structures on spaces of functionsDouglas S. Bridges, Luminita Simona Vîta. jc, 22(6):881-893, 2006. [doi]

2005

IntroductionErrett Bishop, Douglas S. Bridges. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

The constructive uniqueness of the locally convex topology on rnDouglas S. Bridges, Luminita Vîta. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

Approximations to the numerical range of an element of a Banach algebraDouglas S. Bridges, Robin Havea. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

A General Constructive Proof TechniqueDouglas S. Bridges, Luminita Vîta. ENTCS, 120:31-43, 2005. [doi]

A Weak Constructive Sequential Compactness Property and the Fan TheoremDouglas S. Bridges. igpl, 13(2):151-158, 2005. [doi]

Strong continuity implies uniform sequential continuityDouglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta. AML, 44(7):887-895, 2005. [doi]

Proximal ConnectednessDouglas S. Bridges, Luminita Vîta. cca 2005: 91-101

Ideals in Constructive Banach Algebra TheoryDouglas S. Bridges, Robin Havea, Peter Schuster. cca 2005: 65-75

Compactness in apartness spaces?Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta. Dagstuhl 2005: [doi]

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

2004

First steps in constructive game theoryDouglas S. Bridges. mlq, 50(4-5):501-506, 2004. [doi]

Corrigendum to A proof - technique in uniform space theory Douglas S. Bridges, Luminita Vîta. JSYML, 69(1):328, 2004. [doi]

Constructive complements of unions of two closed setsDouglas S. Bridges. mlq, 50(3):293-294, 2004. [doi]

2003

Strong and Uniform Continuity - the Uniform Space CaseDouglas S. Bridges, Luminita Vîta. lmsjcm, 6:326-334, 2003. [doi]

A proof-technique in uniform space theoryDouglas S. Bridges, Luminita Vîta. JSYML, 68(3):795-802, 2003.

Apartness spaces as a framework for constructive topologyDouglas S. Bridges, Luminita Dediu. APAL, 119(1-3):61-83, 2003.

A constructive theory of point-set nearnessLuminita Vîta, Douglas S. Bridges. TCS, 305(1-3):473-489, 2003. [doi]

2002

Apartness, Topology, and Uniformity: a Constructive ViewDouglas S. Bridges, Peter Schuster, Luminita Vîta. mlq, 48(S1):16-28, 2002. [doi]

Reality and Virtual Reality in MathematicsDouglas S. Bridges. eatcs, 78:221-230, 2002.

Kernels of seminorms in constructive analysisDouglas S. Bridges, Nicholas Dudley Ward. TCS, 284(2):259-267, 2002. [doi]

Compactness and Continuity, Constructively RevisitedDouglas S. Bridges, Hajime Ishihara, Peter Schuster. csl 2002: 89-102 [doi]

2001

Apartness as a Relation Between SubsetsPeter Schuster 0001, Luminita Vîta, Douglas S. Bridges. dmtcs 2001: 203-214 [doi]

Bounded Variation Implies Regulated: A Constructive ProofDouglas S. Bridges, Ayan Mahalanobis. JSYML, 66(4):1695-1700, 2001.

Increasing, Nondecreasing, and Virtually Continuous FunctionsDouglas S. Bridges, Ayan Mahalanobis. jalc, 6(2):139-144, 2001.

A Constructive Version of the Spectral Mapping TheoremDouglas S. Bridges, Robin Havea. mlq, 47(3):299-304, 2001. [doi]

Characterising Near Continuity ConstructivelyDouglas S. Bridges, Luminita Vîta. mlq, 47(4):535-538, 2001. [doi]

Dini's Theorem: A Constructive Case StudyDouglas S. Bridges. dmtcs 2001: 69-80 [doi]

2000

Sequential Continuity of Functions in Constructive AnalysisDouglas S. Bridges, Ayan Mahalanobis. mlq, 46(1):139-143, 2000. [doi]

A Constructive Analysis of a Proof that the Numerical Range is ConvexDouglas S. Bridges, Robin Havea. lmsjcm, 3:191-206, 2000. [doi]

1999

Constructive Mathematics: A Foundation for Computable AnalysisDouglas S. Bridges. TCS, 219(1-2):95-109, 1999. [doi]

Linear Independence without ChoiceDouglas S. Bridges, Fred Richman, Peter Schuster. APAL, 101(1):95-10, 1999.

Weak Continuity Properties in Constructive AnalysisDouglas S. Bridges, Luminita Dediu. igpl, 7(3):277-281, 1999. [doi]

Weak-operator Continuity and the Existence Of AdjointsDouglas S. Bridges, Luminita Dediu. mlq, 45:203-206, 1999.

Can Constructive Mathematics be Applied in Physics?Douglas S. Bridges. jphil, 28(5):439-453, 1999. [doi]

Constructive Notes on Uniform and Locally Convex SpacesLuminita Dediu, Douglas S. Bridges. fct 1999: 195-203 [doi]

1998

Foundations of real and abstract analysisDouglas S. Bridges. Volume 174 of Graduate texts in mathematics, Springer, 1998.

Sequentially Continuous Linear Mappings in Constructive AnalysisDouglas S. Bridges, Ray Mines. JSYML, 63(2):579-583, 1998.

A Definitive Constructive Open Mapping Theorem?Douglas S. Bridges, Hajime Ishihara. mlq, 44:545-552, 1998.

1997

Constructive Aspects of the Dirichlet ProblemDouglas S. Bridges, Wang Yuchuan. jucs, 3(11):1148-1161, 1997. [doi]

Logic in Computer ScienceDouglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov. jucs, 3(11):1133, 1997. [doi]

Paradise lost, or paradise regained?Douglas S. Bridges, Luminita Dediu. eatcs, 63, 1997.

1995

Constructive mathematics and unbounded operators - A reply to HellmanDouglas S. Bridges. jphil, 24(5):549-561, 1995. [doi]

1994

Computability: a mathematical sketchbookDouglas S. Bridges. Volume 146 of Graduate texts in mathematics, Springer, 1994. [doi]

Absolute Continuity and the Uniqueness of the Constructive Functional CalculusDouglas S. Bridges, Hajime Ishihara. mlq, 40:519-527, 1994.

Complements of Intersections in Constructive MathematicsDouglas S. Bridges, Hajime Ishihara. mlq, 40:35-43, 1994.

On Recursive Bounds for the Exceptional Values in Speed-UpDouglas S. Bridges, Cristian Calude. TCS, 132(2):387-394, 1994.

1993

Sequential, Pointwise, and Uniform Continuity: A Constructive NoteDouglas S. Bridges. mlq, 39:55-61, 1993.

Constructive Notions of Strict ConvexityDouglas S. Bridges. mlq, 39:295-300, 1993.

1989

A Constructive Treatment of Open and Unopen Mapping TheoremsDouglas S. Bridges, William Julian, Ray Mines. mlq, 35(1):29-43, 1989. [doi]

A General Constructive Intermediate Value TheoremDouglas S. Bridges. mlq, 35(5):433-435, 1989. [doi]

1979

Geometric Intuition and Elementary Constructive AnalysisDouglas S. Bridges. mlq, 25(33):521-523, 1979. [doi]

A Criterion for Compactness in Metric Spaces?Douglas S. Bridges. mlq, 25(7-12):97-98, 1979. [doi]

On the Constructive Convergence of Series of Independent FunctionsDouglas S. Bridges. mlq, 25(3-6):93-96, 1979. [doi]

1978

H)Douglas S. Bridges. mlq, 24(31-36):493-494, 1978. [doi]

A Note on Morse's Lambda-Notation in Set TheoryDouglas S. Bridges. mlq, 24(8):113-114, 1978. [doi]

Sign in or sign up to see more results.

runs on WebDSL