Pith. sign in

REVIEW 2 major objections 3 minor 1 cited by

Existentially closed measure-preserving actions of approximately treeable groups

T0 review · 2 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For approximately treeable groups, the class of measure-preserving actions has a model companion: existentially closed actions are first-order axiomatizable and closed under ultraproducts.

desk verdict A serious, technically dense paper that generalizes BHI to approximately treeable groups; the main theorem is probably right, but the open mapping proof in Theorem 5.26 is under-written at exactly the load-bearing step. read the letter →

arxiv 2507.03195 v1 pith:URY3ECTD submitted 2025-07-03 math.LO math.DS

Isaac Goldbring , Brandon Seward , Robin Tucker-Drob This is my paper · ORCID
classification math.LOmath.DS MSC 03C9837A1537A2020F65
keywords probability-measure-preservingactionsmodelcompanionexistentiallyclosedapproximatelytreeablegroupscontinuoustheoryergodicpropertyMD
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Given a countable group $\Gamma$, this paper asks when the class $\mathcal{K}_\Gamma$ of probability-measure-preserving (p.m.p.) actions of $\Gamma$ has a model companion: a first-order theory whose models are exactly the existentially closed actions. The central result is that if $\Gamma$ is approximately treeable, then the model companion of $\mathcal{K}_\Gamma$ exists. The class of approximately treeable groups contains all treeable groups, all universally free groups, and examples such as $F_2 \times \mathbb{Z}$, so the result substantially enlarges the known cases. The proof goes through an open mapping characterization of the existence of the model companion, which also yields ergodic-theoretic axioms; for treeable groups these axioms become especially simple. Along the way, the paper shows that limit groups have property MD, that profinite completion actions of EMD groups are existentially closed, and that groups without property (T) admit weakly mixing existentially closed actions.

What carries the argument

The load-bearing mechanism is the open mapping characterization of Theorem 5.26: $T^*_\Gamma$ exists if and only if every projection map $\pi_* : \operatorname{Prob}^\Gamma(q^\Gamma \times p^\Gamma) \to \operatorname{Prob}^\Gamma(q^\Gamma)$ is open. Approximate treeability enters through invariant Borel probability measures on the space $\mathcal{F}(\Gamma)$ of directed forests on $\Gamma$, whose component equivalence relations can approximate the indiscrete relation. The measure construction re-randomizes fiber measures independently over the connected components of such forests, producing invariant joint measures with prescribed first marginal. For the explicit axioms, the paper introduces the extension-MD property, meaning finite-to-one extensions are dense among all extensions of a given action, and the definable cocycle property, meaning almost-cocycles to finite groups are uniformly near actual cocycles; both are verified for strongly treeable groups, and suitably adapted for treeable groups, using retractions $r_T$ from the space of cochains to the space of cocycles attached to trees $T$.

What would settle it

Check whether the projection map $\pi_* : \operatorname{Prob}^{F_2 \times \mathbb{Z}}(q^{F_2 \times \mathbb{Z}} \times p^{F_2 \times \mathbb{Z}}) \to \operatorname{Prob}^{F_2 \times \mathbb{Z}}(q^{F_2 \times \mathbb{Z}})$ is open for the approximately treeable group $F_2 \times \mathbb{Z}$: if some pair $p,q$ gives a non-open image, then Theorem 7.4 is false. Equivalently, build a nonprincipal ultraproduct of existentially closed actions of an approximately treeable group and test whether it remains existentially closed; any failure would refute the main claim.

Watch

Extended reading notes

Core claim

The paper proves Theorem 7.4: if $\Gamma$ is an approximately treeable group, then the model companion $T^*_\Gamma$ of the class of p.m.p. actions of $\Gamma$ exists. Equivalently, the existentially closed actions form an axiomatizable class and are closed under ultraproducts. The proof establishes an open mapping criterion: $T^*_\Gamma$ exists exactly when, for every $p, q \in \mathbb{N}$, the push-forward map $\pi_* : \operatorname{Prob}^\Gamma(q^\Gamma \times p^\Gamma) \to \operatorname{Prob}^\Gamma(q^\Gamma)$ is open in the weak-$*$ topology. For approximately treeable groups, the openness is verified by constructing invariant measures on $q^\Gamma \times p^\Gamma$ with prescribed first marginal, using invariant probability measures on the space of directed forests of $\Gamma$. For treeable groups, the paper gives a concrete characterization: an action is existentially closed exactly when it weakly contains a free treeable action, its trivial extension with atomless fibers is an existentially closed extension, and coboundaries are dense among cocycles valued in every finite symmetric group.

