Douglas S. Bridges
Douglas S. Bridges

Douglas S. Bridges: Publications


Recently published

1    D.S. Bridges, 'The Arrow-Hahn Construction in a Locally Compact Metric Space', in: Mathematical Topics on Representations of Ordered Structures and Utility Theory (G. Bosi et al., eds), Studies in Systems, Decision and Control 263,  281-299, Springer Nature Switzerland AG, 2020. 

The Arrow-Hahn existence theorem for representing a continuous, locally nonsatiated preference relation on a closed convex subset of a Euclidean space is generalised, without requiring local nonsatiation, to the context of certain locally compact metric spaces. In order to accomplish this, convexity is replaced by a new geometrical condition, the uniform ball-centre property. The paper is written within the framework of Bishop's constructive analysis.

D.S. Bridges, 'Constructive Continuity of Increasing Functions', in 'Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications' (O. Kosheleva et al. eds), 9-19, Studies in Computational Intelligence 835, 2020.

In this paper we explore, constructively and primarily for expository purposes, various aspects of the classical theorem that an increasing function on an interval is continuous at all but at most countably many points. Let f be an increasing real-valued function defined on a dense subset D of an interval I. In particular, we show that for each compact interval [a,b] which has end points in D and is contained in the interior of I, and for each ε > 0, there exists a finitely enumerable subset S of [a,b] such that f(x⁺) - f(x⁻) < ε whenever ∈ (a,b) and xy for each S. As a consequence, there exists a sequence s in I such that f is continuous at each point of D that is distinct from each term of s.


Books

9    R.A. Alps, D.S. BridgesMorse Set Theory as a Foundation for Constructive Mathematics, in preparation 2017.

8    D.S. Bridges, L.S. Vîţă: Apartness and Uniformity: A Constructive Development, in: CiE series "Theory and Applications of Computability", Springer Verlag, Heidelberg, 2011.

7    D.S. Bridges, L.S. Vîţă: Techniques of Constructive Analysis, Universitext, Springer New York, 2006.

6    D.S. Bridges, Foundations of Real and Abstract Analysis, Graduate Texts in Mathematics 174, Springer Verlag, Heidelberg-Berlin-New York, 1998.

5    D.S. Bridges, G.B. Mehta, Representations of Preference Orderings, Lecture Notes in Economics and Mathematical Systems 422, Springer Verlag, Heidelberg-Berlin-New York, 1996. 
4    D.S. BridgesComputability‒A Mathematical SketchbookGraduate Texts in Mathematics 146, Springer Verlag, Heidelberg-Berlin-New York, 1994.

3    D.S. Bridges, F. Richman, Varieties of Constructive MathematicsLondon Math. Soc. Lecture Notes 97, Cambridge Univ. Press, 1987.

2    E.A. Bishop, D.S. BridgesConstructive AnalysisGrundlehren der math. Wissenschaften 279Springer Verlag, Heidelberg-Berlin-New York, 1985.

1    D.S. BridgesConstructive Functional Analysis, Research Notes in Mathematics 28Pitman, London, 1979.


Refereed papers in journals

171  D.S. Bridges, 'Intuitionistic sequential compactness?', Indag. Math. 29(6), 1477-1496, 2018.    Corrigenda:  https://docs.zoho.com/file/0988d02d0f41dd6e94d87a759d749a16c261a 

170   D.S. Bridges, M. Hendtlass, E. Palmgren: 'A constructive examination of rectifiability', J. Logic & Analysis 8(4),1‒17, 2016.                           https://docs.zoho.com/file/2dvls589b2a145d054d3a900e8f8973a6ef6(4),1‒17, 2016.                           (4),1‒17, 2016.                          

169  D.S. Bridges, J.E. Dent, M. McKubre-Jordens: 'Z-stability in constructive analysis', Logical Methods in Comp. Sci. 12(3:10), 1‒13, 2016;         https://docs.zoho.com/file/2dvls3352c13a082d415c9f8627700120fa00

168  D.S. Bridges, 'Apartness spaces and uniform neighbourhood structures', Ann. Pure Applied Logic  167(9), 850–864, 2016.                                                                                                                           https://doi.org/10.1016/j.apal.2016.04.007

167  D.S. Bridges, 'Locating Ax  where A is a subset of B(H)', Logical Methods in Computer Science 10(2:9), 1‒10, 2014.                                       https://docs.zoho.com/file/2dvlsa1d6ff9b66dc455594308ac331104f75

166  D.S. Bridges, J.E. Dent, M. McKubre-Jordens, 'Constructive connections between anti-Specker, positivity, and fan-theoretic properties', New Zealand J. Math. 44, 21‒33, 204, 2014  https://docs.zoho.com/file/bryinb83ade6052644312999fb380c7591fac    

    

165  D.S. Bridges: 'Tightly bordered convex and co-convex sets', Scientiae. Math. Japon. e-2013.

http://www.jams.or.jp/scm/contents/e-2013-5/2013-47.pdf 

    

164  D.S. Bridges E. Palmgren, 'Constructive Mathematics' (revised, updated, extended version of [57]), in Stanford Encyclopedia of Philosophy (Edward N. Zalta, ed.) 2013; revised 2018.     http://plato.stanford.edu/archives/win2013/entries/mathematics-constructive/

    

163  D.S. Bridges, H. Ishihara, M. McKubre-Jordens, 'Uniformly convex Banach spaces are reflexive‒constructively', Math. Logic Quarterly 59(4‒5), 352‒356, 2013.  https://docs.zoho.com/file/a6sa0478220210df74073adc34fe5ca8cbbeb    


162  D.S. Bridges, J.E. Dent, M. McKubre-Jordens, 'Two direct proofs that LLPO implies the detachable fan theorem', Logic Journal of IGPL 21(5), 830-835, 2013.                https://docs.zoho.com/file/a6sa01afc5198a89142f9883fde337915d981    

161  D.S. Bridges, M. McKubre-Jordens: 'Solving the Dirichlet problem constructively', J. Logic Anal. 5(3), 1-22, 2013.                                           https://docs.zoho.com/file/2dvls1668afed53ec4a39bb65d33838933893

160  D.S. Bridges: 'Characterising dominated weak-operator continuous functionals', Ann. Pure Applied Logic 164, 416‒420, 2013.                                                                http://dx.doi.org/ 10.1016/j.apal.2012.10.005

159  D.S. Bridges, L.S. Vîţă: 'A first constructive look at the comparison of projections', Logic Journal of IGPL 21(1), 14‒272013.                                                                                https//doi: 10.1093/jigpal/jzs019    

158  D.S. Bridges: 'Precompact apartness spaces', Logical Methods in Comp. Sci. 8 (2:15), 1‒10, 2012.                                                                   https://docs.zoho.com/file/2dvls878ca43d6e1143f5bb8394bd427522f3

157  D.S. Bridges: 'How to construct a product of a-frames', Math. Logic Quarterly 58(4‒5), 281‒293, 2012;                                                                                                                      http://doi: 10.1002/malq.201110059

156  D.S. Bridges: 'Almost new pre-apartness from old', Ann. Pure Applied Logic 163(8), 1009‒1015, 2012.       https://docs.zoho.com/file/a6sa0c0b93e93bbfa4b90a2c1a4d198ac92c8 

155  D.S. Bridges'Compactness notions for an apartness space', Archive for Math. Logic 51, 517-534, 2012                                                 https://docs.zoho.com/file/bryinc78545c7136a4248b49e93941cad4c68 

154   J. Berger, D.S. Bridges, E. Palmgren: 'Double sequences, Cauchyness, and BD-N', Logic J. of IGPL, 2011                                                                                                  http://doi:10.1093/jigpal/jzr045    

153  D.S. Bridges: 'Characterising weak-operator continuous linear functionals on B(H) constructively', Documenta Math. 16, 597‒617, 2011.                                                                    https://docs.zoho.com/file/2dvls506655497df14bc99e41fb789baa0854

152  D.S. Bridges: 'Reflections on function spaces', Ann. Pure Applied Logic 163, 101‒110, 2012 (appeared in Nov. 2011).  https://docs.zoho.com/file/7yto46c4b28a1b5cd45e3b5539a26ba31c75f                                                                                                                                                               

151  D.S. Bridges: ‘Locating subsets of B(H) relative to seminorms inducing the strong-operator topology', J. Logic and Analysis 3:3, 1-11, 2011. https://docs.zoho.com/file/2j1ezce9b908773474f48bc0d4fac032e246b    

150   D.S. Bridges: 'The anti-Specker property, uniform sequential continuity, and a countable compactness property', Logic J. of the IGPL 19(1), 174-182, 2011.  https://docs.zoho.com/file/a6sa0957ea31465a14bd0b6e16d2372429f4c 

149  D.S. Bridges: 'Omniscience, sequential compactness, and the anti-Specker property', Logic J. of the IGPL 19(1), 53-61, 2011.  https://docs.zoho.com/file/49meof9451ce722f24d3cbcf26cd761a255f1    

148  J. Berger, D.S. Bridges: 'A constructive study of Landau's summability theorem', J. Universal Comp. Sci. 16(18), 2523‒2534, 2010.                 https://docs.zoho.com/file/2dvls4117122fd5ca4e209d9a17ccb432c734    

147  D.S. Bridges: 'Inheriting the anti-Specker property', Documenta Mathematica 15, 973‒980, 2010.                                                                 https://docs.zoho.com/file/2dvls7f9f37077a6b4c4eaaf5aedb4953d31

146  D.S. Bridges, M. Hendtlass: ‘Continuous isomorphisms from onto a complete abelian group', J. Symb. Logic 75(3), 930‒944, 2010. https://docs.zoho.com/file/7yto42faedee227b24e169a10bc86b1727788 

145  D.S. Bridges, H. Diener: `The anti-Specker property, positivity, and total boundedness', Math. Logic Quarterly 56(4), 434‒441, 2010.    https://docs.zoho.com/file/a6sa02f0c746774ac4a5dbc962cc944a74cc6    

144  D.S. Bridges, I. Loeb, `Glueing continuous functions constructively', Archive for Math. Logic 49(5), 603‒616, 2010.  https://docs.zoho.com/file/a6sa05079da0f0eed45dea03e5003401f8c56    

143  D.S. Bridges, M. Hendtlass: ‘Continuous homomorphisms from R onto a compact group', Math. Logic Quarterly 56(2), 191‒197, 2010.  https://docs.zoho.com/file/a6sa043ae263f64a74dcf9c5b854d3dc633eb 

142  J. Berger, D.S. Bridges, 'Rearranging series constructively', J. Univ. Comp. Sci. 15(17), 3160‒3168, 2009 (did not appear until March 2010).   https://docs.zoho.com/file/2dvlsec5433a3db2f42fa9188ad635cca6347

141  D.S. Bridges: 'Continuity and Lipschitz constants for projections', J. Logic and Alg. Programming 79, 2‒9, 2010.                                           https://docs.zoho.com/file/2dvls2c0371a757a54814a166adb45ae8f880    

140  D.S. Bridges, R.S. Havea: 'Constructing square roots in a Banach algebra', Scientiae. Math. Japon. 70(3), 355‒366, 2009.  https://docs.zoho.com/file/a6sa06b5e13e5779548a4b14bfd1cc27d9703    

139  D.S. Bridges, L.S. Vîţă: 'A constructive theory of apartness on lattices', Scientiae Math. Japon. 69(2), 187‒206, 2009.  https://docs.zoho.com/file/a6sa0be4af75219924f9dbba07e32e5cd9bdf 

138  D.S. Bridges: 'Constructive notions of equicontinuity', Arch. Math. Logic 48, 437‒448, 2009.                             https://docs.zoho.com/file/a6sa09d0f7741de6e4455b9e8c77d62f9380e                                                                                                                                                            Corrigenda:  https://docs.zoho.com/file/awioufbb50acd241e42e8b6190945bbddb274 

137  J. Berger, D.S. Bridges: 'The fan theorem and positive-valued uniformly continuous functions on compact intervals', New Zealand J. Math. 38, 129‒135, 2008.                                  https://docs.zoho.com/file/2dvlsa9c9d3e3689248ea93ea2a8f6c9ff44f    


136  D.S. Bridges, R.S. Havea; 'Constructive notions of maximality for ideals', J.Univ. Comp. Sci. 14(22), 3648‒3657, 2008.                               https://docs.zoho.com/file/2dvls00935462a2d74d45b937f182c0bd01c1

    

135  M.A. Baroni, D.S. Bridges: 'Continuity properties of preference relations', Math. Logic Quarterly 54(5), 454‒459, 2008.  https://docs.zoho.com/file/a6sa04da54235ad0a4f4a84a1054f6578477f 

134  D.S. Bridges, H. Ishihara, P.M. Schuster, L.S. Vîţă: 'Apartness, compactness and nearness', Theoretical Comp. Sci. 405, 3‒10, 2008.               https://docs.zoho.com/file/2dvlsf303272b85c74760b93eb8f0f0eaed35    

133  J. Berger, D.S. Bridges: 'The anti-Specker property, a Heine-Borel property, and uniform continuity', Archive for  Math. Logic 46(7‒8), 583‒592, 2008.    https://docs.zoho.com/file/a6sa026fbfbb455d8409ba5137c42cc139499

132  D.S. Bridges, L.S. Vîţă: 'Proximal connectedness', Fund. Informaticae 83(1-2), 25‒34, 2008.                                    https://docs.zoho.com/file/a6sa0ed1d8720b2dd4ceea4bdd8ca8c2dfc47 

131  D.S. Bridges: 'Product a-frames and proximity', Math. Logic Quarterly 54(1), 12‒25, 2008.                                                                    https://docs.zoho.com/file/btau083e7d65329034d06a80557922266b042    

130  D.S. Bridges: 'Uniform continuity properties of preference relations', Notre Dame Journal of Formal Logic 49(1), 97‒106, 2008.                   https://docs.zoho.com/file/2dvls4a52000cc5fc4c08bd9367172ee88118    

