Results 11 to 20 of about 158 (32)

Unital hyperarchimedean vector lattices [PDF]

, 2013
We prove that the category of unital hyperarchimedean vector lattices is equivalent to the category of Boolean algebras. The key result needed to establish the equivalence is that, via the Yosida representation, such a vector lattice is naturally ...
Ball, Richard N., Marra, Vincenzo
core   +2 more sources

Constructions of thin-tall Boolean spaces [PDF]

, 2003
This is an expository paper about constructions of locally compact, Hausdorff, scattered spaces whose Cantor-Bendixson height has cardinality greater than their Cantor-Bendixson ...
Martínez, Juan Carlos
core   +2 more sources

Labelled transition systems as a Stone space [PDF]

, 2004
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.
Desharnais, Di Pierro, Huth, Martín Escardó, Michael Huth, Milner, Mislove, Ryan, Vickers   +8 more
core   +7 more sources

Non-commutative Stone duality: inverse semigroups, topological groupoids and C*-algebras [PDF]

, 2012
We study a non-commutative generalization of Stone duality that connects a class of inverse semigroups, called Boolean inverse $\wedge$-semigroups, with a class of topological groupoids, called Hausdorff Boolean groupoids. Much of the paper is given over
Lawson, Mark V
core   +1 more source

The Katowice problem and autohomeomorphisms of $\omega^*$

, 2015
We show that the existence of a homeomorphism between $\omega_0^*$ and $\omega_1^*$ entails the existence of a non-trivial autohomeomorphism of $\omega_0^*$
Chodounsky, David, de Vries, Harm, Dow, Alan, Hart, Klaas Pieter   +3 more
core   +1 more source

Monadic dynamic algebras [PDF]

, 2006
The main purpose of this work is to introduce the class of the monadic dynamic algebras (dynamic algebras with one quantifier). Similarly to a theorem of Kozen we establish that every separable monadic dynamic algebra is isomorphic to a monadic (possibly
Oliveira-Martins, M. Teresa, Pinto, M. Céu, Pinto, S. Marques   +2 more
core   +1 more source

Preservation and reflection of size properties of balleans [PDF]

, 2017
We study the combinatorial size of subsets of a ballean, as defined in [19,23] (largeness, smallness, extralargeness, etc.), paying particular attention to the preservation of these properties under taking images and inverse images along various classes ...
Dikranjan, Dikran, Zava, Nicol\uf2
core   +1 more source

Tarski monoids: Matui's spatial realization theorem

, 2017
We introduce a class of inverse monoids, called Tarski monoids, that can be regarded as non-commutative generalizations of the unique countable, atomless Boolean algebra. These inverse monoids are related to a class of etale topological groupoids under a
A Kumjian, Ch Heunen, DH Lenz, G Kudryavtseva, H Matui, H Matui, J Leech, M Rubin, Mark V. Lawson, MV Lawson, MV Lawson, MV Lawson, MV Lawson, MV Lawson, MV Lawson, MV Lawson, NK Kroshko, P Resende, S Givant, Y Lavrenyuk   +19 more
core   +1 more source

Closure Operators on Complete Almost Distributive Lattices-III [PDF]

, 2015
In this paper, we prove that the lattice of all closure operators of a complete Almost Distributive Lattice L with fixed maximal element m is dual atomistic.
Rao, Calyampudi Radhakrishna, Undurthi, Venugopalam   +1 more
core  

Counting submodules of a module over a noetherian commutative ring

, 2019
We count the number of submodules of an arbitrary module over a countable noetherian commutative ring. We give, along the way, a structural description of meager modules, which are defined as those that do not have the square of a simple module as ...
Cornulier, Yves
core   +2 more sources