pith. machine review for the scientific record. sign in

arxiv: 2604.18304 · v1 · submitted 2026-04-20 · 🧮 math.OA · math.RA

Recognition: unknown

An introduction to separated graphs and their type semigroups

Pere Ara

Pith reviewed 2026-05-10 03:16 UTC · model grok-4.3

classification 🧮 math.OA math.RA
keywords separated graphstype semigroupC*-algebrasself-similar actionsdirected graphsgroupoid C*-algebrasdynamical systemsExel-Pardo algebras
0
0 comments X

The pith

Formulas exist to compute the type semigroup directly from the combinatorial data for self-similar actions on row-finite graphs without sources and for finite bipartite separated graphs.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces C*-algebras associated with directed graphs, along with two generalizations: Exel-Pardo C*-algebras from self-similar group actions on graphs and C*-algebras from separated graphs. These constructions share a dynamical character as groupoid C*-algebras built from combinatorial structure. It supplies explicit formulas for the type semigroup in the general case of self-similar actions on row-finite graphs without sources, following one prior paper, and for any finite bipartite separated graph, following another. The paper also reviews structural results for the type semigroup across different dynamical systems.

Core claim

The type semigroup for a general self-similar action of a group on a row-finite graph without sources is given by an explicit formula computed from the graph and action data. The type semigroup for any finite bipartite separated graph is likewise given by an explicit formula from its combinatorial data. Both formulas follow from the groupoid models in the cited prior works, so the invariant is determined directly from the discrete structure rather than from the algebra.

What carries the argument

The type semigroup of the dynamical system, which serves as an algebraic invariant of the associated C*-algebra and admits direct combinatorial computation via the supplied formulas in the two classes of graphs and actions.

Load-bearing premise

The graphs or actions satisfy the stated restrictions of being row-finite without sources or finite bipartite, and the formulas apply directly from the two cited prior papers.

What would settle it

Take a small concrete finite bipartite separated graph, apply the formula to obtain its type semigroup, and compare the result to an independent computation of the type semigroup obtained directly from the groupoid or from the definition in the algebra.

Figures

Figures reproduced from arXiv: 2604.18304 by Pere Ara.

