P.J. Johnstone, Stone Spaces, Cambridge Studies in Advanced Mathematics The introduction to the theory of locales. Contains the basic results and interesting references. In particular, the paper iThe point of pointless topologyj, BAMS, is quite suggestive.  Home/Search   Document Not in Database   Summary   Related Articles

....to suppose true a fact which may be not without importance in physics.j One of the hypotheses here was that ithe whole class of events can be well orderedj [Russell36] 4.2 Formal Topology 4.2. 1 Locales The idea of point free topology has been revived recently in the framework of locales [Stone] and, in computer science, with the notion of information systems [ML83,Scott82,Vickers89] The problem of using the Axiom of Choice in the construction of points gets in this framework a subtle partial solution, that is described by Johnstone [1981] In term of the theory of locales, it is ....

.... has been revived recently in the framework of locales [Stone] and, in computer science, with the notion of information systems [ML83,Scott82,Vickers89] The problem of using the Axiom of Choice in the construction of points gets in this framework a subtle partial solution, that is described by Johnstone [1981] In term of the theory of locales, it is noticed that ithe category of locales is actually more convenient in many ways than the category of 32 Coquand spacesj and that we can develop a constructive theory of spaces by staying at the level of the presentation of the spaces, without ever ....

[Article contains additional citation context not shown here]

P.J. Johnstone, Stone Spaces, Cambridge Studies in Advanced Mathematics The introduction to the theory of locales. Contains the basic results and interesting references. In particular, the paper iThe point of pointless topologyj, BAMS, is quite suggestive.

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