129  D.S. Bridges, H. Diener: ‘The pseudocompactness of [0,1] is equivalent to the uniform continuity theorem', J. Symb. Logic 72(4), 1379‒1383, 2007.    https://docs.zoho.com/file/7yto460e1e75c85674a22b792f828f3fa7fcb    

128  D.S. Bridges, R.S. Havea: 'Powers of a Hermitian element in a Banach algebra', New Zealand J. Math. 36, 1‒10,    2007.                                     https://docs.zoho.com/file/2dvls73831cbebf8c43458d2f051333b0f08a    

127  J. Berger, D.S. Bridges: 'A fan-theoretic equivalent of the antithesis of Specker's theorem', Proc. Koninklijke Nederlandse Akad. Weten. (Indag. Math., N.S.), 18(2), 195‒202, 2007.   https://docs.zoho.com/file/2dvls5a8eb5a44af844b999fb3aeeb9f4f782    

126  D.S. Bridges, H. Ishihara, R. Mines, F. Richman, L.S. Vîţă: 'Almost locatedness in uniform spaces', Czechoslovak Math. J. 57(1), 1‒12, 2007.                                                                  https://docs.zoho.com/file/2dvlse2bfeafbcdf84d29bd5e63a189235201                                                                                                                                                                                 

125  D.S. Bridges: 'Constructing local optima on a compact interval', Arch. Math. Logic 46, 149‒154, 2007.            https://docs.zoho.com/file/a6sa0efee5adb7f1440e09bd95ed20378cf88    

124  D.S. Bridges, L.S. Vîţă: 'Pre-apartness structures on spaces of functions', J. Complexity 22, 881‒893, 2006.                                                     https://docs.zoho.com/file/2dvls76d01ff7ea9344799d718ad6e70f1cdb    

123  D.S. Bridges, R.S. Havea, P.M. Schuster: 'Ideals in constructive Banach algebra theory', J. Complexity 22, 729‒737, 2006.                               https://docs.zoho.com/file/2dvlsb669663bef73416380f89431b650ee48    

122  J. Berger, D.S. Bridges: 'A bizarre property equivalent to the 14(6), 867‒871, 2006                                                https://docs.zoho.com/file/a6sa01b16d52adb3b446188a23083fd3cf1ca    

121  D.S. Bridges, P.S. Schuster: `A simple constructive proof of Kronecker's density theorem', Elemente der Mathematik 61, 152‒154, 2006.  https://docs.zoho.com/file/a6sa0e390205903354d3e8fa44d1d0adcd106    

120  D.S. Bridges, H. Diener: 'A constructive treatment of Urysohn's lemma in an apartness space', Math. Logic Quarterly 52(5), 464‒469, 2006.    http:///file/a6sa00e67d118b49c4524b230034dcf7007ef 

119  D.S. Bridges, R.S. Havea, P.M. Schuster: 'Finitely generated Banach algebras and local Nullstellensätze', Publ. Math. Debrecen 69(1‒2), 171‒184, 2006.                                            https://docs.zoho.com/file/2j1ezeecc46e5bb4548dea34f0cf83959eb5f    

118  D.S. Bridges, H. Ishihara, L.S. Vîţă: 'A new constructive version of Baire's Theorem', Hokkaido Math. Journal 35(1), 107‒118, 2006.             https://docs.zoho.com/file/2dvlsa8f6670e1d4f4ad580294df862fe4de9    

117  J. Berger, D.S. Bridges, P.M. Schuster: 'The fan theorem and unique existence of maxima', J. Symbolic Logic 71(2), 713-720, 2006.              https://docs.zoho.com/file/imok65d0cd1d8463145d9863e09b7f4cb97e6                    

116  D.S. Bridges, H. Ishihara, P.M. Schuster, L.S. Vîţă: 'Strong continuity implies uniform sequential continuity', Archive for Math. Logic 44(7), 887‒895, 2005.    https://docs.zoho.com/file/a6sa005235502b8c14173a77ef305a93d5f3b    

115  D.S. Bridges, H. Ishihara, P.M. Schuster, L.S. Vîţă: 'Products in the category of apartness spaces', Cahiers de Topologie et Géometrie Différentielle 46, 139‒153, 2005.                     https://docs.zoho.com/file/2dvls994d223651cf42e48f4aa67944a17af6

114  D.S. Bridges: 'A weak constructive sequential compactness property and the fan theorem', Logic J. of the IGPL 13(2),151‒158, 2005.  https://docs.zoho.com/file/a6sa0f63a73ee787640a08779552020b41977    

113  D.S. Bridges, L.S. Vîţă: 'A general constructive proof technique', Elec. Notes in Theoretical Comp. Sci. 120, 31‒43, 2005.                                                             https://docs.zoho.com/file/2dvls014ae330fd99452d814dca48098

112  D.S. Bridges, 'First steps in constructive game theory', Math. Logic Quarterly 50(4/5), 501‒506, 2004.            https://docs.zoho.com/file/a6sa0efc5942e323d462495dadc9c9bb9a638 

111  D.S. Bridges, H. Ishihara, L.S. Vîţă: 'Computing infima on convex sets, with applications in Hilbert space', Proc. Amer. Math. Soc. 132(9), 2723‒2732, 2004.                                        https://docs.zoho.com/file/2dvlsf57c11d4b5304e8a936dbd616445ecd7    

110  D.S. Bridges, R. Mines, P.M. Schuster, F. Richman: 'The polydisk Nullstellensatz', Proc. Amer. Math. Soc. 132(7), 2133‒2140, 2004.               https://docs.zoho.com/file/2dvls4c912ccb5a4141c7bbf8ecfe8b353162    

109  D.S. Bridges 'Constructive complements of unions of two closed sets', Math. Logic Quarterly 50(3), 293‒294, 2004.  https://docs.zoho.com/file/a6sa0dee6234efd0b4323a7e070ba59da3b42    

108  D.S. Bridges 'Constructivity in mathematics', Cubo (Math. Journal of Universidad de la Frontera, Chile) 6(1), 209‒258, 2004.

107  D.S. Bridges, L.S. Vîţă: 'More on Cauchy nets in apartness spaces', Sci. Math. Japonicae 9, 375‒380, 2004.    https://docs.zoho.com/file/a6sa00eea3eb5ea6b49bdbc0f024100584cc0    

106  D.S. Bridges, G. Popa: 'Exact, continuous boundary crossings out of convex sets in R^n', Quart. J. Math. 54, 391‒398, 2003. https://docs.zoho.com/file/a6sa0a73eee562d374046b6cbcbe8e9b6967f

105  D.S. Bridges, L.S. Vîţă: 'Separatedness in constructive topology', Documenta Mathematica 8, 567‒576, 2003.                                                 https://docs.zoho.com/file/2dvlsa9dc30e7589d4eeeba781a755534e162                                                  

104  D.S. Bridges, D. van Dalen, H. Ishihara: 'Ishihara's proof technique in constructive analysis', Proc. Koninklijke Nederlandse Akad. Wetenschappen (Indag. Math.) N.S., 14(2), 163‒168, 2003.                                                                                                                                                                          https://docs.zoho.com/file/2dvls9575606bf6ea4bd8a44f63334ff4e47a    

103  D.S. Bridges, L.S. Vîţă: 'Strong and uniform continuity‒the uniform space case', London Math. Soc. J. Computing & Math. 6, 326‒334, 2003.

102  D.S. Bridges, L.S. Vîţă: 'Cauchy nets in uniform apartness spaces', Revue Romaine Math. PureAppl. 48(5‒6), 467‒474, 2003.

101  D.S. Bridges, L.S. Vîţă: 'A proof-technique in uniform space theory', J. Symb. Logic 68(3), 795‒802, 2003.                                                                                                                      https://docs.zoho.com/file/a6sa040b848f5f9574010b802139f09c011c6                                                                                                                                                      Corrigendum in:  JSL 69(1), 328, 2004.   https://docs.zoho.com/file/a6sa013c006edb6fc4154ae8b1138b47fe7c4                                        

100  D.S. Bridges, L.S. Vîţă: 'A constructive theory of point-set nearness', Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization (Proc. Dagstuhl Seminar 00231, 4-9 June 2000; R. Kopperman, M. Smyth, D. Spreen, eds.), Theoretical Computer Science 305(1‒3), 473‒489, 2003.                                                                                       https://docs.zoho.com/file/2dvlsb2655dcc10d943619f7f025424b15a95    

99    D.S. Bridges, P.M. Schuster, L.S. Vîţă: 'Strong versus uniform continuity: a constructive round', Quaest. Math. 26, 171‒190, 2003.                   https://docs.zoho.com/file/2dvls46e38aadc7ac43e6b0d64eb46b1c346c    

98    D.S. Bridges, H. Ishihara, B. Spitters: 'Locating the range of an operator with an adjoint', Proc. Koninklijke Nederlandse Akad. Wetenschapen (Indag. Math.) N.S.  11(3), 1-8, 2003.  https://docs.zoho.com/file/2dvlsb2655dcc10d943619f7f025424b15a95

97    D.S. Bridges, L.S. Vîţă: 'Apartness spaces as a framework for constructive topology', Ann. Pure Appl. Logic. 119(1‒3), 61‒83, 2003.  https://docs.zoho.com/file/a6sa07f66c549d83948d08cba2092c9763323    

96    D.S. Bridges, P.M. Schuster, L.S. Vîţă: 'Apartness, topology, and uniformity: a constructive view', Computability and Complexity in Analysis (Proc. Dagstuhl Seminar 01461, 11‒16 November 2001), Math. Log. Quart. 48, Suppl. 1, 16‒28, 2002.

95    F. Richman, D.S. Bridges, P.M. Schuster: `Trace-class operators', Houston J. Math. 28, 565‒583, 2002.

