Skip to main content
Douglas S. Bridges
Douglas S. Bridges

Mt John Observatory, looking towards Lake Alexandrina, Mackenzie Country, NZ

Douglas S. Bridges: Publications


Preprints


1  D.S. Bridges,  'On Cauchy's Integral Theorem in Constructive Analysis' 

In his constructive development of complex analysis, Errett Bishop used restrictive notions of homotopy and simple connectedness. Working in Bishop-style constructive mathematics, we prove Cauchy's integral theorem using the standard notions of such properties. In consequence, Bishop's theorems in Chapters 5 of Foundations of Constructive Analysis hold under our more normal, less restrictive, definitions.  http://arxiv.org/abs/2410.11058



Edited Handbook

1  D.S. Bridges, H. Ishihara, M.J. Rathjen, H. Schwichtenberg (editors), Handbook of Constructive Mathematics, Encyclopedia [sic] of Mathematics and Its Applications 185Cambridge University Press, 2023.                                                            https://www.cambridge.org/core/books/handbook-of-constructive-mathematics/2C43C11C2C7474F7599BF1FD6128EDCF

       Chapter 10:  R.S. Havea, D.S. Bridges,  Constructive Banach Algebra Theory

       Chapter 12:  M. Hendtlass, D.S. Bridges,  Constructive Mathematical Economics

       Chapter 18:  D.S. Bridges,  Apartness on Lattices and Between Sets


Books

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

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.                                                                                                                Corrigenda:   https://docs.zohopublic.com/file/ipew03d200277dd434aea8984ddd46a893f                                                                                                                                                                                                                                           Improved start to Chapter 3:  https://docs.zohopublic.com/file/ipew0f900ab28869b407a9aaf5621bbdedec4

6   D.S. Bridges, Foundations of Real and Abstract Analysis, Graduate Texts in Mathematics 174, Springer Verlag, Heidelberg-Berlin-New York, 1998.                                                                                                                                                        Corrigenda and comments for pages 1-116:  https://docs.zohopublic.com/file/ogiff84ae1cec7fd84a3d9a9c518b4abb7090                                                                                                                                                                                           Solutions to exercises in Chapters 1 and 3-6:   https://docs.zohopublic.com/file/ogifffb8bfd4398694631a809a81d6c60c89a  

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. Bridges, Computability‒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    Errett Bishop and Douglas 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