Load-bearing premise

The result depends on the open mapping characterization of when the model companion exists: if that equivalence has a hidden gap, especially in the step converting the existentially closed criterion into first-order axioms, the main theorem would not follow even if the measure constructions are correct.

Editorial extensions

If this is right

  • For every approximately treeable group $\Gamma$, the existentially closed p.m.p. actions are exactly the models of a single first-order theory $T^*_\Gamma$, so they are closed under ultraproducts.
  • Whenever the model companion exists, the open mapping criterion provides ergodic-theoretic axioms, so the existence question becomes a concrete topological property of equivariant measure spaces.
  • All treeable groups, all universally free groups, and groups such as $F_2 \times \mathbb{Z}$ now have a model companion; existence also passes to subgroups and to extensions by coamenable normal subgroups with a model companion.
  • For treeable groups, an action is existentially closed if and only if it weakly contains a free treeable action, its trivial extension with atomless fibers is an existentially closed extension, and $B^1(a, \operatorname{Sym}(k))$ is dense in $Z^1(a, \operatorname{Sym}(k))$ for every $k$.
  • Groups with property EMD have existentially closed profinite completion actions, and groups without property (T) have weakly mixing existentially closed actions in the enforceable sense.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The open mapping criterion reduces the existence of the model companion to checking openness of a single family of projection maps, so candidate counterexamples to the open question of whether every countable group has a model companion could be sought by testing non-openness for specific groups.
  • The treeable-group characterization suggests that being existentially closed is largely a cohomological saturation condition: for such groups, failure of density of coboundaries among $\operatorname{Sym}(k)$-valued cocycles would be a concrete, model-theory-free obstruction to being existentially closed.
  • The forest re-randomization construction resembles an independence argument over approximate equivalence relations; it may extend to other groups with approximate ergodic dimension at most one, or to measure-equivalence invariants, though those extensions are not claimed in the paper.
  • One could attempt to write down explicit axioms for $F_2 \times \mathbb{Z}$ using the general open mapping axioms and check whether the resulting conditions detect the failure of treeability.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. This paper studies existentially closed (e.c.) probability-measure-preserving (p.m.p.) actions of a countable group Γ in the framework of continuous model theory, and the existence of the model companion T*_Γ of the class K_Γ of all p.m.p. actions. The main theorem (Theorem 7.4) asserts that if Γ is approximately treeable, then T*_Γ exists. The proof uses an open-mapping criterion (Theorem 5.26) that characterizes existence of T*_Γ in terms of openness of certain push-forward maps on spaces of invariant measures, and then proves this criterion for approximately treeable groups via an elaborate measure-theoretic construction (Section 7). The paper also contains several substantial auxiliary results: limit groups have Kechris property MD (Theorem 4.4); profinite completion actions are e.c. for groups with property EMD (Theorem 4.2); and for groups without property (T), the generic e.c. action is weakly mixing (Corollary 4.9). For treeable groups, a concrete ergodic-theoretic axiomatization is given (Theorems 6.20 and 6.21).

Significance. The main theorem significantly generalizes the earlier result of Berenstein–Henson–Ibarlucía for free groups, covering the broad class of approximately treeable groups, which includes all treeable and all universally free groups. The open-mapping characterization in Theorem 5.26 is a powerful new tool that yields ergodic-theoretic axioms whenever the model companion exists. The proof of the main theorem is highly nontrivial and involves a detailed constructive measure-theoretic argument. The auxiliary results on property MD for limit groups, on e.c. profinite completions, and on weakly mixing e.c. actions are of independent interest. The paper is generally careful and self-contained, with many proofs given from first principles; if the main theorem is correct, this is a major advance in the model theory of measure-preserving actions.

