Constructive analysis E Bishop, D Bridges Springer Science & Business Media, 2012 | 1607 | 2012 |
Varieties of constructive mathematics D Bridges, F Richman Cambridge University Press, 1987 | 961 | 1987 |
Representations of preferences orderings DS Bridges, GB Mehta Springer Science & Business Media, 2013 | 379 | 2013 |
Techniques of constructive analysis DS Bridges, LS Vita Springer Science & Business Media, 2007 | 295 | 2007 |
Constructive functional analysis DS Bridges, P Zahn Journal of Symbolic Logic 47 (3), 1982 | 183 | 1982 |
Constructive mathematics D Bridges, E Palmgren, H Ishihara | 133 | 1997 |
Constructive mathematics: a foundation for computable analysis DS Bridges Theoretical computer science 219 (1-2), 95-109, 1999 | 127 | 1999 |
A constructive proof of Gleason's theorem F Richman, D Bridges Journal of Functional Analysis 162 (2), 287-312, 1999 | 107 | 1999 |
Foundations of real and abstract analysis DS Bridges Springer Science & Business Media, 1998 | 98 | 1998 |
Computability: a mathematical sketchbook DS Bridges Springer Science & Business Media, 2012 | 83 | 2012 |
Apartness and uniformity DS Bridges | 75 | 2011 |
Numerical representation of intransitive preferences on a countable set DS Bridges Journal of Economic Theory 30 (1), 213-217, 1983 | 61 | 1983 |
Constructive mathematics in theory and programming practice D Bridges, S Reeves Philosophia Mathematica 7 (1), 65-104, 1999 | 57 | 1999 |
The fan theorem and unique existence of maxima J Berger, D Bridges, P Schuster The Journal of Symbolic Logic 71 (2), 713-720, 2006 | 55 | 2006 |
Apartness spaces as a framework for constructive topology D Bridges, L Vîţă Annals of Pure and Applied Logic 119 (1-3), 61-83, 2003 | 55 | 2003 |
A numerical representation of preferences with intransitive indifference DS Bridges Journal of Mathematical Economics 11 (1), 25-42, 1983 | 54 | 1983 |
A fan-theoretic equivalent of the antithesis of Specker's theorem J Berger, D Bridges Indagationes Mathematicae 18 (2), 195-202, 2007 | 49 | 2007 |
Strong continuity implies uniform sequential continuity D Bridges, H Ishihara, P Schuster, L Vîţa Archive for Mathematical Logic 44, 887-895, 2005 | 46 | 2005 |
Numerical representation of interval orders on a topological space DS Bridges Journal of Economic Theory 38 (1), 160-166, 1986 | 43 | 1986 |
A constructive look at the real number line DS Bridges Real numbers, generalizations of the reals, and theories of continua, 29-92, 1994 | 40 | 1994 |