94    D.S. Bridges, N.F. Dudley Ward: 'Kernels of seminorms in constructive analysis', Theoretical Comp. Sci. 284, 259‒267, 2002.                         https://docs.zoho.com/file/2dvls5c64848a3b944567a11f3752199593b3    

93    D.S. Bridges, L.S. Vîţă: 'Cauchy nets in the constructive theory of apartness spaces', Scientiae Mathematicae Japonicae 56, 123‒132, 2002.

92    D.S. Bridges, A. Mahalanobis: 'Bounded variation implies regulated: a constructive proof', J. Symb. Logic 66(4), 1695‒1700, 2001.

91    D.S. Bridges, L.S. Vîţă: 'Characterising near continuity constructively', Math. Logic Quart. 47(4), 535‒538, 2001.

90    D.S. Bridges, A. Mahalanobis: 'Increasing, nondecreasing, and virtually continuous functions', J Automata, Languages and Combinatorics 6(2), 139‒143, 2001.

89    D.S. Bridges: 'Prime and maximal ideals in constructive ring theory', Comm. Algebra. 29(7), 2787‒2803, 2001.

88    D.S. Bridges, R.S. Havea: 'A constructive version of the spectral mapping theorem', Math. Logic Quarterly 47(3), 299-304, 2001.    https://docs.zoho.com/file/2dvls0b188a8f05f946539c89147e5f496f1f    

87    D.S. Bridges, H. Ishihara: 'Constructive closed range and open mapping theorems', Proc. Koninklijke Nederlandse Akad. Wetenschappen (Indag. Math.) 11(4), 509‒516, 2000.         https://docs.zoho.com/file/2dvls07f7079a76f244febc9d0702027575a2

86    D.S. Bridges, L.S. Vîţă: 'Constructing extensions of ultraweakly continuous linear functionals', J. Functional Analysis 178 (2), 421‒434, 2000.                                        Corrigendum: JFA 244, 691‒692, 2007. 

85    D.S. Bridges, K. Svozil: 'Constructive mathematics and quantum physics', Int. J. Theor. Physics 39, 501-513, 2000

84    D.S. Bridges, P.M. Schuster, F. Richman: 'Adjoints, absolute values, and polar decompositions', J. Operator Theory 44, 243‒254, 2000.  https://docs.zoho.com/file/bryin121182b9f57d4594847172181e07c3cc    

83    D.S. Bridges, P.M. Schuster, F. Richman: 'A weak countable choice principle', Proc. Amer. Math. Soc. 128(9), 2749‒2752, 2000.                   https://docs.zoho.com/file/2dvls34481a946bd6404383474cb0e0a16023    

82    D.S. Bridges 'Constructive methods in Banach algebra theory', Math. Japonica 52(1), 145‒161, 2000.

81  D.S. BridgesR.S. Havea: 'A constructive analysis of a proof of that the numerical range is convex', London Math. Soc. Journal of Math. and Computation 3, 191‒206, 2000.              https://docs.zoho.com/file/2dvls98abab701594460c818ed6e257641ab7

80  D.S. Bridges:    'A constructive look at functions of bounded variation', Bull. London Math. Soc. 32(3), 316‒324, 2000.                                     https://docs.zoho.com/file/2dvlsb09696b9f24c44fc9cc2e734519dc41b

79    D.S. Bridges:    'Converses of Bishop's lemma on located sets', Proc. Koninklijke Nederlandse Akad. Wetenschappen (Indag. Math.). 11(1), 31‒38, 2000.                                               https://docs.zoho.com/file/2dvls9879140fb41843dbb567a37d0f1626a8

78    D.S. Bridges, L.S. Dediu (Vîţă): 'The weak-operator sequential continuity of left multiplication', Proc. Koninklijke Nederlandse Akad. Wetenschappen (Indag. Math.) 11(1), 39‒42, 2000.                                                                                                                                                                          https://docs.zoho.com/file/2dvlsaf044fb1d4d4457b95e25877a6341932

77  D.S. BridgesA. Mahalanobis: 'Sequential continuity of functions in constructive analysis', Math. Logic Quart. 46(1), 139-143, 2000.  https://docs.zoho.com/file/a6sa06b4378918acd48329e895e836cd71b1f

76  D.S. BridgesP.M. Schuster, F. Richman: 'Linear independence without choice', Annals of Pure and Applied Logic 101(1), 95‒102, 2000.  https://docs.zoho.com/file/a6sa06f0f907e21274cce91eff8934b844427 

