Seguir
Douglas Bridges
Douglas Bridges
Dirección de correo verificada de math.canterbury.ac.nz
Título
Citado por
Citado por
Año
Constructive analysis
E Bishop, D Bridges
Springer Science & Business Media, 2012
16022012
Varieties of constructive mathematics
D Bridges, F Richman
Cambridge University Press, 1987
9581987
Representations of preferences orderings
DS Bridges, GB Mehta
Springer Science & Business Media, 2013
3762013
Techniques of constructive analysis
DS Bridges, LS Vita
Springer Science & Business Media, 2007
2952007
Constructive functional analysis
DS Bridges, P Zahn
Journal of Symbolic Logic 47 (3), 1982
1831982
Constructive mathematics
D Bridges, E Palmgren, H Ishihara
1311997
Constructive mathematics: a foundation for computable analysis
DS Bridges
Theoretical computer science 219 (1-2), 95-109, 1999
1271999
A constructive proof of Gleason's theorem
F Richman, D Bridges
Journal of Functional Analysis 162 (2), 287-312, 1999
1071999
Foundations of real and abstract analysis
DS Bridges
Springer Science & Business Media, 1998
981998
Computability: a mathematical sketchbook
DS Bridges
Springer Science & Business Media, 2012
832012
Apartness and uniformity
DS Bridges
752011
Numerical representation of intransitive preferences on a countable set
DS Bridges
Journal of Economic Theory 30 (1), 213-217, 1983
611983
Constructive mathematics in theory and programming practice
D Bridges, S Reeves
Philosophia Mathematica 7 (1), 65-104, 1999
571999
The fan theorem and unique existence of maxima
J Berger, D Bridges, P Schuster
The Journal of Symbolic Logic 71 (2), 713-720, 2006
552006
Apartness spaces as a framework for constructive topology
D Bridges, L Vîţă
Annals of Pure and Applied Logic 119 (1-3), 61-83, 2003
552003
A numerical representation of preferences with intransitive indifference
DS Bridges
Journal of Mathematical Economics 11 (1), 25-42, 1983
541983
A fan-theoretic equivalent of the antithesis of Specker's theorem
J Berger, D Bridges
Indagationes Mathematicae 18 (2), 195-202, 2007
492007
Strong continuity implies uniform sequential continuity
D Bridges, H Ishihara, P Schuster, L Vîţa
Archive for Mathematical Logic 44, 887-895, 2005
462005
Numerical representation of interval orders on a topological space
DS Bridges
Journal of Economic Theory 38 (1), 160-166, 1986
431986
A constructive look at the real number line
DS Bridges
Real numbers, generalizations of the reals, and theories of continua, 29-92, 1994
401994
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20