Results 1 to 10 of about 56,105 (299)
Labelled transition systems as a Stone space [PDF]
A fully abstract and universal domain model for modal transition systems and refinement is shown to be a maximal-points space model for the bisimulation quotient of labelled transition systems over a finite set of events.
Michael Huth
doaj +6 more sources
The goal of this paper is to characterize each of compact, totally disconnected, Stone relation spaces, and Stone reflexive spaces as well as examine the relationships between them. Finally, we investigate some properties of them and compare our results.
Mehmet Baran
openalex +5 more sources
QUASI-TOPOLOGICAL STONE SPACES [PDF]
The author investigates basic properties concerning quasi-topological Stone spaces and presents some relationships between quasi-topological Boolean algebras and quasi-topological Stone spaces. He proves that the categories of quasi-topological Boolean algebras with homomorphisms and quasi-topological Stone spaces with 2-continuous mappings are dually ...
Bronislaw Tembrowski
openalex +3 more sources
Stone duality for Kolgomorov small spaces [PDF]
In this paper, we prove new versions of Stone Duality. The main version is the following: the category of Kolmogorov locally small spaces and bounded continuous mappings is equivalent to the category of spectral spaces with decent lumps and with bornologies in the lattices of (quasi-) compact open sets as objects and spectral mappings respecting those ...
Artur Piękosz
openalex +4 more sources
Between a Stone and a Hausdorff Space [PDF]
We consider the duality between General Relativity and the theory of Einstein algebras, in the extended setting where one permits non-Hausdorff manifolds. We show that the duality breaks down, and then go on to discuss a sense in which general relativity, formulated using non-Hausdorff manifolds, exhibits excess structure when compared to Einstein ...
Jingyi Wu, James Owen Weatherall
openalex +3 more sources
On the Stone-Čeck compactification of an orbit space [PDF]
By extending the given action of a discrete group G on a Tychonoff space X to βX, it is proved that the Stone-Čech compactification of the orbit space of X is the orbit space of the Stone-Čech compactification βX of X, when G is finite. The notion of G-retractive spaces is introduced and it is proved that the orbit space of a G-retractive space with G ...
Kavita Srivastava
openalex +2 more sources
The Stone Age in a Space Cruiser
The Jeongok Prehistory Museum in South Korea. Like a stranded UFO the building is settled between the hills at a river (See Figure 1), the sun reflects off the metal outer skin.
Wulf Hein
doaj +1 more source
Stone space partitions indexed by a poset [PDF]
A. B. Apps
exaly +2 more sources
Some topological invariants of Stone spaces. [PDF]
Roger Wiegand
openalex +3 more sources