Figure 1
Figure 1. Figure 1: Automaton for the lamplighter group By [58, Section 8], the C ∗ -algebra OΓ,R2 associated to the self-similar ac￾tion of the lamplighter group Γ is unital, nuclear, simple and purely infinite. Moreover K0(OΓ,R2 ) = K1(OΓ,R2 ) = 0. Hence we can conclude from the classification theorem that OΓ,R2 ∼= O2. Remark 3.9. In [62, Definition 5.4], Rainone and Sims define the type semi￾group of the ample groupoid G a… view at source ↗
Figure 2
Figure 2. Figure 2: The separated graph (E(2, 3), C(2, 3)) We now give an example related to the universal C ∗ -algebra generated by a partial isometry. Example 4.7. Let (E, C) be the separated graph described in [PITH_FULL_IMAGE:figures/full_fig_p021_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The separated graph of a partial isometry Example 4.8. Let (E, C) be the separated graph described in [PITH_FULL_IMAGE:figures/full_fig_p022_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The separated graph underlying the lamplighter group It is easy to show that vO(E, C)v ∼= C ∗ (Z2 ≀ Z), vLab(E, C)v ∼= C[Z2 ≀ Z], where Z2 ≀ Z is the lamplighter group, see Definition 3.8. The C ∗ -algebra C ∗ (Z2 ≀ Z) is isomorphic to the crossed product C ∗ -algebra C({0, 1} Z) ⋊ Z associated to the two-sided shift on the Cantor space {0, 1} Z of biinfinite sequences on {0, 1}. This follows upon identify… view at source ↗
Figure 5
Figure 5. Figure 5: The separated graph underlying the lamplighter group Recall from Example 4.8 that vO(E, C)v ∼= C ∗ (Z2 ≀ Z) ∼= C({0, 1} Z ) ⋊ Z, and similarly vLab(E, C)v ∼= C[Z2 ≀ Z] ∼= A({0, 1} Z ) ⋊ Z, where Z2 ≀ Z is the lamplighter group, C({0, 1} Z) ⋊ Z is the C ∗ -algebra associated to the two-sided shift on the Cantor space {0, 1} Z of biinfinite sequences on {0, 1}, and A({0, 1} Z)⋊Z is the corresponding algebrai… view at source ↗
Figure 6
Figure 6. Figure 6: A configuration in (E, C) Hence the first layer of the sequence {(En, Cn )}n≥0 corresponds to a trivial decomposition X 0 = X and to the decomposition X 1 0 = 0, X 1 1 = 1. The maps corresponding to the edges are the maps αi : X 1 i → X and βi : X 1 i → X defined by αi = id|X1 i and βi = σ −1 |X1 i . We now describe the clopen sets corresponding to the separated graph (E1, C1 ), which we identify with the … view at source ↗
Figure 7
Figure 7. Figure 7: The two first layers of the Bratteli diagram of the full shift We now describe in general the clopen sets corresponding to the separated graph (En, Cn ) for any n ≥ 1. Let w = a1a2 · · · an ∈ {0, 1} n be a word of length n. If n = 2m is even, define X n w := [a1 · · · amam+1 · · · a2m]. If n = 2m + 1 is odd, define X n w := [a1 · · · amam+1am+2 · · · a2m+1] [PITH_FULL_IMAGE:figures/full_fig_p041_7.png] view at source ↗
read the original abstract

We introduce $C^*$-algebras associated with directed graphs, along with two generalizations of this concept, namely Exel-Pardo $C^*$-algebras associated with a self-similar action of a group on a directed graph, and the $C^*$-algebras associated with separated graphs. These constructions have in common that they have a dynamical behavior, being the groupoid $C^*$-algebras associated to certain topological groupoids, which are built from the combinatorial structure. An important invariant one may associate to these dynamical systems is the so-called type semigroup. We will find a formula to compute the type semigroup for a general self-similar action of a group on a row-finite graph $E$ without sources, following a recent paper by Kwa\'sniewski, Meyer and Prasad, and for any finite bipartite separated graph, following a paper by Exel and the author. In addition, we will review various results concerning the structure of the type semigroup for different dynamical systems.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript introduces C*-algebras associated with directed graphs, along with two generalizations: Exel-Pardo C*-algebras arising from self-similar actions of a group on a directed graph, and C*-algebras associated with separated graphs. These are presented as groupoid C*-algebras built from combinatorial data. The central contribution is the statement of explicit formulas for the type semigroup in two settings: for a general self-similar action of a group on a row-finite graph E without sources (following Kwaś niewski-Meyer-Prasad), and for any finite bipartite separated graph (following Exel and the author). The paper additionally reviews structural results on the type semigroup for various dynamical systems.

Significance. As a review article, the manuscript compiles known formulas and structural results for the type semigroup, an important invariant of the associated groupoid C*-algebras. If the recalled formulas are stated accurately, it offers a convenient reference point for researchers working on graph C*-algebras, self-similar actions, and separated graphs, particularly for understanding dynamical invariants without needing to consult the original sources for the basic statements.

minor comments (3)
  1. [Abstract] The abstract states that the authors 'will find a formula' for the type semigroup, yet immediately attributes the formulas to two external papers. Clarify in the introduction or §1 that the manuscript is a review that recalls and states these formulas rather than deriving them anew.
  2. [Introduction] Ensure that the precise statements of the type-semigroup formulas (including any hypotheses on the graphs or actions) are reproduced verbatim or with explicit cross-references to the cited works, so that readers can verify applicability without consulting the originals.
  3. Check consistency of notation between the graph C*-algebra section and the separated-graph section (e.g., use of E for the graph versus notation for the separated graph).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of its scope as an introductory review, and recommendation for acceptance. We are pleased that the compilation of formulas for type semigroups is viewed as a convenient reference for the field.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The manuscript is an introductory review that explicitly attributes its central formulas for type semigroups to two prior external papers (Kwaś niewski-Meyer-Prasad for self-similar actions and Exel-Ara for finite bipartite separated graphs). No derivations, ansatzes, or predictions are performed inside the present text; the formulas are stated as taken directly from the cited sources under the stated graph restrictions. The single self-citation to the author's prior joint work is a standard reference to an established result and carries no load-bearing role in any internal derivation chain. The paper therefore remains self-contained against external benchmarks with no reduction of claims to self-defined quantities or fitted inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; the ledger therefore records the background assumptions stated there. No new free parameters, ad-hoc axioms, or invented entities are introduced in the summary.

axioms (1)
  • standard math Standard constructions of groupoid C*-algebras from directed graphs and self-similar actions are well-defined and functorial.
    The abstract presupposes these constructions without re-deriving them.

pith-pipeline@v0.9.0 · 5461 in / 1211 out tokens · 35085 ms · 2026-05-10T03:16:16.569178+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

73 extracted references · 6 canonical work pages

  1. [1]

    Abadie,Enveloping actions and Takai duality for partial actions, J

    F. Abadie,Enveloping actions and Takai duality for partial actions, J. Funct. Anal. 197(2003), 14–67

    2003

  2. [2]

    Abrams, P

    G. Abrams, P. Ara, M. Siles Molina, Leavitt path algebras, Lecture Notes in Math., 2191 Springer, London, 2017

    2017

  3. [3]

    Becky Armstrong, Lisa Orloff Clark, Astrid An Huef, Diego Mart´ ınez, Ilija Tolich,A dichotomy for inverse-semigroup crossed products via dynamical Cuntz semigroups, arXiv:2601.07100 [math.OA]

    work page arXiv

  4. [4]

    Ara,Purely infinite simple reducedC ∗-algebras of one-relator separated graphs, J

    P. Ara,Purely infinite simple reducedC ∗-algebras of one-relator separated graphs, J. Math. Anal. Appl.393(2012), 493–508

    2012

  5. [5]

    P. Ara, C. B¨ onicke, J. Bosa, K. Li,The type semigroup, comparison, and almost finiteness for ample groupoids, Ergodic Theory Dynam. Systems43(2023), 361–400

    2023

  6. [6]

    P. Ara, J. Bosa, E. Pardo, A. Sims,The groupoids of adaptable separated graphs and their type semigroups, Int. Math. Res. Not. IMRN 2021, no. 20, 15444–15496

    2021

  7. [7]

    P. Ara, A. Buss, A. D. Costa,Inverse semigroups of separated graphs and associated algebras, Bull. Braz. Math. Soc. (N.S.)56(2025), no. 3, Paper No. 38

    2025

  8. [8]

    P. Ara, J. Claramunt,L 2-Betti numbers arising from the lamplighter group, J. Alge- braic Combin.54(2021), 1201–1245. GRAPHC ∗-ALGEBRAS 45

    2021

  9. [9]

    P. Ara, J. Claramunt,A correspondence between surjective local homeomorphisms and a family of separated graphs, Discrete Contin. Dyn. Syst.44(2024), 1178–1266

    2024

  10. [10]

    Ara, K.R

    P. Ara, K.R. Goodearl, K.C. O’Meara, E. Pardo,Separative cancellation for projective modules over exchange rings, Israel J. Math.105(1998), 105–137

    1998

  11. [11]

    P. Ara, R. Exel,Dynamical systems associated to separated graphs, graph algebras, and paradoxical decompositions, Adv. Math.252(2014), 748–804

    2014

  12. [12]

    P. Ara, R. Exel, T. Katsura,Dynamical systems of type(m, n)and theirC ∗-algebras, Ergodic Theory Dynam. Systems33(2013), 1291–1325

    2013

  13. [13]

    Ara, K.R

    P. Ara, K.R. Goodearl,C ∗-algebras of separated graphs, J. Funct. Anal.261(2011), 2540–2568

    2011

  14. [14]

    Ara, K.R

    P. Ara, K.R. Goodearl,Leavitt path algebras of separated graphs, J. Reine Angew. Math.669(2012), 165–224

    2012

  15. [15]

    Ara, K.R

    P. Ara, K.R. Goodearl,Tame and wild refinement monoids, Semigroup Forum91 (2015), 1–27

    2015

  16. [16]

    Ara, K.R

    P. Ara, K.R. Goodearl, P.P. Nielsen, K.C. O’Meara, E. Pardo, F. Perera,Levels of cancellation for monoids and modules, J. Australian Math. Soc., published online 2025, doi:10.1017/S144678872510133X

    work page doi:10.1017/s144678872510133x 2025

  17. [17]

    P. Ara, M. Lolk,Convex subshifts, separated Bratteli diagrams, and ideal structure of tame separated graph algebras, Adv. Math.328(2018), 367–435

    2018

  18. [18]

    P. Ara, M. A. Moreno, E. Pardo,Nonstable K -theory for graph algebras, Algebr. Represent. Theory10(2007), 157–178

    2007

  19. [19]

    Blackadar, K-theory for operator algebras, Math

    B. Blackadar, K-theory for operator algebras, Math. Sci. Res. Inst. Publ., 5 Cam- bridge University Press, Cambridge, 1998

    1998

  20. [20]

    B¨ onicke, C

    C. B¨ onicke, C. Dell’Aiera, J. Gabe, R. Willett,Dynamic asymptotic dimension and Matui’s HK conjecture, Proc. Lond. Math. Soc. (3)126(2023), 1182–1253

    2023

  21. [21]

    B¨ onicke, K

    C. B¨ onicke, K. Li,Ideal structure and pure infiniteness of ample groupoidC∗-algebras, Ergodic Theory Dynam. Systems40(2020), 34–63

    2020

  22. [22]

    Brenken, Z

    B. Brenken, Z. Niu,TheC ∗-algebra of a partial isometry, Proc. Amer. Math. Soc. 140(2012), 199–206

    2012

  23. [23]

    Brown,Ext of certain free productC ∗-algebras, J

    L.G. Brown,Ext of certain free productC ∗-algebras, J. Operator Theory6(1981), 135–141

    1981

  24. [24]

    Clark, R

    L.O. Clark, R. Exel, E. Pardo, A. Sims, C. Starling,Simplicity of algebras associated to non-Hausdorff groupoids, Trans. Amer. Math. Soc.372(2019), 3669–3712

    2019

  25. [25]

    Chen,On separative refinement monoids, Bull

    H. Chen,On separative refinement monoids, Bull. Korean Math. Soc.46(2009), 489–498

    2009

  26. [26]

    Claramunt,Combinatorial approximations of dynamical systems: a separated graph approach

    J. Claramunt,Combinatorial approximations of dynamical systems: a separated graph approach. Preprint

  27. [27]

    Cuntz,SimpleC ∗-algebras generated by isometries, Commun

    J. Cuntz,SimpleC ∗-algebras generated by isometries, Commun. Math. Phys.57 (1977), 173–185

    1977

  28. [28]

    Cuntz,K -theory for certainC ∗-algebras, Ann

    J. Cuntz,K -theory for certainC ∗-algebras, Ann. of Math. (2)113(1981), 181–197

    1981

  29. [29]

    Cuntz, W

    J. Cuntz, W. Krieger,A class ofC ∗-algebras and topological Markov chains, Invent. Math.56(1980), 251–268

    1980

  30. [30]

    D’Andrea,Quantum spheres as graph C*-algebras: a review, Expo

    F. D’Andrea,Quantum spheres as graph C*-algebras: a review, Expo. Math.42 (2024), Paper No. 125632, 31 pp

    2024

  31. [31]

    Dicks, T

    W. Dicks, T. Schick,The Spectral Measure of Certain Elements of the Complex Group Ring of a Wreath Product, Geometriae Dedicata93(2002), 121–137

    2002

  32. [32]

    Dobbertin,Refinement monoids, Vaught monoids, and Boolean algebras, Math

    H. Dobbertin,Refinement monoids, Vaught monoids, and Boolean algebras, Math. Ann.265(1983), 473–487

    1983

  33. [33]

    Exel,Inverse semigroups and combinatorialC ∗-algebras, Bull

    R. Exel,Inverse semigroups and combinatorialC ∗-algebras, Bull. Braz. Math. Soc. (N.S.) 39 (2008), 191–313

    2008

  34. [34]

    Exel, Partial dynamical systems, Fell bundles and applications, Math

    R. Exel, Partial dynamical systems, Fell bundles and applications, Math. Surveys Monogr., 224 American Mathematical Society, Providence, RI, 2017. 46 PERE ARA

    2017

  35. [35]

    R. Exel, E. Pardo,Self-similar graphs, a unified treatment of Katsura and Nekra- shevychC ∗-algebras, Adv. Math.306(2017), 1046–1129

    2017

  36. [36]

    Giordano, I

    T. Giordano, I. F. Putnam, and C. F. Skau,Topological orbit equivalence andC ∗- crossed products, J. Reine Angew. Math.469(1995), 51–111

    1995

  37. [37]

    K. R. Goodearl,Partially Ordered Abelian Groups with Interpolation, Math. Surveys and Monographs20, Amer. Math. Soc., Providence, 1986

    1986

  38. [38]

    K. R. Goodearl, Leavitt path algebras and direct limits, Contemp. Math., 480, Amer- ican Mathematical Society, Providence, RI, 2009, 165–187

    2009

  39. [39]

    Grabowski,Irrationalℓ 2-invariants arising from the lamplighter group, Groups Geom

    L. Grabowski,Irrationalℓ 2-invariants arising from the lamplighter group, Groups Geom. Dyn.10(2016), 795–817

    2016

  40. [40]

    Grigorchuk, V

    R.I. Grigorchuk, V. V. Nekrashevich, V.I. Sushchanski˘ ı,Automata, dynamical sys- tems, and groups, Tr. Mat. Inst. Steklova231(2000), 134–214; translation in Proc. Steklov Inst. Math. 2000, no. 4 (231), 128–203

    2000

  41. [41]

    R. I. Grigorchuk, A. ˙Zuk,The Lamplighter Group as a Group Generated by a2-state Automaton, and its Spectrum, Geometriae Dedicata87(2001), 209–244

    2001

  42. [42]

    Hancock, I

    R. Hancock, I. Raeburn,TheC ∗-algebras of some inverse semigroups, Bull. Austral. Math. Soc.42(1990), 335–348

    1990

  43. [43]

    Katsura,A construction of actions on Kirchberg algebras which induce given ac- tions on their K-groups, J

    T. Katsura,A construction of actions on Kirchberg algebras which induce given ac- tions on their K-groups, J. Reine Angew. Math.617(2008), 27–65

    2008

  44. [44]

    D. Kerr, P. W. Nowak,Residually finite actions and crossed products, Ergodic Theory and Dynamical Systems32(2012), 1585–1614

    2012

  45. [45]

    Kumjian, D

    A. Kumjian, D. Pask, I. Raeburn, J. Renault,Graphs, groupoids, and Cuntz-Krieger algebras, J. Funct. Anal.144(1997), 505–541

    1997

  46. [46]

    B. K. Kwa´ sniewski, R. Meyer, A. Prasad,Type semigroups for twisted groupoids and a dichotomy for groupoidC ∗-algebras, arXiv:2502.17190v2 [math.OA]

    work page arXiv

  47. [47]

    Larki,A dichotomy for simple self-similar graphC ∗-algebras, J

    H. Larki,A dichotomy for simple self-similar graphC ∗-algebras, J. Math. Anal. Appl. 494(2021), no. 2, Paper No. 124622, 16 pp

    2021

  48. [48]

    M. V. Lawson, Inverse semigroups, World Scientific Publishing Co., Inc., River Edge, NJ, 1998

    1998

  49. [49]

    W. G. Leavitt,Modules without invariant basis number, Proc. Amer. Math. Soc.8 (1957), 322–328

    1957

  50. [50]

    W. G. Leavitt,The module type of a ring, Trans. Amer. Math. Soc.103(1962), 113–130

    1962

  51. [51]

    Lolk,On nuclearity and exactness of the tameC ∗-algebras associated with finitely separated graphs, arXiv:1705.04500

    M. Lolk,On nuclearity and exactness of the tameC ∗-algebras associated with finitely separated graphs, arXiv:1705.04500. [math.OA]

    work page arXiv

  52. [52]

    Ma,Purely infinite locally compact Hausdorff ´ etale groupoids and theirC∗-algebras, Int

    X. Ma,Purely infinite locally compact Hausdorff ´ etale groupoids and theirC∗-algebras, Int. Math. Res. Not. IMRN11(2022), 8420–8471

    2022

  53. [53]

    Matui, ´Etale groupoids arising from products of shifts of finite type, Adv

    H. Matui, ´Etale groupoids arising from products of shifts of finite type, Adv. Math. 303(2016), 502–548

    2016

  54. [54]

    McClanahan,C ∗-algebras generated by elements of a unitary matrix, J

    K. McClanahan,C ∗-algebras generated by elements of a unitary matrix, J. Funct. Anal.107(1992), 439–457

    1992

  55. [55]

    McClanahan,K-theory and Ext -theory for rectangular unitaryC ∗-algebras, Rocky Mountain J

    K. McClanahan,K-theory and Ext -theory for rectangular unitaryC ∗-algebras, Rocky Mountain J. Math.23(1993), 1063–1080

    1993

  56. [56]

    Melleray,Clopen type semigroups of actions on0-dimensional compact spaces, Groups Geom.Dyn.19(2025), 957–987

    J. Melleray,Clopen type semigroups of actions on0-dimensional compact spaces, Groups Geom.Dyn.19(2025), 957–987

    2025

  57. [57]

    Melleray, S

    J. Melleray, S. Robert,From invariant measures to orbit equivalence, via locally finite groups, Ann. H. Lebesgue6(2023), 259–295

    2023

  58. [58]

    Miller, B

    A. Miller, B. Steinberg,Homology and K-theory for self-similar actions of groups and groupoids,arXiv:2409.02359v1(2024)

    work page arXiv 2024

  59. [59]

    Nekrashevych,C ∗-algebras and self-similar groups, J

    V. Nekrashevych,C ∗-algebras and self-similar groups, J. reine angew. Math.630 (2009), 59–123

    2009

  60. [60]

    Pardo,An overview on self-similar graphs, their generalizations, and their associ- ated algebras,arXiv:2509.18702[math.OA](2025)

    E. Pardo,An overview on self-similar graphs, their generalizations, and their associ- ated algebras,arXiv:2509.18702[math.OA](2025). GRAPHC ∗-ALGEBRAS 47

    work page arXiv 2025

  61. [61]

    D. Pask, A. Sierakowski, A. Sims,Unbounded quasitraces, stably finiteness and pure infiniteness, Houston J. Math.45(2019), 763–814

    2019

  62. [62]

    Rainone, A

    T. Rainone, A. Sims,A dichotomy for groupoidC ∗-algebras, Ergodic Theory and Dynamical Systems40(2020), 521–563

    2020

  63. [63]

    Raeburn, Graph algebras, CBMS Reg

    I. Raeburn, Graph algebras, CBMS Reg. Conf. Ser. Math., 103. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2005

    2005

  64. [64]

    Rørdam, A

    M. Rørdam, A. Sierakowski,Purely infinite C*-algebras arising from crossed products, Ergodic Theory and Dynamical Systems32(2012), 273–293

    2012

  65. [65]

    A. Sims, G. Szab´ o, D. Williams, Operator algebras and dynamics: groupoids, crossed products, and Rokhlin dimension, Adv. Courses Math. CRM Barcelona Birkh¨ auser/Springer, Cham, 2020

    2020

  66. [66]

    Skipper, B

    R. Skipper, B. Steinberg,Lamplighter groups, bireversible automata, and rational series over finite rings, Groups Geom. Dyn.14(2020), no. 2, 567–589

    2020

  67. [67]

    Szyma´ nski,The range of K -invariants forC ∗-algebras of infinite graphs, Indiana Univ

    W. Szyma´ nski,The range of K -invariants forC ∗-algebras of infinite graphs, Indiana Univ. Math. J.51(2002), 239–249

    2002

  68. [68]

    Tarski,Algebraische Fassung des Maßproblems, Fundamenta Mathematicae31 (1938), 207–223

    A. Tarski,Algebraische Fassung des Maßproblems, Fundamenta Mathematicae31 (1938), 207–223

    1938

  69. [69]

    Tarski, Cardinal Algebras

    A. Tarski, Cardinal Algebras. With an Appendix: Cardinal Products of Isomorphism Types, by Bjarni J´ onsson and Alfred Tarski. Oxford University Press, New York, N. Y., 1949

    1949

  70. [70]

    Tomkowicz, S

    G. Tomkowicz, S. Wagon, The Banach-Tarski paradox, Encyclopedia Math. Appl., 163, Cambridge University Press, New York, 2016,

    2016

  71. [71]

    Wehrung,Injective positively ordered monoids I, J

    F. Wehrung,Injective positively ordered monoids I, J. Pure Appl. Algebra83(1992), 43–82

    1992

  72. [72]

    Wehrung,Embedding simple commutative monoids into simple refinement monoids Semigroup Forum56(1998), 104–129

    F. Wehrung,Embedding simple commutative monoids into simple refinement monoids Semigroup Forum56(1998), 104–129

    1998

  73. [73]

    Wehrung,Refinement monoids, equidecomposability types, and Boolean inverse semigroups, Lecture Notes in Math.,2188Springer, Cham, 2017

    F. Wehrung,Refinement monoids, equidecomposability types, and Boolean inverse semigroups, Lecture Notes in Math.,2188Springer, Cham, 2017. Department of Mathematics, Universitat Aut `onoma de Barcelona, 08193 Bellaterra (Barcelona), Spain Email address:pere.ara@uab.cat

    2017