major comments (2)
  1. [§5.5, Theorem 5.26] The (⇐) direction of the open mapping characterization is proved in a single compressed paragraph. The condition in Lemma 5.25 is of the form 'for every β with (β^Γ)_*μ ∈ π_*(U), there exists γ ...' where U is open in Prob^Γ(q^Γ × p^Γ). Since membership in an open set is not a zero-set condition in continuous logic, this is not directly a first-order axiom. The sentence 'it then suffices to consider basic open subsets of Prob^Γ(q^Γ) contained in π_*(U)' does not explain how the strict inequalities defining such basic open sets are converted into closed first-order conditions. A complete proof should, for each basic open set V contained in π_*(U), approximate V from inside by closed (zero-set) neighborhoods and use a countable family of ∀∃-axioms to handle the resulting disjunction. Because Theorem 7.4 relies exactly on this implication, this step needs to be expanded.
  2. [§7.4, Lemma 7.9] The proof of the continuity of the map θ(ω,F) is too compressed. In particular, the paragraph beginning 'Partition Δ into a collection V of clopen sets' asserts that for each piece of the partition the map (ω,F,E_F) ↦ θ(ω,F)(A) is continuous, but the argument depends on the choice of representatives γ_C for the E_F-classes, and it is not shown that the resulting measure is independent of that choice and varies continuously as E_F varies. Since Lemma 7.9 is the technical core of the measure construction used in Theorem 7.4, the continuity proof should be written out in full detail, or the relevant continuity statement should be isolated as a separate lemma with a complete proof.
minor comments (3)
  1. [Throughout] The name 'Rokhlin' is frequently misspelled as 'Rohklin' (see, e.g., Sections 2, 4, and 6).
  2. [Introduction and §5.4] The word 'aforemtnioned' is a typo for 'aforementioned'.
  3. [§7.1, Lemma 7.2] In the proof, the expression H1H0H−1_1 should be clarified as the set {h1 h0 h1^{-1} : h1 ∈ H1, h0 ∈ H0}; as written it could be misread as a product of sets with a single inverse applied to the whole product.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the main existence theorem is derived from an independent open-mapping criterion, while self-citations are auxiliary and non-load-bearing.

full rationale

The central derivation is not circular. Theorem 7.4 establishes the open mapping condition of Theorem 5.26 by explicit measure constructions on Prob(p^Γ) (Lemmas 7.7–7.9), and Theorem 5.26 is itself proved from the e.c. criterion in Lemma 5.25; the target conclusion, the existence of T*_Γ, appears only as the final theorem rather than as an input. Self-citations appear, for example [40] in Lemma 4.1 for the EMD/MD equivalence and [24,25] for definable cocycles and enforceable properties, but these are auxiliary published results with independent proofs that do not assume the model companion exists or that approximately treeable groups admit one. The one genuinely terse step is the 'if' direction of Theorem 5.26, where the sentence 'by assumption, π_*(U) is an open subset of Prob^Γ(q^Γ), and it then suffices to consider basic open subsets contained in π_*(U)' skips the technical conversion of open-set membership into continuous-logic axioms. That is a correctness risk—if the conversion fails, Theorem 7.4's route to axiomatizability is unsupported—but it is not circularity, because the open mapping condition is an independent ergodic-theoretic hypothesis and is subsequently verified by measure constructions rather than assumed from the conclusion.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted to data. The central proof relies on standard external theorems and on the paper's own open mapping criterion, which is proved rather than assumed. No new physical or mathematical entities are postulated; extension-MD and map-measure pairs are technical constructs, not invented entities.

assumptions (6)
  • domain assumption Countable discrete group actions on standard Borel probability spaces with measure-preserving automorphisms.
    The entire framework, including the language L_Gamma and weak topology on spaces of actions, presumes this setting (Section 2).
  • standard math Continuous model theory and the measure-algebra duality for p.m.p. actions.
    The paper relies on model-theoretic ultraproducts and definability results from Ben Yaacov et al. [3], Ibarlucia-Tsankov [27], and Goldbring [24].
  • standard math Rokhlin skew-product theorem for ergodic extensions.
    Used to represent extensions as skew products in Corollary 6.6 and Lemma 6.10; cited as [22].
  • standard math Ornstein-Weiss hyperfiniteness of orbit equivalence relations for amenable group actions.
    Used in Lemma 5.17 and Lemma 7.2 to build approximations for coamenable subgroups; cited as [36].
  • standard math Abert-Weiss theorem: every free action weakly contains the Bernoulli shift.
    Used in Theorem 6.18 to show that strongly treeable groups' free actions weakly contain a treeing; cited as [1].
  • standard math Kochloukova's theorem on free normal coamenable subgroups of limit groups, and Wilton's subgroup separability for limit groups.
    External results used in Theorem 4.4 to prove that limit groups have property MD; cited as [34] and [43].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Existentially closed measure-preserving actions of approximately treeable groups." pith.science (2026). https://pith.science/paper/URY3ECTD