173  J. Berger, D.S. Bridges, H. Diener, H. Schwichtenberg, `Constructive aspects of Riemann's permutation theorem for series',  Logic Journal of the IGPL, online 24 October 2023.   https://doi.org/10.1093/jigpal/jzad024

172  D.S. Bridges,  'Morse set theory as a foundation for constructive mathematics',  Theoretical Comp. Sci. 928, 115-135, 2022.   https://doi.org/10.1016/j.tcs.2022.06.019         

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

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.                                https://docs.zohopublic.com/file/rrxzkc970aa4afdcc4ff09b145749a38d6906

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 pi-0-1 fan theorem,  Logic Journal of IGPL 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.zohopublic.com/file/god5p5bd2b3b2a2c24a3b9e5db8a5289ef0b4            

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.  https://workdrive.zohoexternal.com/external/1dae03b248c446b45eb21322be9fe2c8aa7c585ee979efed29b1a05b453789d5/download

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://workdrive.zohoexternal.com/external/2de1f5e934ef43e690be88478fd17095409016262740da086ec9a56d08682b56/download 

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.  https://workdrive.zohoexternal.com/external/c051f875b5f0adc61d3c2411dd040bbb19bd5d22500a9a8476191999a78b2a5a/download

102  D.S. Bridges, L.S. Vîţă: 'Cauchy nets in uniform apartness spaces', Revue Romaine Math. Pures   Appl. 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: https://docs.zoho.com/file/a6sa013c006edb6fc4154ae8b1138b47fe7c4                      

100  D.S. Bridges, L.S. Vîţă: 'A constructive theory of point-set nearness', 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://workdrive.zoho.com/file/eqbooca7671b308504218b9eebd297a1db779                

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://workdrive.zohoexternal.com/external/ce76d2b8ab8590b7173c609375a674f9c4f2f11f1895604637b0f81cd925cc68/download

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',  Math.  Log. Quart. 48, Suppl. 1, 16‒28, 2002.    https://workdrive.zoho.com/file/a6sa0ff1db8fbc61840bbb24cd1c4d7ee2af9

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.   https://workdrive.zohoexternal.com/external/b045c8d6a22090797c94e06b59c88a0979fe2653e44539675cb30db3f358ff1a/download

92    D.S. Bridges, A. Mahalanobis: 'Bounded variation implies regulated: a constructive proof', J. Symb. Logic 66(4), 1695‒1700, 2001.   https://workdrive.zohoexternal.com/external/1d2ba613c2111b8aaa57591fe8b73bdc9fb044563fb9f00dbea34bad3aa11d80/download

91    D.S. Bridges, L.S. Vîţă: 'Characterising near continuity constructively', Math. Logic Quart. 47(4), 535‒538, 2001.    https://workdrive.zohoexternal.com/external/5e3a441a300c1401ad5b46c46712a7eef407185618ffe904bd7502acdaee9fa3/download

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.      https://workdrive.zohoexternal.com/external/d3ca052a869c91f8c03c88a831fd31713a945dbb4274c0cefdc02c156d459d38/download

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.   https://workdrive.zohoexternal.com/external/80e7d7a12d7d3865feed0fe3a0a1af552382d0f48735e22d98c5af77fa3cf2ae/download

85    D.S. Bridges, K. Svozil: 'Constructive mathematics and quantum physics', Int. J. Theor. Physics 39, 501-513, 2000  https://workdrive.zohoexternal.com/external/6dc4e40fce6995196bb350b2f6a7a25fc2513ddcec9d80e05d5310d367f8b0e2/download

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.

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.

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/45mxz877a2538d93b4a60999e0fafbfe21d3                                                                                         

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.  An improved presentation of this material can be found as Chapter 6 of the Bridges-Mehta book Representations of Preference Orderings.          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.                                                        

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:  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

28   D.S. BridgesApartness on Lattices and Between Sets, in: Handbook of Constructive Mathematics  (D.S. Bridges, H. Ishihara, M.J. Rathjen, H. Schwichtenberg, eds), Encyclopedia of Mathematics and Its Applications 185, pp. 483-514, Cambridge University Press, 2023. 

27   M. Hendtlass, D.S. Bridges, Constructive Mathematical Economics, in: Handbook of Constructive Mathematics  (D.S. Bridges, H. Ishihara, M.J. Rathjen, H. Schwichtenberg, eds), Encyclopedia of Mathematics and Its Applications 185, pp. 302-332, Cambridge University Press, 2023. 

26   R.S. Havea, D.S. BridgesConstructive Banach Algebra Theory, in: Handbook of Constructive Mathematics  (D.S. Bridges, H. Ishihara, M.J. Rathjen, H. Schwichtenberg, eds), Encyclopedia of Mathematics and Its Applications 185, pp. 255-285, Cambridge University Press, 2023. 

25   D.S. Bridges, 'Reflections on 50 years of Constructive Research', in: Mathematics for Computation (M4C)  (M. Benini, O. Beyersdorff, M. Rathjen, P. Schuster, eds), 12-25, World Scientific Publ. Co., Singapore, 2023.

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.     https://workdrive.zohoexternal.com/external/0bd5b05f23725e0215e1d11b68f43bf814dffedc6b8359e2647c1b1997bda3e5/download

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.), Publ. Henri Poincaré Archives, Birkhäuser, Basel, 316‒325, 2008.                      https://workdrive.zohoexternal.com/external/350b4fb418a8ced3695aa23127c5b95cd6a380937f4d82d34304c0fa9953cd9b/download                                                                                                                                                                                   References at  https://workdrive.zohoexternal.com/external/e5c96d8d7a76ebe2df6d43974d9d417a9fdbca875dc3cf5c06a8c3e1bea03a0d/download

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).    https://workdrive.zohoexternal.com/external/a40905af2193a8c0b10352da3900905d662651b76e0900d88f7921a3228d3867/download

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 and Types to Topology and Analysis (L. Crosilla and P. Schuster, eds), 293‒303, Oxford Logic Guides, Clarendon Press, Oxford, 2005.    https://workdrive.zohoexternal.com/external/3779f1cecde1b7f7ad893c3718b7c2bc7967468578ddd773131688e74d8b658a/download

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.    https://workdrive.zohoexternal.com/external/b9e8f8977d3ae66bfb75596dee8fdad58e70f75504cb208afc42ed523a23dabd/download

12    D.S. Bridges: 'Apartness spaces‒a progress report', European Assoc. for Theoretical Computer Science Bull. 81, 2003.          https://workdrive.zohoexternal.com/external/ed0aebcf58386cb268570fde3832d6b517b6a61cea6a5a6dbe31c8bf71f5a70b/download    

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.    https://workdrive.zohoexternal.com/external/43f44ba5781b5f2d1774a7ba2ccb2d2fcbd6dc23d811fe887dc2945b01057d92/download

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

3    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