Bridges, Douglas Apartness on lattices and between sets. (English) Zbl 07725656 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 483-512 (2023). MSC: 03F50 03F60 03F65 PDFBibTeX XMLCite \textit{D. Bridges}, Encycl. Math. Appl. 185, 483--512 (2023; Zbl 07725656) Full Text: DOI
Bridges, Douglas S. Reflections on 50 years of constructive research. (English) Zbl 07722647 Benini, Marco (ed.) et al., Mathematics for computation (M4C). Singapore: World Scientific. 1-24 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{D. S. Bridges}, in: Mathematics for computation (M4C). Singapore: World Scientific. 1--24 (2023; Zbl 07722647) Full Text: DOI
Bridges, Douglas S. Morse set theory as a foundation for constructive mathematics. (English) Zbl 07597581 Theor. Comput. Sci. 928, 115-135 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. S. Bridges}, Theor. Comput. Sci. 928, 115--135 (2022; Zbl 07597581) Full Text: DOI
Bridges, Douglas S. Constructive continuity of increasing functions. (English) Zbl 07285501 Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer. Stud. Comput. Intell. 835, 9-19 (2020). MSC: 68T37 03F60 26A15 PDFBibTeX XMLCite \textit{D. S. Bridges}, Stud. Comput. Intell. 835, 9--19 (2020; Zbl 07285501) Full Text: DOI
Bridges, Douglas S. The Arrow-Hahn construction in a locally compact metric space. (English) Zbl 1452.91111 Bosi, Gianni (ed.) et al., Mathematical topics on representations of ordered structures and utility theory. Essays in honor of Professor Ghanshyam B. Mehta. Cham: Springer. Stud. Syst. Decis. Control 263, 281-299 (2020). MSC: 91B08 54E45 PDFBibTeX XMLCite \textit{D. S. Bridges}, Stud. Syst. Decis. Control 263, 281--299 (2020; Zbl 1452.91111) Full Text: DOI
Bridges, Douglas S. Intuitionistic sequential compactness? (English) Zbl 1423.03252 Indag. Math., New Ser. 29, No. 6, 1477-1496 (2018). MSC: 03F60 03F55 54E45 PDFBibTeX XMLCite \textit{D. S. Bridges}, Indag. Math., New Ser. 29, No. 6, 1477--1496 (2018; Zbl 1423.03252) Full Text: DOI
Bridges, Douglas S. The continuum hypothesis implies excluded middle. (English) Zbl 1433.03150 Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 111-114 (2016). MSC: 03F60 03E50 PDFBibTeX XMLCite \textit{D. S. Bridges}, Ontos Math. Log. 6, 111--114 (2016; Zbl 1433.03150) Full Text: DOI
Bridges, Douglas S. Apartness spaces and uniform neighbourhood structures. (English) Zbl 1402.03095 Ann. Pure Appl. Logic 167, No. 9, 850-864 (2016). MSC: 03F60 03F65 54E05 54E15 03F55 PDFBibTeX XMLCite \textit{D. S. Bridges}, Ann. Pure Appl. Logic 167, No. 9, 850--864 (2016; Zbl 1402.03095) Full Text: DOI
Bridges, Douglas S. Tightly bordered convex and co-convex sets. (English) Zbl 1335.03065 Sci. Math. Jpn. 77, No. 1, 45-57 (2014). MSC: 03F60 52A07 PDFBibTeX XMLCite \textit{D. S. Bridges}, Sci. Math. Jpn. 77, No. 1, 45--57 (2014; Zbl 1335.03065) Full Text: Link
Bridges, Douglas Suth Locating \(\mathfrak{A}x\), where \(\mathfrak{A}\) is a subspace of \(\mathcal B(H)\). (English) Zbl 1348.03059 Log. Methods Comput. Sci. 10, No. 2, Paper No. 9, 10 p. (2014). MSC: 03F60 46S30 47S30 46C05 PDFBibTeX XMLCite \textit{D. S. Bridges}, Log. Methods Comput. Sci. 10, No. 2, Paper No. 9, 10 p. (2014; Zbl 1348.03059) Full Text: DOI arXiv
Bridges, Douglas S. Characterising dominated weak-operator continuous functionals on subspaces of \(\mathcal B(H)\). (English) Zbl 1275.03162 Ann. Pure Appl. Logic 164, No. 4, 416-420 (2013). Reviewer: Maarten McKubre-Jordens (Christchurch) MSC: 03F60 46S30 47L50 PDFBibTeX XMLCite \textit{D. S. Bridges}, Ann. Pure Appl. Logic 164, No. 4, 416--420 (2013; Zbl 1275.03162) Full Text: DOI
Bridges, Douglas S. Constructive solutions of ordinary differential equations. (English) Zbl 1348.03058 Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 67-77 (2012). MSC: 03F60 34A12 34A45 PDFBibTeX XMLCite \textit{D. S. Bridges}, Ontos Math. Log. 3, 67--77 (2012; Zbl 1348.03058)
Bridges, Douglas S. Compactness notions for an apartness space. (English) Zbl 1294.03041 Arch. Math. Logic 51, No. 5-6, 517-534 (2012). MSC: 03F60 54D30 54E05 54E17 PDFBibTeX XMLCite \textit{D. S. Bridges}, Arch. Math. Logic 51, No. 5--6, 517--534 (2012; Zbl 1294.03041) Full Text: DOI
Bridges, Douglas S. How to construct a product of a-frames. (English) Zbl 1330.03089 Math. Log. Q. 58, No. 4-5, 281-293 (2012). Reviewer: Thierry Coquand (Göteborg) MSC: 03F60 06D22 PDFBibTeX XMLCite \textit{D. S. Bridges}, Math. Log. Q. 58, No. 4--5, 281--293 (2012; Zbl 1330.03089) Full Text: DOI
Bridges, Douglas S. Precompact apartness spaces. (English) Zbl 1241.03071 Log. Methods Comput. Sci. 8, No. 2, Paper No. 15, 10 p. (2012). MSC: 03F60 54E05 54E15 PDFBibTeX XMLCite \textit{D. S. Bridges}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 15, 10 p. (2012; Zbl 1241.03071) Full Text: DOI arXiv
Bridges, Douglas S. Almost new pre-apartness from old. (English) Zbl 1251.03083 Ann. Pure Appl. Logic 163, No. 8, 1009-1015 (2012). MSC: 03F60 03F65 06D22 54E05 54E17 PDFBibTeX XMLCite \textit{D. S. Bridges}, Ann. Pure Appl. Logic 163, No. 8, 1009--1015 (2012; Zbl 1251.03083) Full Text: DOI
Bridges, Douglas S. Reflections on function spaces. (English) Zbl 1251.03093 Ann. Pure Appl. Logic 163, No. 2, 101-110 (2012). MSC: 03F65 54C35 54E05 PDFBibTeX XMLCite \textit{D. S. Bridges}, Ann. Pure Appl. Logic 163, No. 2, 101--110 (2012; Zbl 1251.03093) Full Text: DOI
Bridges, Douglas Locating subsets of \(\mathcal B(H)\) relative to seminorms inducing the strong-operator topology. (English) Zbl 1408.47016 J. Log. Anal. 3, Paper No. 3, 11 p. (2011). MSC: 47S30 03F60 PDFBibTeX XMLCite \textit{D. Bridges}, J. Log. Anal. 3, Paper No. 3, 11 p. (2011; Zbl 1408.47016) Full Text: DOI
Bridges, Douglas S. Characterizing weak-operator continuous linear functionals on \(B(H)\) constructively. (English) Zbl 1259.03079 Doc. Math. 16, 597-617 (2011). MSC: 03F60 46S30 47L50 47S30 PDFBibTeX XMLCite \textit{D. S. Bridges}, Doc. Math. 16, 597--617 (2011; Zbl 1259.03079) Full Text: EMIS
Bridges, Douglas S. The anti-Specker property, uniform sequential continuity, and a countable compactness property. (English) Zbl 1229.03052 Log. J. IGPL 19, No. 1, 174-182 (2011). Reviewer: Josef Berger (Greifswald) MSC: 03F60 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, Log. J. IGPL 19, No. 1, 174--182 (2011; Zbl 1229.03052) Full Text: DOI
Bridges, Douglas Omniscience, sequential compactness, and the anti-Specker property. (English) Zbl 1229.03051 Log. J. IGPL 19, No. 1, 53-61 (2011). Reviewer: Josef Berger (Greifswald) MSC: 03F60 03F65 PDFBibTeX XMLCite \textit{D. Bridges}, Log. J. IGPL 19, No. 1, 53--61 (2011; Zbl 1229.03051) Full Text: DOI
Bridges, Douglas S. Inheriting the anti-Specker property. (English) Zbl 1232.03056 Doc. Math. 15, 973-980 (2010). MSC: 03F60 54E35 54E45 PDFBibTeX XMLCite \textit{D. S. Bridges}, Doc. Math. 15, 973--980 (2010; Zbl 1232.03056) Full Text: EuDML EMIS
Bridges, Douglas S. Continuity and Lipschitz constants for projections. (English) Zbl 1185.41024 J. Log. Algebr. Program. 79, No. 1, 2-9 (2010). Reviewer: T.S.S.R.K. Rao (Bangalore) MSC: 41A50 03F60 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Log. Algebr. Program. 79, No. 1, 2--9 (2010; Zbl 1185.41024) Full Text: DOI
Bridges, Douglas S. Constructive notions of equicontinuity. (English) Zbl 1173.03047 Arch. Math. Logic 48, No. 5, 437-448 (2009). Reviewer: Iris Loeb (Christchurch) MSC: 03F60 03B30 PDFBibTeX XMLCite \textit{D. S. Bridges}, Arch. Math. Logic 48, No. 5, 437--448 (2009; Zbl 1173.03047) Full Text: DOI
Bridges, Douglas S. Uniform continuity properties of preference relations. (English) Zbl 1186.03074 Notre Dame J. Formal Logic 49, No. 1, 97-106 (2008). Reviewer: Josef Berger (München) MSC: 03F60 91B08 PDFBibTeX XMLCite \textit{D. S. Bridges}, Notre Dame J. Formal Logic 49, No. 1, 97--106 (2008; Zbl 1186.03074)
Bridges, Douglas S. Product a-frames and proximity. (English) Zbl 1134.03035 Math. Log. Q. 54, No. 1, 12-26 (2008). MSC: 03F60 06D22 54D30 54E05 PDFBibTeX XMLCite \textit{D. S. Bridges}, Math. Log. Q. 54, No. 1, 12--26 (2008; Zbl 1134.03035) Full Text: DOI
Bridges, Douglas S. Colocatedness and Lebesgue integrability. (English) Zbl 1150.03340 Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 98-104 (2007). MSC: 03F60 28E15 PDFBibTeX XMLCite \textit{D. S. Bridges}, Lect. Notes Comput. Sci. 4497, 98--104 (2007; Zbl 1150.03340) Full Text: DOI
Bridges, Douglas S. Constructing local optima on a compact interval. (English) Zbl 1105.03065 Arch. Math. Logic 46, No. 2, 149-154 (2007). MSC: 03F60 26E40 PDFBibTeX XMLCite \textit{D. S. Bridges}, Arch. Math. Logic 46, No. 2, 149--154 (2007; Zbl 1105.03065) Full Text: DOI
Bridges, Douglas S. Church’s thesis and Bishop’s constructivism. (English) Zbl 1115.03089 Olszewski, Adam (ed.) et al., Church’s thesis after 70 years. Frankfurt: Ontos Verlag (ISBN 3-938793-09-0/hbk). Ontos Mathematical Logic 1, 58-65 (2006). Reviewer: Thierry Coquand (Göteborg) MSC: 03F60 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, Ontos Math. Log. 1, 58--65 (2006; Zbl 1115.03089)
Bridges, Douglas A weak constructive sequential compactness property and the fan theorem. (English) Zbl 1078.03049 Log. J. IGPL 13, No. 2, 151-158 (2005). MSC: 03F60 03B30 54E50 PDFBibTeX XMLCite \textit{D. Bridges}, Log. J. IGPL 13, No. 2, 151--158 (2005; Zbl 1078.03049) Full Text: DOI
Bridges, Douglas S. Constructivity in mathematics. (English) Zbl 1086.03051 Cubo 6, No. 1, 209-258 (2004). Reviewer: Pier Luigi Ferrari (Alessandria) MSC: 03F60 03F65 03-02 PDFBibTeX XMLCite \textit{D. S. Bridges}, Cubo 6, No. 1, 209--258 (2004; Zbl 1086.03051)
Bridges, Douglas S. First steps in constructive game theory. (English) Zbl 1075.03032 Math. Log. Q. 50, No. 4-5, 501-506 (2004). Reviewer: Peter M. Schuster (München) MSC: 03F60 91A99 PDFBibTeX XMLCite \textit{D. S. Bridges}, Math. Log. Q. 50, No. 4--5, 501--506 (2004; Zbl 1075.03032) Full Text: DOI
Bridges, Douglas S. Constructive complements of unions of two closed sets. (English) Zbl 1055.03037 Math. Log. Q. 50, No. 3, 293-294 (2004). Reviewer: Pier Luigi Ferrari (Alessandria) MSC: 03F60 54A05 54E35 PDFBibTeX XMLCite \textit{D. S. Bridges}, Math. Log. Q. 50, No. 3, 293--294 (2004; Zbl 1055.03037) Full Text: DOI
Bridges, Douglas S. Reality and virtual reality in mathematics. (English) Zbl 1169.00306 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 78, 221-230 (2002). MSC: 00A30 03A05 PDFBibTeX XMLCite \textit{D. S. Bridges}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 78, 221--230 (2002; Zbl 1169.00306)
Bridges, Douglas S. Dini’s theorem: A constructive case study. (English) Zbl 1005.26020 Calude, C. S. (ed.) et al., Combinatorics, computability and logic. Proceedings of the 3rd international conference, DMTCS ’01. The conference was dedicated to Prof. Frank Harary on the occasion of the 80th birthday. Univ. of Auckland, New Zealand and Univ. of Constanţa, Romania, 2001. London: Springer. Discrete Mathematics and Theoretical Computer Science. 69-80 (2001). Reviewer: Mark Mandelkern (Las Cruces) MSC: 26E40 PDFBibTeX XMLCite \textit{D. S. Bridges}, in: Combinatorics, computability and logic. Proceedings of the 3rd international conference, DMTCS '01. The conference was dedicated to Prof. Frank Harary on the occasion of the 80th birthday. Univ. of Auckland, New Zealand and Univ. of Constanţa, Romania, 2001. London: Springer. 69--80 (2001; Zbl 1005.26020)
Bridges, Douglas S. Prime and maximal ideals in constructive ring theory. (English) Zbl 0987.03054 Commun. Algebra 29, No. 7, 2787-2803 (2001). Reviewer: Pier Luigi Ferrari (Alessandria) MSC: 03F65 13A15 13L05 PDFBibTeX XMLCite \textit{D. S. Bridges}, Commun. Algebra 29, No. 7, 2787--2803 (2001; Zbl 0987.03054) Full Text: DOI
Bridges, Douglas S. Converses of Bishop’s lemma on located sets. (English) Zbl 0976.03066 Indag. Math., New Ser. 11, No. 1, 31-38 (2000). Reviewer: Pier Luigi Ferrari (Alessandria) MSC: 03F60 54A35 PDFBibTeX XMLCite \textit{D. S. Bridges}, Indag. Math., New Ser. 11, No. 1, 31--38 (2000; Zbl 0976.03066) Full Text: DOI
Bridges, Douglas S. Constructive methods in Banach algebra theory. (English) Zbl 0980.46058 Math. Jap. 52, No. 1, 145-161 (2000). MSC: 46S30 46J20 03F55 PDFBibTeX XMLCite \textit{D. S. Bridges}, Math. Japon. 52, No. 1, 145--161 (2000; Zbl 0980.46058)
Bridges, Douglas S. A constructive look at functions of bounded variation. (English) Zbl 1032.26026 Bull. Lond. Math. Soc. 32, No. 3, 316-324 (2000). MSC: 26E40 26A45 03F60 PDFBibTeX XMLCite \textit{D. S. Bridges}, Bull. Lond. Math. Soc. 32, No. 3, 316--324 (2000; Zbl 1032.26026) Full Text: DOI
Bridges, Douglas S. Constructive methods in mathematical economics. (English) Zbl 0946.91005 Herden, Gerhard (ed.) et al., Mathematical utility theory. Utility functions, models and applications in the social sciences. International conference, Essen, Germany, autumn 1997. Wien: Springer. Journal of Economics. Supplement. 8, 1-21 (1999). MSC: 91B08 91B10 PDFBibTeX XMLCite \textit{D. S. Bridges}, in: Mathematical utility theory. Utility functions, models and applications in the social sciences. International conference, Essen, Germany, autumn 1997. Wien: Springer. 1--21 (1999; Zbl 0946.91005)
Bridges, Douglas S. Can constructive mathematics be applied in physics? (English) Zbl 0946.03074 J. Philos. Log. 28, No. 5, 439-453 (1999). Reviewer: V.Ya.Kreinovich (El Paso) MSC: 03F60 81P10 47S30 81P05 46S30 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Philos. Log. 28, No. 5, 439--453 (1999; Zbl 0946.03074) Full Text: DOI
Bridges, Douglas S. Constructive mathematics: a foundation for computable analysis. (English) Zbl 0916.68048 Theor. Comput. Sci. 219, No. 1-2, 95-109 (1999). MSC: 68Q05 03F60 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, Theor. Comput. Sci. 219, No. 1--2, 95--109 (1999; Zbl 0916.68048) Full Text: DOI
Bridges, Douglas S. Constructive truth in practice. (English) Zbl 0940.03068 Dales, H. G. (ed.) et al., Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13-20, 1995. Oxford: Clarendon Press. Oxford Science Publications. 53-69 (1998). Reviewer: P.Kruszyński (Eindhoven) MSC: 03F50 03F60 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, in: Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13--20, 1995. Oxford: Clarendon Press. 53--69 (1998; Zbl 0940.03068)
Bridges, Douglas S. Foundations of real and abstract analysis. (English) Zbl 0888.26001 Graduate Texts in Mathematics. 174. New York, NY: Springer. xiv, 322 p. (1998). Reviewer: O.Costinescu (Iaşi) MSC: 26-01 46-01 28-01 00A06 PDFBibTeX XMLCite \textit{D. S. Bridges}, Foundations of real and abstract analysis. New York, NY: Springer (1998; Zbl 0888.26001) Full Text: DOI
Bridges, Douglas S. Constructive mathematics and unbounded operators – a reply to Hellman. (English) Zbl 0854.03055 J. Philos. Log. 24, No. 5, 549-561 (1995). Reviewer: P.L.Ferrari (Alessandria) MSC: 03F65 47S30 81P05 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Philos. Log. 24, No. 5, 549--561 (1995; Zbl 0854.03055) Full Text: DOI
Bridges, Douglas S. Computability: a mathematical sketchbook. (English) Zbl 0792.03027 Graduate Texts in Mathematics. 146. New York, NY: Springer-Verlag. ix, 178 p. (1994). Reviewer: U.Schöning (Ulm) MSC: 03D10 68Q05 68Q15 03-01 68-01 03D20 PDFBibTeX XMLCite \textit{D. S. Bridges}, Computability: a mathematical sketchbook. New York, NY: Springer-Verlag (1994; Zbl 0792.03027)
Bridges, Douglas S. A constructive look at the real number line. (English) Zbl 0964.03534 Ehrlich, Philip (ed.), Real numbers, generalizations of the reals, and theories of continua. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 242, 29-92 (1994). MSC: 03F60 PDFBibTeX XMLCite \textit{D. S. Bridges}, Synth. Libr. 242, 29--92 (1994; Zbl 0964.03534)
Bridges, Douglas S. The constructive theory of preference relations on a locally compact space. II. (English) Zbl 0879.90008 Math. Soc. Sci. 27, No. 1, 1-9 (1994). MSC: 91B08 03F65 91B16 PDFBibTeX XMLCite \textit{D. S. Bridges}, Math. Soc. Sci. 27, No. 1, 1--9 (1994; Zbl 0879.90008) Full Text: DOI
Bridges, Douglas S. Constructive notions of strict convexity. (English) Zbl 0799.03070 Math. Log. Q. 39, No. 3, 295-300 (1993). Reviewer: D.S.Bridges (Hamilton, NZ) MSC: 03F60 91B08 PDFBibTeX XMLCite \textit{D. S. Bridges}, Math. Log. Q. 39, No. 3, 295--300 (1993; Zbl 0799.03070) Full Text: DOI
Bridges, Douglas S. Sequential, pointwise, and uniform continuity: A constructive note. (English) Zbl 0803.03041 Math. Log. Q. 39, No. 1, 55-61 (1993). MSC: 03F60 46S30 PDFBibTeX XMLCite \textit{D. S. Bridges}, Math. Log. Q. 39, No. 1, 55--61 (1993; Zbl 0803.03041) Full Text: DOI
Bridges, Douglas S. The construction of a continuous demand function for uniformly rotund preferences. (English) Zbl 0765.90033 J. Math. Econ. 21, No. 3, 217-227 (1992). MSC: 91B42 91B08 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Math. Econ. 21, No. 3, 217--227 (1992; Zbl 0765.90033) Full Text: DOI
Bridges, Douglas S. The constructive inequivalence of various notions of preference ordering. (English) Zbl 0738.90002 Math. Soc. Sci. 21, No. 2, 169-176 (1991). Reviewer: P.Vincke (Bruxelles) MSC: 91B08 PDFBibTeX XMLCite \textit{D. S. Bridges}, Math. Soc. Sci. 21, No. 2, 169--176 (1991; Zbl 0738.90002) Full Text: DOI
Bridges, Douglas S. Preference, indifference, and Markov’s principle. (English) Zbl 0715.90006 Math. Soc. Sci. 20, No. 2, 131-145 (1990). MSC: 91B08 91B16 PDFBibTeX XMLCite \textit{D. S. Bridges}, Math. Soc. Sci. 20, No. 2, 131--145 (1990; Zbl 0715.90006) Full Text: DOI
Bridges, Douglas S. Order isomorphisms — a constructive measure-theoretic view. (English) Zbl 0828.03033 Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 243-255 (1990). MSC: 03F65 91B08 91B16 PDFBibTeX XMLCite \textit{D. S. Bridges}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 243--255 (1990; Zbl 0828.03033)
Bridges, Douglas S. A general constructive intermediate value theorem. (English) Zbl 0702.03037 Z. Math. Logik Grundlagen Math. 35, No. 5, 433-435 (1989). Reviewer: H.Schwichtenberg MSC: 03F60 PDFBibTeX XMLCite \textit{D. S. Bridges}, Z. Math. Logik Grundlagen Math. 35, No. 5, 433--435 (1989; Zbl 0702.03037) Full Text: DOI
Bridges, Douglas S. Approximate interpolation by functions in a Haar space. (English) Zbl 0694.41002 J. Approximation Theory 57, No. 1, 35-39 (1989). Reviewer: Xie-Chang Shen MSC: 41A05 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Approx. Theory 57, No. 1, 35--39 (1989; Zbl 0694.41002) Full Text: DOI
Bridges, Douglas S. The constructive theory of preference relations on a locally compact space. (English) Zbl 0679.03027 Indag. Math. 51, No. 2, 141-165 (1989). Reviewer: B.van Rootselaar MSC: 03F65 91B08 54E45 PDFBibTeX XMLCite \textit{D. S. Bridges}, Indag. Math. 51, No. 2, 141--165 (1989; Zbl 0679.03027)
Bridges, Douglas S. Locatedness, convexity, and Lebesgue measurability. (English) Zbl 0658.28001 Q. J. Math., Oxf. II. Ser. 39, No. 156, 411-421 (1988). Reviewer: M.Mandelkern MSC: 28A05 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, Q. J. Math., Oxf. II. Ser. 39, No. 156, 411--421 (1988; Zbl 0658.28001) Full Text: DOI
Bridges, Douglas S. The Euclidean distance construction of order homomorphisms. (English) Zbl 0641.90015 Math. Soc. Sci. 15, No. 2, 179-188 (1988). MSC: 91B16 06A99 PDFBibTeX XMLCite \textit{D. S. Bridges}, Math. Soc. Sci. 15, No. 2, 179--188 (1988; Zbl 0641.90015) Full Text: DOI
Bridges, Douglas S. A constructive Morse theory of sets. (English) Zbl 0715.03027 Mathematical logic and its applications, Proc. Adv. Int. Summer Sch. Conf., Druzhba/Bulg. 1986, 61-79 (1987). Reviewer: P.L.Ferrari MSC: 03F65 03E70 PDFBibTeX XML
Bridges, Douglas S. Numerical representation of interval orders on a topological space. (English) Zbl 0597.90012 J. Econ. Theory 38, 160-166 (1986). MSC: 91B16 91B08 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Econ. Theory 38, 160--166 (1986; Zbl 0597.90012) Full Text: DOI
Bridges, Douglas S. Representing interval orders by a single real-valued function. (English) Zbl 0605.90016 J. Econ. Theory 36, 149-155 (1985). MSC: 91B16 91B08 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Econ. Theory 36, 149--155 (1985; Zbl 0605.90016) Full Text: DOI
Bridges, Douglas S. Operator ranges, integrable sets, and the functional calculus. (English) Zbl 0564.47007 Houston J. Math. 11, 31-44 (1985). MSC: 47A60 47B15 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, Houston J. Math. 11, 31--44 (1985; Zbl 0564.47007)
Bridges, Douglas S. Numerical representation of intransitive preferences on a countable set. (English) Zbl 0518.90003 J. Econ. Theory 30, 213-217 (1983). Reviewer: Douglas S. Bridges (Christchurch/New Zealand) MSC: 91B16 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Econ. Theory 30, 213--217 (1983; Zbl 0518.90003) Full Text: DOI
Bridges, Douglas S. A numerical representation of preferences with intransitive indifference. (English) Zbl 0499.90007 J. Math. Econ. 11, 25-42 (1983). MSC: 91B16 91B08 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Math. Econ. 11, 25--42 (1983; Zbl 0499.90007) Full Text: DOI
Bridges, Douglas S. Lipschitz constants and moduli of continuity for the Chebyshev projection. (English) Zbl 0526.41021 Proc. Am. Math. Soc. 85, 557-561 (1982). MSC: 41A50 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, Proc. Am. Math. Soc. 85, 557--561 (1982; Zbl 0526.41021) Full Text: DOI
Bridges, Douglas S. Recent progress in constructive approximation theory. (English) Zbl 0521.41022 The L. E. J. Brouwer Centen. Symp., Proc. Conf., Noordwijkerhout/ Holl. 1981, Stud. Logic Found. Math. 110, 41-50 (1982). MSC: 41A50 26A15 PDFBibTeX XML
Bridges, Douglas S. Preference and utility. A constructive development. (English) Zbl 0471.90018 J. Math. Econ. 9, 165-185 (1982). MSC: 91B16 91B08 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Math. Econ. 9, 165--185 (1982; Zbl 0471.90018) Full Text: DOI
Bridges, Douglas S. Correction to: On the isolation of zeros of an analytic function. (English) Zbl 0482.30008 Pac. J. Math. 97, 487-488 (1981). MSC: 30C15 PDFBibTeX XMLCite \textit{D. S. Bridges}, Pac. J. Math. 97, 487--488 (1981; Zbl 0482.30008) Full Text: DOI
Bridges, Douglas S. A constructive proximinality property of finite-dimensional linear subspaces. (English) Zbl 0478.41021 Rocky Mt. J. Math. 11, 491-497 (1981). MSC: 41A50 03F65 41A65 PDFBibTeX XMLCite \textit{D. S. Bridges}, Rocky Mt. J. Math. 11, 491--497 (1981; Zbl 0478.41021) Full Text: DOI
Bridges, Douglas S. On Montel’s proof of the great Picard theorem. (English) Zbl 0476.30021 Am. Math. Mon. 88, 45-47 (1981). MSC: 30D30 30D35 30D45 PDFBibTeX XMLCite \textit{D. S. Bridges}, Am. Math. Mon. 88, 45--47 (1981; Zbl 0476.30021) Full Text: DOI
Bridges, Douglas S. A constructive look at positive linear functionals on L(H). (English) Zbl 0473.46045 Pac. J. Math. 95, 11-25 (1981). MSC: 46L30 47B10 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, Pac. J. Math. 95, 11--25 (1981; Zbl 0473.46045) Full Text: DOI
Bridges, Douglas S. A constructive analysis of the Remes algorithm. (English) Zbl 0472.41024 J. Approximation Theory 32, 257-270 (1981). MSC: 41A50 41A25 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Approx. Theory 32, 257--270 (1981; Zbl 0472.41024) Full Text: DOI
Bridges, Douglas S. On the isolation of zeroes of an analytic function. (English) Zbl 0467.30004 Pac. J. Math. 96, 13-22 (1981). MSC: 30C15 PDFBibTeX XMLCite \textit{D. S. Bridges}, Pac. J. Math. 96, 13--22 (1981; Zbl 0467.30004) Full Text: DOI
Bridges, Douglas S. Towards a constructive foundation for quantum mechanics. (English) Zbl 0463.03038 Constructive mathematics, Proc. Conf., Las Cruces/N.M. 1980, Lect. Notes Math. 873, 260-273 (1981). MSC: 03F65 81P10 PDFBibTeX XML
Bridges, Douglas S. A constructive development of Chebyshev approximation theory. (English) Zbl 0458.41021 J. Approximation Theory 30, 99-120 (1980). MSC: 41A50 41A52 41A65 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Approx. Theory 30, 99--120 (1980; Zbl 0458.41021) Full Text: DOI
Bridges, Douglas S. On the foundations of best approximation theory. (English) Zbl 0441.41013 J. Approximation Theory 28, 273-292 (1980). MSC: 41A50 41A65 41A10 PDFBibTeX XMLCite \textit{D. S. Bridges}, J. Approx. Theory 28, 273--292 (1980; Zbl 0441.41013) Full Text: DOI
Bridges, Douglas S. Connectivity properties of metric spaces. (English) Zbl 0429.54007 Pac. J. Math. 80, 325-331 (1979). MSC: 54D05 54E35 03F55 PDFBibTeX XMLCite \textit{D. S. Bridges}, Pac. J. Math. 80, 325--331 (1979; Zbl 0429.54007) Full Text: DOI
Bridges, Douglas S. Geometric intuition and elementary constructive analysis. (English) Zbl 0427.03052 Z. Math. Logik Grundlagen Math. 25, 521-523 (1979). MSC: 03F65 26A15 PDFBibTeX XMLCite \textit{D. S. Bridges}, Z. Math. Logik Grundlagen Math. 25, 521--523 (1979; Zbl 0427.03052) Full Text: DOI
Bridges, Douglas S. A criterion for compactness in metric spaces? (English) Zbl 0413.03036 Z. Math. Logik Grundlagen Math. 25, 97-98 (1979). MSC: 03F65 54D30 54E35 PDFBibTeX XMLCite \textit{D. S. Bridges}, Z. Math. Logik Grundlagen Math. 25, 97--98 (1979; Zbl 0413.03036) Full Text: DOI
Bridges, Douglas S. On the constructive convergence of series of independent functions. (English) Zbl 0405.03033 Z. Math. Logik Grundlagen Math. 25, 93-96 (1979). MSC: 03F65 60F99 60A99 PDFBibTeX XMLCite \textit{D. S. Bridges}, Z. Math. Logik Grundlagen Math. 25, 93--96 (1979; Zbl 0405.03033) Full Text: DOI
Bridges, D. S. Constructive functional analysis. (English) Zbl 0401.03027 Research Notes in Mathematics. 28. London - San Francisco Melbourne: Pitman. 203 p. £7.50 (1979). MSC: 03F60 28C05 28C15 46L05 41A50 46S10 03-02 46-02 28-02 PDFBibTeX XML
Bridges, Douglas S. On weak operator compactness of the unit ball of L(H). (English) Zbl 0416.03053 Z. Math. Logik Grundlagen Math. 24, 493-494 (1978). MSC: 03F65 46A32 PDFBibTeX XMLCite \textit{D. S. Bridges}, Z. Math. Logik Grundlagen Math. 24, 493--494 (1978; Zbl 0416.03053) Full Text: DOI
Bridges, D. S. More on the connectivity of convex sets. (English) Zbl 0397.52001 Proc. Am. Math. Soc. 68, 214-216 (1978). MSC: 52A07 46A55 46B03 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, Proc. Am. Math. Soc. 68, 214--216 (1978; Zbl 0397.52001) Full Text: DOI
Bridges, Douglas S. On continuous mappings between locally compact metric spaces. (English) Zbl 0386.46024 Bull. Lond. Math. Soc. 10, 201-208 (1978). MSC: 46E15 46J10 03F65 54D35 PDFBibTeX XMLCite \textit{D. S. Bridges}, Bull. Lond. Math. Soc. 10, 201--208 (1978; Zbl 0386.46024) Full Text: DOI
Bridges, Douglas S. A note on Morse’s lambda-notation in set theory. (English) Zbl 0385.03041 Z. Math. Logik Grundlagen Math. 24, 113-114 (1978). MSC: 03E30 03B40 PDFBibTeX XMLCite \textit{D. S. Bridges}, Z. Math. Logik Grundlagen Math. 24, 113--114 (1978; Zbl 0385.03041) Full Text: DOI
Bridges, Douglas S. On the connectivity of convex sets. (English) Zbl 0378.46005 Bull. Lond. Math. Soc. 10, 86-90 (1978). MSC: 46A03 52A05 03F99 46B99 PDFBibTeX XMLCite \textit{D. S. Bridges}, Bull. Lond. Math. Soc. 10, 86--90 (1978; Zbl 0378.46005) Full Text: DOI
Bridges, Douglas S. The constructive Radon-Nikodym theorem. (English) Zbl 0386.28003 Pac. J. Math. 70, 51-65 (1977). MSC: 28A15 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, Pac. J. Math. 70, 51--65 (1977; Zbl 0386.28003) Full Text: DOI
Bridges, Douglas S. A constructive look at orthonormal bases in Hilbert space. (English) Zbl 0356.46026 Am. Math. Mon. 84, 189-191 (1977). MSC: 46C99 46B15 03F99 PDFBibTeX XMLCite \textit{D. S. Bridges}, Am. Math. Mon. 84, 189--191 (1977; Zbl 0356.46026) Full Text: DOI
Bridges, Douglas S. Some notes on continuity in constructive analysis. (English) Zbl 0333.02028 Bull. Lond. Math. Soc. 8, 179-182 (1976). MSC: 03F99 54A05 54E35 PDFBibTeX XMLCite \textit{D. S. Bridges}, Bull. Lond. Math. Soc. 8, 179--182 (1976; Zbl 0333.02028) Full Text: DOI