75   D.S. Bridges, H. Ishihara, P.M. Schuster: 'Sequential Compactness in Constructive Analysis', Österr. Akad. Wiss. Math.-Natur. Kl. Sitzungsber. II. 208, 159‒163, 1999., 159‒163, 1999., 159‒163, 1999., 159‒163, 1999.

74   D.S. Bridges: 'Can constructive mathematics be applied in physics?', J. Phil. Logic 28(5), 439-453, 1999.                                                         https://docs.zoho.com/file/2dvls99561100bc0f4ea6b46485c2e42a71e9                                                        

73    D.S. Bridges, L.S. Dediu (Vîţă): 'Constructive notes on uniform and locally convex spaces', in Proceedings of 12th International Symposium, FCT'99 Iasi, Romania, Springer Lecture Notes in Computer Science 1684, 195‒203, 1999.

72    D.S. Bridges, L.S. Dediu (Vîţă): 'Weak continuity properties in constructive analysis', Logic Journal of the IGPL 7(3), 277‒281, 1999.

71    D.S. Bridges: 'Constructive methods in mathematical economics', in Mathematical Utility Theory, J. Econ. (Zeitschrift für Nationalökonomie), Suppl. 8, 1‒21, 1999.

70    D.S. Bridges 'Constructive mathematics: a foundation for computable analysis', Theoretical Computer Science 219 (1‒2), 95-109, 1999.       https://docs.zoho.com/file/2dvls13b00198b9e44072983ce442e23a6d27    

69    D.S. Bridges, L.S. Dediu (Vîţă): 'Weak-operator continuity and the existence of adjoints', Math. Logic Quarterly 45(2), 203‒206, 1999.

68    F. Richman, D.S. Bridges: 'A constructive proof of Gleason's theorem', Journal of Functional Analysis 162, 287-312, 1999.                              https://docs.zoho.com/file/2dvls1fd47fa4b7e940ba863b17be7287c230    

67    D.S. Bridges, C.S. Calude, B. Pavlov, D. Ştefănescu: 'The constructive implicit function theorem and applications in physics', Chaos, Solitons & Fractals 10(6), 927‒934, 1999.

66   D.S. Bridges, S. Reeves: 'Constructive mathematics, in theory and programming practice', Phil. Math. 7(1), 65‒104, 1999.(1), 65‒104, 1999.(1), 65‒104, 1999.(1), 65‒104, 1999.

65    D.S. Bridges, Wang Yuchuan: 'Constructive weak solutions of the Dirichlet Problem', J. London Math. Soc. 57(3), 655‒667, 1998.                  https://docs.zoho.com/file/2dvls283f4d81db1445a28b1f9e2d5ed95391

64    D.S. Bridges, H. Ishihara: 'A definitive constructive open mapping theorem?', Math. Logic Quarterly 44, 545‒552, 1998.

63    D.S. Bridges, N.F. Dudley Ward: 'Constructing ultraweakly continuous linear functionals on B(H)', Proc. American Math. Soc. 126(11), 3347‒3353, 1998.                                           https://docs.zoho.com/file/2dvls4e3221d719024c7eb819d17c4f86378f

62    D.S. Bridges, Wang Yuchuan: 'Constructing best approximations on a Jordan curve', J. Approx. Theory 94(2), 222‒234, 1998.                        https://docs.zoho.com/file/2dvlsf982e71d17ea467692e1b59d0c89f595

61    D.S. Bridges, R. Mines: 'Sequentially continuous linear mappings in constructive analysis', J. Symbolic Logic 63(2), 579‒583, 1998.

60    D.S. Bridges, Wang Yuchuan: ‘Weak solutions of the Dirichlet Problem and the Locatedness of H_0^1(omega)', New Zealand J. Math.28(1), 1‒5, 1998.  

59    D.S. Bridges, Wang Yuchuan: 'Constructive aspects of the Dirichlet problem', J. Universal Comp. Sci. 3(11), 1148‒1161, 1997.                        https://docs.zoho.com/file/2dvls51f5064cc1f946acb17eeda587c58741

58    D.S. Bridges, L.S. Dediu: 'Paradise lost, or Paradise regained?', EATCS Bulletin 63, 141‒152, October 1997.

