PLURALISM IN MATHEMATICS (2004)

by E. B. Davies
Citations:2 - 1 self

Documents Related by Co-Citation

1 Foundations of Constructive Analysis. Higher Mathematics – Errett Bishop - 1967
6 Constructive Analysis. Number 279 in Grundlehren der mathematischen Wissenschaften – E Bishop, D Bridges - 1985
4 Collected works I. Philosophy and Foundations of Mathematics – L E J Brouwer - 1975
53 First steps in synthetic domain theory – Martin Hyland - 1991
3 English translation, “General Topology”, distrubuted by – Topologie Générale Hermann - 1966
3 Varieties in Constructive Mathematics. Number 97 – Douglas Bridges, Fred Richman - 1987
2 On topologies for function-spaces – Ralph Fox - 1945
23 Filter Spaces and Continuous Functions – J M E Hyland - 1979
31 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
26 ACourseofPure Mathematics – G H Hardy - 1952
3 Edelat and André Lieutier. Domain theory and differential calculus – Abbas - 2002
22 Constructive mathematics: A foundation for computable analysis – D S Bridges - 1999
3 Compactness and continuity, constructively revisited – D Bridges, H Ishihara, P Schuster - 2002
26 The lambda calculus: its syntax and semantics. Number 103 – H Barendregt - 1985
6 Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes – G Baigger - 1985
87 Logical arithmetic – J G Cleary - 1987
316 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
560 Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39 – G Gentzen - 1935
384 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik 1931;38:173–98 – K Gödel