Results 1 to 10 of about 56,105 (299)

Labelled transition systems as a Stone space [PDF]

open access: diamondLogical Methods in Computer Science, 2005
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

A Note on Stone Spaces

open access: hybridProceedings of International Mathematical Sciences, 2023
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

Computable Stone spaces

open access: greenAnnals of Pure and Applied Logic, 2021
18 ...
Nikolay Bazhenov   +2 more
openalex   +3 more sources

QUASI-TOPOLOGICAL STONE SPACES [PDF]

open access: hybridDemonstratio Mathematica, 1994
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]

open access: greenSymmetry, 2019
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]

open access: greenThe British Journal for the Philosophy of Science, 2023
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]

open access: diamondBulletin of the Australian Mathematical Society, 1987
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

open access: yesEXARC Journal, 2012
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

Home - About - Disclaimer - Privacy