R.L. Moore, Fundamenta Mathematicae 25. Contains a point-free presentation of the plane. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Computational Content of Classical Logic - Coquand (1996) (5 citations) (Correct)
....topological spaces, and the notion of formal spaces, by which we can describe in an eoeective way these models. 4. 1 Historical Roots The idea of point free topology seems to go back to Whitehead (around 1910) and it was rst presented by Russell (see [Russell14] The 1935 paper by Moore [Moore35] presents a point free version of the plane and the sphere, while Menger [Menger] presents a survey of some notions of point free topology in 1940. The main application for Russell was an analysis of the use of mathematical abstractions in representing the physical world. The idea was to de ne ....
R.L. Moore, Fundamenta Mathematicae 25. Contains a point-free presentation of the plane.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC