2017
DOI: 10.1007/978-3-319-61599-8
|View full text |Cite
|
Sign up to set email alerts
|

Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

1
53
0

Year Published

2017
2017
2023
2023

Publication Types

Select...
5
5

Relationship

0
10

Authors

Journals

citations
Cited by 37 publications
(54 citation statements)
references
References 46 publications
(96 reference statements)
1
53
0
Order By: Relevance
“…In much of the groupoid literature, these are simply called bisections, or sometimes slices 2. Indeed, since G is Hausdorff, S G is a Boolean inverse meet-semigroup (see, for example,[31]) with meet given by intersection. But since the additional Boolean meet-semigroup structure comes from the concrete realisation of S G as a collection of subsets of G, we will not introduce the formal axiomatisation of a Boolean inverse meet-semigroup here, but work concretely with the usual set operations when manipulating elements of S G .…”
mentioning
confidence: 99%
“…In much of the groupoid literature, these are simply called bisections, or sometimes slices 2. Indeed, since G is Hausdorff, S G is a Boolean inverse meet-semigroup (see, for example,[31]) with meet given by intersection. But since the additional Boolean meet-semigroup structure comes from the concrete realisation of S G as a collection of subsets of G, we will not introduce the formal axiomatisation of a Boolean inverse meet-semigroup here, but work concretely with the usual set operations when manipulating elements of S G .…”
mentioning
confidence: 99%
“…Recall that a Boolean inverse semigroup is an inverse semigroup S such that E(S) is a Boolean ring (a ring with x = x 2 for all x), and such that every pair x, y ∈ S satisfying x ⊥ y has a supremum, denoted x ⊕ y ∈ S (see [43, Definition 3-1.6] for further details). For the following definition, we refer to [43] for ease of accessibility; but it did not originate there (see for example [42,23,27]). If G is second countable, then the type semigroup Typ(G) is a countable conical refinement monoid.…”
Section: Amenability Of G Tight (S(e C))mentioning
confidence: 99%
“…Connections between inverse monoids or inverse semigroups in general, and Boolean structures (often with intersections) has been a subject of study in recent years. For an extended exposition of these and related matters see Friedrich Wehrung's 2017 Springer monograph [60].…”
Section: Some General Factsmentioning
confidence: 99%