@misc{pith2026250703195,
  author       = {Pith},
  title        = {Pith review of: Existentially closed measure-preserving actions of approximately treeable groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/URY3ECTD}},
  note         = {Machine review of arXiv:2507.03195}
}
abstract

Given a countable group $\Gamma$, letting $\mathcal{K}_\Gamma$ denote the class of {\pmp} actions of $\Gamma$, we study the question of when the model companion of $\mathcal{K}_\Gamma$ exists. Berenstein, Henson, and Ibarluc\'ia showed that the model companion of $\mathcal{K}_\Gamma$ exists when $\Gamma$ is a nonabelian free group on a countable number of generators. We significantly generalize their result by showing that the model companion of $\cal K_\Gamma$ exists whenever $\Gamma$ is an approximately treeable group. The class of approximately treeable groups contain the class of treeable groups as well as the class of universally free groups, that is, the class of groups with the same universal theory as nonabelian free groups. We prove this result using an open mapping characterization of when the model companion exists; moreover, this open mapping characterization provides concrete, ergodic-theoretic axioms for the model companion when it exists. We show how to simplify these axioms in the case of treeable groups, providing an alternate axiomatization for the model companion in the case of the free group, which was first axiomatized by Berenstein, Henson, and Ibarluc\'ia using techniques from model-theoretic stability theory. Along the way, we prove a purely ergodic-theoretic result of independent interest, namely that finitely generated universally free groups (also known as limit groups) have Kechris' property MD. We also show that for groups with Kechris' EMD property, the profinite completion action is existentially closed, and for groups without property (T), the generic existentially closed action is weakly mixing, generalizing results of Berenstein, Henson, and Ibarluc\'ia for the case of nonabelian free groups.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Relative Property (T), simplices of invariant measures, and existentially closed models

    math.LO 2026-08 conditional novelty 7.0 of 10

    A transitive permutation group whose point stabilizer has relative Property (T) yields a Bauer or Poulsen simplex of invariant measures, with the Bauer case characterized by Property (T) of the group.

Reference graph

Works this paper leans on

43 extracted references · 42 canonical work pages · cited by 1 Pith paper

  1. [1]

    2, 323-333

    M.AbértandB.Weiss, Bernoulliactionsareweaklycontainedinanyfreeaction ,ErgodicTheory and Dynamical Systems33(2013), no. 2, 323-333

    work page 2013

  2. [2]

    Alpeev and B

    A. Alpeev and B. Seward,Krieger’s finite generator theorem for actions of countable groups III, Ergodic Theory and Dynamical Systems41(2021), no. 10, 2881-2917

    work page 2021

  3. [3]

    I.BenYaacov,A.Berenstein,C.W.Henson,andA.Usvyatsov, Modeltheoryformetricstruc- tures, Model theory with applications to algebra and analysis. Vol. 2, London Math. Soc. Lecture Note Ser., vol. 350, Cambridge Univ. Press, Cambridge, 2008, 315–427

    work page 2008

  4. [4]

    Berenstein and C.W, Henson,Model theory of probability spaces with an automorphism, arXiv 0405360

    A. Berenstein and C.W, Henson,Model theory of probability spaces with an automorphism, arXiv 0405360

    work page

  5. [5]

    Berenstein, C

    A. Berenstein, C. W. Henson, and T. Ibarlucía,Existentially closed measure-preserving actions of free groups, Fund. Math.264 (2024), 241–282

    work page 2024

  6. [6]

    Bergelson,Minimal Idempotents and Ergodic Ramsey Theory, inTopics in dynamics and er- godic theory, S

    V. Bergelson,Minimal Idempotents and Ergodic Ramsey Theory, inTopics in dynamics and er- godic theory, S. Bezuglyi and S. Kolyada (eds.), London Mathematical Society Lectures Notes in Mathematics310 (2009), 8-39

    work page 2009

  7. [7]

    Bowen,Periodicity and circle packings of the hyperbolic plane, Geometriae Dedicata102 (2003), no

    L. Bowen,Periodicity and circle packings of the hyperbolic plane, Geometriae Dedicata102 (2003), no. 1, 213-236. E.C. P.M.P. ACTIONS OF APPROXIMATELY TREEABLE GROUPS 81

    work page 2003

  8. [8]

    Bowen,Measure conjugacy invariants for actions of countable sofic groups, Journal of the American Mathematical Society23 (2010), 217-245

    L. Bowen,Measure conjugacy invariants for actions of countable sofic groups, Journal of the American Mathematical Society23 (2010), 217-245

    work page 2010