57    D.S. Bridges: 'Constructive Mathematics', in Stanford Encyclopedia of Philosophy (ISSN 1095‒5054; http://plato.stanford.edu), 1997.

56    D.S. Bridges, Wang Yuchuan: 'Constructing cutoff functions', New Zealand J. Math. 26, 25‒30, 1997.

55    D.S. Bridges, F. Richman, Wang Yuchuan: 'Sets, complements and boundaries', Proc. Koninklijke Neder-landse Akad. Wetenschappen (Indag. Math.) 7(4), 425‒445, 1996.               https://docs.zoho.com/file/2dvls33be364d76a049ed98c672e2fde1caf7

54    D.S. Bridges, H. Ishihara: 'Spectra of selfadjoint operators in constructive analysis', Proc. Koninklijke Nederlandse Akad. Wetenschappen (Indag. Math.) 7(1), 11‒36, 1996.               https://docs.zoho.com/file/2dvls8af2be816356455487e7c607aecbae7a

53    D.S. Bridges: 'Constructive mathematics and unbounded operators‒-a reply to Hellman', J. Philosophical Logic 24, 549‒561, 1995.             https://docs.zoho.com/file/2dvls4ab207d70afb4f41a31704c5ee9ef738

52    D.S. Bridges, H. Ishihara: 'Absolute continuity and the uniqueness of the constructive functional calculus', Math. Logic Quarterly 40, 519‒527, 1994.

51    D.S. Bridges: 'A constructive look at the real number line', in Synthèse: Real Numbers, Generalizations of the Reals and Theories of Continua (P. Ehrlich, ed.), pp. 29‒92, Kluwer Academic Publishers, Amsterdam, 1994.                                                                                                                              https://docs.zoho.com/file/2dvlsd8038155814e4b219d1cd81b52543f25                                                                                                                           

50    D.S. Bridges, C.S. Calude: 'On recursive bounds for the exceptional values in speed-up', Theoretical Computer Science 132, 387‒394, 1994.

49    D.S. Bridges: 'The constructive theory of preference orderings on a locally compact space II', Math. Social Sciences 27, 1‒9, 1994.             https://docs.zoho.com/file/2dvls6784ee1d2b9a41b091832c2c5aa611a8

48    D.S. Bridges, H. Ishihara: 'Complements of intersections in constructive mathematics', Math. Logic Quarterly 40, 35‒43, 1994.

47    D.S. Bridges: 'Constructive notions of strict convexity', Math. Logic Quarterly 39, 295‒300, 1993.                                                                   https://docs.zoho.com/file/2dvls9cf4785c75234200b0bee14ac372ddc1

46    D.S. Bridges: 'Sequential, pointwise, and uniform continuity: a constructive note', Math. Logic Quarterly 39, 55‒61, 1993.

45    D.S. Bridges, H. Ishihara: 'Locating the range of an operator on a Hilbert space', Bull. London Math. Soc. 24, 599‒605, 1992.

44    D.S. Bridges: 'The construction of a continuous demand function for uniformly rotund preferences', J. Math. Economics 21, 217‒227, 1992.     https://docs.zoho.com/file/2dvlsf9568868b207439082b8bc79728aeedf    

43    D.S. Bridges, W.H. Julian, R. Mines, F. Richman: ‘Extensions and fixed points of contractive mappings in R^n', J. Math. Analysis and Applications 165(2), 438‒456, 1992.                 https://docs.zoho.com/file/2j1ez8ab0bce3c608459aaf76a228d81d6f84

42    D.S. Bridges, F. Richman: 'A recursive counterexample to Debreu's theorem on the existence of a utility function', Math. Soc. Sciences 21, 179‒182, 1991.                                       https://docs.zoho.com/file/2dvlse901dc06e4c34b5d827f7e159be79b1f

41    D.S. Bridges: 'The constructive inequivalence of various notions of preference ordering', Math. Soc. Sciences 21, 169‒176, 1991.                 https://docs.zoho.com/file/2dvls32ab29f9b5f140afb5f86c6546bab6d1

40    D.S. Bridges, O. Demuth: 'On the Lebesgue measurability of continuous functions in constructive analysis', Bull. Amer. Math. Soc. 24(2), 259‒276, 1991.                                           https://docs.zoho.com/file/2dvls4bec84613b5149848f97b7fe05b64a08

39    D.S. Bridges: 'Preference, indifference, and Markov's principle', Math. Social Sciences 20, 131‒146, 1990.                                                      https://docs.zoho.com/file/2dvls83ef92ef1fed48b98f934b79252ed7cf                                                      Corrigendum: https://docs.zoho.com/file/45mxz877a2538d93b4a60999e0fafbfe21d37                                                                                                                                                        

38    D.S. Bridges, H. Ishihara: 'Linear mappings are fairly well-behaved', Arch. Math. 54, 558‒562, 1990.                                                               https://docs.zoho.com/file/2dvls343f8c5e389c481baf2595caf5c776e2

37    D.S. Bridges: 'A general constructive intermediate value theorem', Zeit. math. Logik Grundlagen Math. 35(5), 433‒435, 1989.                 https://docs.zoho.com/file/2j1ez48c798e03bfc4a768278a44a91080751

36    D.S. Bridges: 'The constructive theory of preference orderings on a locally compact space', Proc. Konink-lijke Nederlandse Akad. Wetenschappen (Indag. Math.) 92 (2), 141‒165, 1989.                                                                                                                                                                                  https://docs.zoho.com/file/2j1ezfeba04bcee534380a9c94e70e78c4da9    

35    D.S. Bridges: 'Approximate interpolation by functions in a Haar space', J. Approx. Theory 57(1), 35‒39, 1989.                                                 https://docs.zoho.com/file/2j1eze8899dfba5cd43478848edc2d551ed8b

34    D.S. Bridges, W.H. Julian, R. Mines: 'A constructive treatment of open and unopen mapping theorems', Zeit. math. Logik Grundlagen Math. 35, 29‒43, 1989.                                            https://docs.zoho.com/file/51d4f06225aec4fcd486bb50b3120d428a5cc

33  D.S. Bridges: 'Locatedness, convexity, and Lebesgue measurability', Quart. J. Math. Oxford (2) 39(4), 411‒421, 1988.                                     https://docs.zoho.com/file/2j1ezf054722fb56b475898720b9ae8491915

32    D.S.Bridges: 'The Euclidean distance construction of order homomorphisms', Math. Social Sciences 15(2), 179‒188, 1988.                           https://docs.zoho.com/file/2j1ezb83d6a1a4f5242a38b5b29fc35c111ae

31    D.S. Bridges: 'Numerical representation of interval orders on a topological space', J. Economic Theory 38(1), 160‒166, 1986.

30    D.S. Bridges: 'Representing interval orders by a single real-valued function', J. Economic Theory 36(1), 149‒155, 1985.

29    D.S. Bridges: 'Operator ranges, integrable sets, and the functional calculus', Houston J. Math. 11(1), 31‒44, 1985.

28    D.S. Bridges, R. Mines: 'What is constructive mathematics?', Math. Intelligencer 6(4), 32‒38, 1985.

27    D.S. Bridges, J. BergenOn the derivation of x^in a ring', Proc. Amer. Math. Soc. 90(1), 25‒29, 1984.                                                           https://docs.zoho.com/file/2j1ez16289f57ee6b42da8edfc03042c87dcb

26    D.S. Bridges: 'Numerical representation of intransitive preferences on a countable set', J. Economic Theory 30, 213‒217, 1983.

25    D.S. Bridges: 'A numerical representation of preferences with intransitive indifference', J. Math. Economics 11, 25‒42, 1983.                 https://docs.zoho.com/file/2j1ezcdb48a2c6a664f67ac2c534c908aa733

24    D.S. Bridges: 'Lipschitz constants and moduli of continuity for the Chebyshev projection', Proc. Amer. Math. Soc. 85(4), 557‒561, 1982.       https://docs.zoho.com/file/2j1eze138a9917a2a45f8a49b0b4675450c19

23    D.S. Bridges, A. Calder, W.H. Julian, R. Mines, F. Richman: 'Picard's theorem' (with ), Trans. Amer. Math. Soc. 269(2), 513‒520, 1982.             https://docs.zoho.com/file/2dvls60bd2dd33ad142dc980327f822fd3e57

22    D.S. Bridges: 'Preference and utility‒-a constructive development', J. Math. Economics 9, 165‒185, 1982.                                                       https://docs.zoho.com/file/2j1ez54e4ad8a75d944afa47c88ee5cd0fbcd

21    D.S. Bridges: 'A constructive proximinality property of finite-dimensional linear spaces', Rocky Mountain J. Math. 11(4), 491‒497, 1981.       https://docs.zoho.com/file/2j1ezf0219fdd51564bbc8070e59a2533c11b

20    D.S. Bridges, A. Calder, W.H. Julian, R. Mines, F. Richman: 'Bounded linear mappings of finite rank', J. Functional Anal. 43(2), 143‒148, 1981.                                                             https://docs.zoho.com/file/2j1ez916b9059d8254336a35f3d6d2eb2eb62                                                                                                     

19    F. Richman, D.S. Bridges, A. Calder, W.H. Julian, R. Mines: 'Compactly generated Banach spaces', Arch. Math. 36, 239‒243, 1981.

18    D.S. Bridges: 'On the isolation of zeroes of an analytic function', Pacific J. Math. 96(1), 13‒22, 1981.                                                               https://docs.zoho.com/file/2j1eza35f84d6e96e4950a7957d89e86d05e5                                                                                                                                                                             Corrigendum: Pacific J. Math. 97(1), 487‒488, 1981.     https://docs.zoho.com/file/2j1ez4bf618dfcfcd413ba3e2a5eeb2459245

17    D.S. Bridges: 'A constructive analysis of the Remes algorithm', J. Approx. Theory 32(4), 257‒270, 1981.                                                           https://docs.zoho.com/file/2j1ezc8bc67938a064a50b4fa18eb2bbf9a54

16    D.S. Bridges: 'A constructive look at positive linear functionals on 95(1), 11‒25, 1981.                                                                                     https://docs.zoho.com/file/2j1ezf47472fcd64340e2a8303ad3b22c8b77

15    D.S. Bridges: 'A constructive development of Chebyshev approximation theory', J. Approx. Theory 30(2), 99‒120, 1981.                                 https://docs.zoho.com/file/2j1ez931552d58edb4e2da1fa3b9535f563e7

14    D.S. Bridges: 'On Montel's proof of the Great Picard theorem', Amer. Math. Monthly 88(1), 45‒47, 1981.                                                         https://docs.zoho.com/file/2j1ezf553870b78ea42a7a2afafbb48b85dc6

13    D.S. Bridges: 'On the foundations of best approximation theory', J. Approx. Theory, 28(3), 273‒292, 1980.                                                       https://docs.zoho.com/file/2j1eza0b54bfc6f4344668fda3a69d7cc760f

12    D.S. Bridges: 'Connectivity properties of metric spaces', Pacific J. Math. 80(2), 325‒333, 1979.                                                                       https://docs.zoho.com/file/2j1ez420792049c014afcb3fe5930b326e0d7

11    D.S. Bridges: 'Geometric intuition and elementary constructive analysis', Zeit. math. Logik Grundlagen Math. 25, 521‒523, 1979.

10    D.S. Bridges: 'A criterion for compactness in metric spaces?', Zeit. math. Logik Grundlagen Math. 25, 97‒98, 1979.

9      D.S. Bridges: 'On the constructive convergence of series of independent functions', Zeit. math. Logik Grundlagen Math. 25, 93‒96, 1979.

8      D.S. Bridges: 'On weak operator compactness of the unit ball of L(H)', Zeit. math. Logik Grundlagen Math. 24, 493‒494, 1978. 

7      D.S. Bridges: 'A note on Morse's lambda notation in set theory', Zeit. math. Logik Grundlagen Math. 24, 113‒114, 1978.

6      D.S. Bridges: 'On continuous mappings between locally compact metric spaces', Bull. London Math. Soc. 10, 201‒208, 1978.                       https://docs.zoho.com/file/2j1ezeca11bc8ec7c419b967229a0adf91aa9

5      D.S. Bridges: 'More on the connectivity of convex sets', Proc. Amer. Math. Soc. 68(2), 214‒216, 1978.                                                             https://docs.zoho.com/file/2j1ez17eefe2059cc45ab85a1eaa1e6974635

4      D.S. Bridges: 'On the connectivity of convex sets', Bull. London Math. Soc. 10, 86‒90, 1978.                                                                             https://docs.zoho.com/file/2j1ez17eefe2059cc45ab85a1eaa1e6974635

3      D.S. Bridges: 'The constructive Radon‒Nikodým theorem', Pacific J. Math. 70(1), 51‒65, 1977.                                                                         https://docs.zoho.com/file/2j1ez17b67791169c4c1f93a03f5ba24f5a53

2     D.S. Bridges: 'A constructive look at orthonormal bases in Hilbert space', Amer. Math. Monthly, 84(3), 189‒191, 1977.                                     https://docs.zoho.com/file/2j1ezed284f13c16245c5976e4c515a8d2f47

1     D.S. Bridges: 'Some notes on continuity in constructive analysis', Bull. London Math. Soc. 8, 179‒182, 1976.                                                   https://docs.zoho.com/file/2j1ezf6572f2d865347d092e6b15bdaa6e585

Refereed papers in conference proceedings/collections

24   D.S. Bridges, 'The Arrow-Hahn Construction in a Locally Compact Metric Space', in: Mathematical Topics on Representations of Ordered Structures and Utility Theory (G. Bosi et al., eds), Studies in Systems, Decision and Control 263,  281-299, Springer Nature Switzerland AG, 2020.     

23   D.S. Bridges, 'Constructive Continuity of Increasing Functions', in Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications (O. Kosheleva et al. eds), 9-19, Studies in Computational Intelligence 835,  2020.

22    D.S. Bridges, 'The Continuum Hypothesis implies excluded middle', in Concepts of Proof in Mathematics, Philosophy and Computer Science (D. Probst, P. Schuster, eds), Ontos Mathematical Logic 6, 110‒114, Walter de Gruyter GmbH, Berlin, 2016.                                                                      https://docs.zoho.com/file/c3o9aadd644ba899044ac8044d35b1cc10c5c    


21    D.S. Bridges: 'Constructive solutions of ordinary differential equations', in Logic, Construction, Computation (U. Berger, H. Diener, P. Schuster, M. Seisenberger, eds), 67‒78, Ontos Verlag, Frankfurt, 2012.

20    D.S. Bridges, R.S. Havea: 'Square roots and powers in constructive Banach algebra theory', in How the World Computes (S.B. Cooper, A. Dawar, B. Löwe, eds; Proc. Turing Centenary Conference, Cambridge, UK, 19‒23 June 2012), Lecture Notes in Computer Science 7318, 68-77, Springer Verlag, Heidelberg, 2012.

19    D.S. Bridges, L.S. Vîţă: 'Constructing the infimum of two projections' in: Computation, Physics and Beyond (M.J. Dinneen, B. Khoussainov, A. Nies, eds; Proceedings of International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on his 60th Birthday, Auckland, New Zealand, 21‒24 February 2012), Lecture Notes in Computer Science 7160, 46‒58, Springer Verlag, Heidelberg, 2012.

18    D.S. Bridges, L.S. Vîţă: 'Journey into apartness space', in: Logicism, Formalism, Intuitionism‒-What has Become of Them? (S. Lindström, E. Palmgren, K. Segerberg, and V. Stoltenberg-Hansen, eds) Synthese Library 341, 167‒188, Springer Verlag, Berlin, 2009.

17    D.S. Bridges: 'A reverse look at Brouwer's fan theorem', in: One Hundred Years of Intuitionism (1907‒2007) (Eds: van Atten, M.; Boldini, P.; Bourdeau, M.; Heinzmann, G.), Publications of the Henri Poincaré Archives, Birkhäuser, Basel, 316‒325, 2008.

16    M.A. Baroni, D.S. Bridges: 'Continuity properties of preference relations', Elec. Notes in Theor. Comp. Sci. 202, 19‒25, 2008. (Full version appears as journal publication no. 135.)

15    D.S. Bridges; 'Colocatedness and Lebesgue integrability', in: Computation and Logic in the Real World (Proc. 3rd Conference on Computability in Europe, Siena, June 2007; S.B. Cooper, B. Löwe, A. Sorbi, eds), Lecture Notes in Computer Science 4497, 98‒104, Springer Verlag, Berlin‒Heidelberg, 2007.  https://docs.zoho.com/file/9dmed0a6fa5318e714e338bc468a1f9947c0b    

14    D.S. Bridges, R.S. Havea: 'Approximating the numerical range in a Banach algebra', in: From Sets andTypes to Topology and Analysis (L. Crosilla and P. Schuster, eds), 293‒303, Oxford Logic Guides, Clarendon Press, Oxford, 2005.

13    D.S. Bridges, L.S. Vîţă: 'The constructive uniqueness of the locally convex topology on From Sets and Types to Topology and Analysis (L. Crosilla and P. Schuster, eds), 304‒315, Oxford Logic Guides, Clarendon Press, Oxford, 2005.(L. Crosilla and P. Schuster, eds), 304‒315, Oxford Logic Guides, Clarendon Press, Oxford, 2005.(L. Crosilla and P. Schuster, eds), 304‒315, Oxford Logic Guides, Clarendon Press, Oxford, 2005.(L. Crosilla and P. Schuster, eds), 304‒315, Oxford Logic Guides, Clarendon Press, Oxford, 2005.

12    D.S. Bridges: 'Apartness spaces‒a progress report', European Assoc. for Theoretical Computer Science Bull. 81, 2003.    

11    D.S. Bridges, H. Ishihara, P.M. Schuster: 'Compactness and continuity, constructively revisited', in: Computer Science Logic (J. Bradfield, ed; Proceedings of 16th International Workshop CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, September 22‒25), Lecture Notes in Computer Science 2471, 89‒102, Springer Verlag, Berlin and Heidelberg, 2002.

10    D.S. Bridges: 'Reality and virtual reality in Mathematics', in: Millennium III (C.S. Calude and K. Svozil, eds), Black Sea University and Romanian Academy, Bucharest, Romania, Autumn 2001. Also in Bull. European Assoc. for Theoretical Computer Science 78, 221‒230, 2002.                                https://docs.zoho.com/file/bryin6164caab9eb5423abd5e2e972fe7dfb6    

9     D.S. Bridges, H. Ishihara: 'Constructive unbounded operators', in: Reuniting the Antipodes‒-Constructive and Nonstandard Views of the Continuum (Berger, Ulrich, Horst Osswald, and Peter Schuster, editors), 25‒37, Proceedings of the Symposion in San Servolo/Venice, Italy, May 17-22, 1999, Synthèse Library, Kluwer Academic Publishers, Dordrecht, December 2001.

8     D.S. Bridges, P.M. Schuster, L.S. Vîţă: 'Apartness as a relation between subsets', in: Combinatorics, Computability and Logic (Proceedings of DMTCS'01, Constanţa, Romania, 2‒6 July 2001; C.S. Calude, M.J. Dinneen, S. Sburlan (eds.)), 203‒214, DMTCS Series 17, Springer Verlag, London, 2001.

7     D.S. Bridges: 'Dini's Theorem: a constructive case study', in: Combinatorics, Computability and Logic (Proceedings of DMTCS'01, Constanţa, Romania, 2‒6 July 2001; C.S. Calude, M.J. Dinneen, S. Sburlan (eds.)), 69‒80, DMTCS Series 17, Springer Verlag, London, 2001.

6     D.S. Bridges: 'Constructive truth in practice', in Truth in Mathematics (Proceedings of Conference held at Mussomeli, Sicily, 13‒21 September 1995; H.G. Dales and G. Oliveri, eds), 53‒69, Clarendon Press, Oxford, 1998.

5     D.S. Bridges: 'Order isomorphisms: a constructive measure-theoretic view', in Mathematical Logic: Proceedings of Heyting '88 Conference in Logic (P.P. Petkov, ed.), 243‒255, Plenum Publishing Corp., New York, 1990.

4     D.S. Bridges: 'A constructive Morse theory of sets', in Mathematical Logic and its Applications (D. Skordev, ed.), Plenum Publishing Corp., New York, 61‒79, 1987.

3     D.S. Bridges: 'Recent progress in constructive approximation theory', in The L.E.J. Brouwer Centenary Symposium(A.S. Troelstra and D. van Dalen, eds.), North-Holland, Amsterdam, 41‒50, 1982.

2     D.S. Bridges, A. Calder, W.H. Julian, R. Mines, F. Richman: 'Locating metric complements in Constructive Mathematics (F. Richman, ed.), Springer Lecture Notes in Math. 873, 241‒249, 1981.

1     D.S. Bridges: 'Towards a constructive foundation for quantum mechanics', in Constructive Mathematics (F. Richman, ed.), Springer Lecture Notes in Math. 873, 260‒273, 1981. 


Book Chapters

3.   D.S. Bridges: 'Constructive Mathematics', in The Human Face of Computing (C.S. Calude, ed), 157‒168, Imperial College Press, London, 2016.

2    D.S. Bridges: 'Philosophy of mathematics: five questions', in Philosophy of mathematics: five questions (V.F. Hendricks and H. Leitgeb, eds), 45‒49, New York,    London: Automatic Press/VIP, 2007.

1     D.S. Bridges; 'Church's thesis and Bishop's constructivism', in: Church's Thesis After 70 Years (Adam Olszewski, ed.), 58‒65, Ontos Verlag, Berlin, 2006. 


Extended reviews

4   D.S. Bridges: review of Utility Maximization, Choice and Preference (F. Aleskerov, D. Bouyssou, and B. Monjardet), SIAM Review 50(3), 597‒599, 2008.                    https://docs.zoho.com/file/bryin7f83502c56ef4041a21824a276dad5db

3    D.S. Bridges: review of Computability in Analysis and Physics (by M.B. Pour-El and J.A.    Richards), Bull. Amer. Math. Soc. 24(1), 216‒228, 1991.                                https://docs.zoho.com/file/bryin7f67a6a64d6545408270330f0393978f                                                                                               

2     D.S. Bridges: review of Theories of Computational Complexity (by C.S. Calude),    Kybernetes 19(3), 33‒36, 1990.

1  D.S. Bridges: review of A Course in Constructive Algebra (by R. Mines, F. Richman, and W. Ruitenburg), Bull. American Math. Soc. 20(1), 127‒132, 1989.    https://docs.zoho.com/file/bryinb1ec1df7cef4452e9c91c0b6e8ed6021


Refereed extended abstracts

1   D.S. Bridges and L.S. Vîţă: 'Constructive apartness spaces', in Proceedings of 3rd Panhellenic Logic Conference (Anogia, Crete; E. Kranakis, ed.), University of Crete and National Technical University of Athens, July 2001.


Edited proceedings

1   C.S. Calude, D.S. Bridges, J. Gibbons, S. Reeves, I.H. Witten (eds): Computability, Complexity, and Logic( Proceedings of the Conference DMTCS '96 held at the University of Auckland, December 1996), Springer Verlag, Singapore, 1996.    


Incidental publications

D.S. Bridges, '16w5099‒Interval Analysis and Constructive Mathematics', Report on workshop at BIRS Casa Matematica Oaxaca, 13‒18 Nov. 2016.   https://docs.zoho.com/file/2j1ez658a3134a81a431eb1d3db55f23927bf

2   D.S. Bridges, 'Romanian Connections', in: Grigore C. Moisil si continuatorii sai (A.Iorgulescu, S. Marcus, S. Rudeanu, and D. Vaida eds.), 260‒261, Editura Academiei Române, Bucureşti, 2007.

1     D.S. Bridges, 'Errett Bishop', in: From Sets and    Types to Topology and Analysis (L. Crosilla and P. Schuster, eds), vii‒ix, Oxford Logic Guides, Clarendon Press, Oxford, 2005


dsb 070420