Show all 43 references
  1. [9]

    Bowen, Zero entropy is generic , Entropy 18 (2016), no

    L. Bowen, Zero entropy is generic , Entropy 18 (2016), no. 6, Paper No. 220. https://doi.org/10.3390/e18060220

    2016 doi

  2. [10]

    Bowen and R

    L. Bowen and R. Tucker-Drob,Superrigidity, measure equivalence, and weak Pinsker entropy, Groups, Geometry, and Dynamics,16 (2022), no. 1, 247-286

    2022

  3. [11]

    Bowen and R

    L. Bowen and R. Tucker-Drob,On a co-induction question of Kechris, Israel Journal of Math- ematics 194(2013), 209-224

    2013

  4. [12]

    Bridson, M

    M. Bridson, M. Tweedale, and H. Wilton,Limit groups, positive-genus towers and measure- equivalence, Ergodic Theory and Dynamical Systems27 (2007), no. 3, 703–712

    2007

  5. [13]

    P.BurtonandA.Kechris, Weakcontainmentofmeasure-preservinggroupactions ,ErgodicThe- ory and Dynamical Systems40 (2020), 2681-2733

    2020

  6. [14]

    Conley, D

    C.T. Conley, D. Gaboriau, and A.S. Marks, and R. Tucker-Drob,One-ended spanning sub- forests and treeability of groups, preprint. arXiv 2104.07431

  7. [15]

    Conley, A

    C. Conley, A. Kechris, and R. Tucker-Drob,Ultraproducts of measure preserving actions and graph combinatorics, Ergodic Theory and Dynamical Systems33(2013), 334-374

    2013

  8. [16]

    T.Downarowicz, EntropyinDynamicalSystems.CambridgeUniversityPress, NewYork, 2011

    2011

  9. [17]

    I.Farah,B.Hart,andD.Sherman, ModeltheoryofoperatoralgebrasIII:elementaryequivalence and II1 factors, Bulletin of the London Mathematical Society46 (2014), 609-628

    2014

  10. [18]

    2007(2007),rnm073, https://doi.org/10.1093/imrn/rnm073

    A.Furman, OnPopa’scocyclesuperrigiditytheorem ,Int.Math.Res.Not. 2007(2007),rnm073, https://doi.org/10.1093/imrn/rnm073

    2007 doi

  11. [19]

    Gaboriau,Coût des relations d’équivalence et des groupes, Inventiones mathematicae139, no

    D. Gaboriau,Coût des relations d’équivalence et des groupes, Inventiones mathematicae139, no. 1 (2000), 41-98

    2000

  12. [20]

    Gaboriau,Invariants ℓ2 de relations d’équivalence et de groupes, Publications mathéma- tiques de l’IHÉS95 (2002), 93-150

    D. Gaboriau,Invariants ℓ2 de relations d’équivalence et de groupes, Publications mathéma- tiques de l’IHÉS95 (2002), 93-150

    2002

  13. [21]

    Gaboriau,Examples of groups that are measure equivalent to the free group, Ergodic Theory Dynam

    D. Gaboriau,Examples of groups that are measure equivalent to the free group, Ergodic Theory Dynam. Systems25 (2005), 1809–1827

    2005

  14. [22]

    Glasner,Ergodic theory via joinings, Mathematical Surveys and Monographs101(2003), American Mathematical Society

    E. Glasner,Ergodic theory via joinings, Mathematical Surveys and Monographs101(2003), American Mathematical Society

    2003

  15. [23]

    Glasner and B

    E. Glasner and B. Weiss,Kazhdan’s property T and the geometry of the collection of invariant measures, Geom. Funct. Anal.7 (1997), 917–935

    1997

  16. [24]

    Goldbring,Spectral gap and definability, Beyond first-order model theory, Volume 2

    I. Goldbring,Spectral gap and definability, Beyond first-order model theory, Volume 2

  17. [25]

    I.Goldbring, Enforceableoperatoralgebras ,JournaloftheInstituteofMathematicsofJussieu 20(2021), 31-63

    2021

  18. [26]

    Hjorth,A lemma for cost attained, Ann

    G. Hjorth,A lemma for cost attained, Ann. Pure Appl. Logic143(2006), 87-102. 24, 31

    2006

  19. [27]

    Ibarlucía and T

    T. Ibarlucía and T. Tsankov,A model-theoretic approach to rigidity of strongly ergodic, distal actions, Ann. Sci. Éc. Norm. Supér.54(2021), 751–780

    2021

  20. [28]

    Subequivalencerelationsandpositive-definitefunctions , Groups, Geometry, and Dynamics3 (2009), 579-625

    A.Ioana,A.S.Kechris,andT.Tsankov. Subequivalencerelationsandpositive-definitefunctions , Groups, Geometry, and Dynamics3 (2009), 579-625

    2009

  21. [29]

    Kechris, Classical Descriptive Set Theory

    A. Kechris, Classical Descriptive Set Theory. Springer-Verlag, New York, 1995

    1995

  22. [30]

    Kechris,Weak containment in the space of actions of a free group, Israel J

    A. Kechris,Weak containment in the space of actions of a free group, Israel J. Math.189(2012), 461–507

    2012

  23. [31]

    A.Kechris, GlobalAspectsofErgodicGroupActions ,MathematicalSurveysandMonographs 160 (2010), American Mathematical Society

    2010

  24. [32]

    Kechris and B

    A. Kechris and B. Miller,Topics in orbit equivalence, Lecture Notes in Mathematics1852 (2004), Springer-Verlag. 82 ISAAC GOLDBRING, BRANDON SEWARD, AND ROBIN TUCKER-DROB

    2004

  25. [33]

    Kerr and M

    D. Kerr and M. Pichot,Asymptotic abelianess, weak mixing, and property T, J. Reine Angew. Math. 623(2008), 213–235

    2008

  26. [34]

    D.Kochloukova, Onsubdirectproductsoftype FPmoflimitgroups ,J.GroupTheory 13(2010), 1-19

    2010

  27. [35]

    Lubotzky, and Y

    A. Lubotzky, and Y. Shalom.Finite representations in the unitary dual and Ramanujan groups, Contemporary Mathematics347 (2004), 173-190

    2004

  28. [36]

    Ornstein and B

    D. Ornstein and B. Weiss,Ergodic theory of amenable group actions I. The Rohlin Lemma, Bul- letin of the American Mathematical Society2 (1980), 161-164

    1980

  29. [37]

    R.PemantleandY.Peres, Nonamenableproductsarenottreeable ,IsraelJournalofMathemat- ics118 (2000): 147-155

    2000

  30. [38]

    Popa,Cocycle and orbit equivalence superrigidity for malleable actions of w-rigid groups, Inv

    S. Popa,Cocycle and orbit equivalence superrigidity for malleable actions of w-rigid groups, Inv. Math. 170(2007), 243-295

    2007

  31. [39]

    Seward,Krieger’s finite generator theorem for actions of countable groups I, Inv

    B. Seward,Krieger’s finite generator theorem for actions of countable groups I, Inv. Math.215 (2019), no. 1, 265-310

    2019

  32. [40]

    Tucker-Drob,Weak equivalence and non-classifiability of measure preserving actions, Er- god

    R.D. Tucker-Drob,Weak equivalence and non-classifiability of measure preserving actions, Er- god. Th. and Dynam. Sys.35(2015), 293–336

    2015

  33. [41]

    A.Usvyatsov, Genericseparablemetricstructures ,TopologyanditsApplications 155(2008), 1607-1617

    2008

  34. [42]

    Walters, An Introduction to Ergodic Theory

    P. Walters, An Introduction to Ergodic Theory. Springer-Verlag, New York, 1982

    1982

  35. [43]

    Wilton,Hall’s theorem for limit groups, Geom

    H. Wilton,Hall’s theorem for limit groups, Geom. Funct. Anal.18(2008), 271–303. Department of Mathematics, University of California, Irvine, 340 Rowland Hall (Bldg.# 400), Irvine, CA 92697-3875 Email address: isaac@math.uci.edu URL: http://www.math.uci.edu/~isaac Department of...

    2008

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.