REVIEW 300 references
Haar decompression and amenability of Ellis flows
T0 review · reviewed 2026-07-31 · grok-4.5
Pith's one-line read For tame flows, the Ellis semigroup is amenable exactly when the original flow is hereditarily amenable, and Haar measure on Ellis groups decompresses to give all ergodic measures.
desk verdict Solid structural paper: Haar decompression works even when the Ellis inclusion is non-Borel, and for tame flows amenability of the Ellis flow is exactly hereditary amenability of X, with complete ergodic transfer in the metrizable case. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Haar decompression: although the inclusion of an Ellis group K into the enveloping semigroup need not be Borel, continuous functions restrict to Haar-measurable functions on K, so Riesz–Markov produces a canonical regular Borel probability measure μ_K on the enveloping semigroup.
What would settle it
A tame flow whose Ellis group fails to be Hausdorff in the τ-topology, or a tame hereditarily amenable flow whose enveloping semigroup carries no invariant probability measure, would refute the main equivalence.
Extended reading notes
Core claim
For every tame flow (X,G), the Ellis flow (E(X,G),G) is amenable if and only if (X,G) is hereditarily amenable. When the flow is also metrizable or the group is countable, every Haar decompression is G-invariant; on metrizable tame ambits, evaluation of Haar decompressions recovers exactly the ergodic invariant probability measures.
Load-bearing premise
The construction needs every Ellis group of a tame flow to be a compact Hausdorff topological group in the τ-topology so that normalized Haar measure exists.
Editorial extensions
If this is right
- Amenability of the Ellis flow is completely reduced to ordinary hereditary amenability once tameness is assumed.
- On metrizable tame ambits every ergodic invariant measure is realized by evaluating a Haar decompression at the base point.
- Every ergodic invariant measure on a metrizable tame flow is supported on a minimal subflow.
- When the space is metrizable or the group is countable, Haar decompressions themselves supply canonical invariant measures on the enveloping semigroup.
Reading between the lines
- The same decompression-plus-evaluation pattern may organize ergodic measures for other classes of enveloping semigroups once a suitable compact-group structure is present.
- The non-Borel inclusion example suggests that regularity questions for push-forwards of Haar measure remain open even inside the tame category.
- The necessity of tameness shown by the free-group counter-example indicates that fragmented maps are the precise regularity needed for the finite-power joining argument.
Editorial analysis
A structured set of objections, weighed in public.
Circularity Check
No significant circularity: Haar decompression and amenability equivalence are independently constructed and proved, not forced by definition or self-citation.
full rationale
The paper’s central objects and theorems do not reduce to their inputs by construction. Haar decompression (Lemma 3.7) is defined by integrating continuous functions against Haar measure on the τ-group via Riesz–Markov after a fragmentation/measurability argument (Lemmas 3.1–3.4, Fact 3.2); it is not defined from the G-invariant or ergodic measures later recovered by evaluation. The amenability equivalence (Corollary 5.6) is proved in two independent steps: Theorem 5.3 equates Ellis amenability with finite-power hereditary amenability by Stone–Weierstrass density of finite-coordinate functions and a finite-intersection argument in Prob(E), without tameness; Theorem 5.5 lifts ordinary hereditary amenability to finite powers under tameness via a separable Gelfand reduction and a joining lemma for minimal metrizable tame flows (Lemma 5.4). Invariance of μ_K (Theorems 5.7–5.8) and complete Ellis transfer (Theorem 4.3, Proposition 4.4, Corollary 4.6) likewise use external structure theorems (Glasner, Fuhrmann et al.) and internal measure arguments, not a fit or a renamed conclusion. Self-citations (CGK26, KPR18, KLM22, HR25) supply background lemmas on Ellis groups and motivation; none equates the main iff or the transfer surjectivity with its hypothesis. Appendix A.3 even supplies a counterexample showing tameness is essential, which is anti-circular. Score 1 only for routine non-load-bearing author-overlap citations.
Assumptions & free parameters
assumptions (6)
- domain assumption For tame flows, Ellis groups (K,τ) are compact Hausdorff topological groups (via BZ24 Thm 11.7 / CGK26), hence carry unique normalized Haar measure.
- standard math Bounded fragmented functions on compact Hausdorff spaces are universally measurable (completion of every regular Borel probability measure).
- domain assumption Metrizable minimal tame amenable flows are uniquely ergodic almost one-to-one regular extensions of their maximal equicontinuous factor (Glasner; Fuhrmann et al.).
- standard math Riesz–Markov representation: positive unital functionals on C(Y) correspond to unique regular Borel probability measures.
- domain assumption Tameness is preserved under products, subflows, factors, and passage to the enveloping semigroup.
- domain assumption G is discrete; flows are compact Hausdorff with continuous G-actions by homeomorphisms; measures are regular Borel.
invented entities (1)
-
Haar decompression μ_K
independent evidence
Cite this review
Pith. "Pith review of Haar decompression and amenability of Ellis flows." pith.science (2026). https://pith.science/paper/MTZY5ASQ
@misc{pith2026260724381,
author = {Pith},
title = {Pith review of: Haar decompression and amenability of Ellis flows},
year = {2026},
howpublished = {\url{https://pith.science/paper/MTZY5ASQ}},
note = {Machine review of arXiv:2607.24381}
}
abstract
Let $(X,G)$ be a tame flow and let $K$ be an Ellis group of its enveloping semigroup $E(X,G)$. Although $K$ is a compact Hausdorff topological group in its $\tau$-topology, the inclusion of $K$ into $E(X,G)$ need not be Borel. We show that normalized Haar measure on $K$ nevertheless determines, via the Riesz--Markov theorem, a canonical regular Borel probability measure $\mu_K$ on $E(X,G)$, called its Haar decompression. Our principal structural result states that, for every tame flow, $(E(X,G),G)$ is amenable if and only if $(X,G)$ is hereditarily amenable. For a tame hereditarily amenable flow, every Haar decompression is $G$-invariant whenever $X$ is metrizable or $G$ is countable. For metrizable minimal tame flows admitting an invariant measure, the evaluation pushforward of every Haar decompression at every point is the unique invariant measure. Moreover, every ergodic invariant measure on a metrizable tame flow has minimal support; consequently, every ergodic invariant measure on a metrizable tame ambit is obtained by evaluating a suitable Haar decompression.
Reference graph
Works this paper leans on
-
[1]
Derivations of the
Piotr Kowalski , year = 2005, journal =. Derivations of the
2005
-
[2]
Metric dimensions and tameness in expansions of the real field , author =. Trans. Amer. Math. Soc. , volume = 373, number = 2, pages =. doi:10.1090/tran/7691 , issn =
-
[3]
Geometric axioms for existentially closed
Piotr Kowalski , year = 2005, journal =. Geometric axioms for existentially closed
2005
-
[4]
On existence of canonical
Daniel Max Hoffmann , eprinttype =. On existence of canonical
-
[5]
Witt vectors and separably closed fields with higher derivations , author =
-
[6]
Hoffmann, Daniel Max , year = 2019, journal =. Model theoretic dynamics in. doi:10.1016/j.apal.2019.02.002 , issn =
-
[7]
On Galois groups and
Daniel Max Hoffmann , note =. On Galois groups and
-
[8]
Elementary Equivalence Theorem for
Dobrowolski, Jan and Hoffmann, Daniel Max and Lee, Junguk , note =. Elementary Equivalence Theorem for
Show all 300 references
-
[9]
Integrating
Daniel Max Hoffmann and Piotr Kowalski , year = 2015, journal =. Integrating. doi:10.1016/j.jpaa.2014.05.024 , issn =
2015 doi
-
[10]
doi:10.1142/S0219061318500034 , jounral =
EXISTENTIALLY CLOSED FIELDS WITH FINITE GROUP ACTIONS , author =. doi:10.1142/S0219061318500034 , jounral =
-
[11]
Existentially closed fields with
Daniel Max Hoffmann and Piotr Kowalski , year = 2016, journal =. Existentially closed fields with
2016
-
[12]
Journal of Algebra , volume = 446, pages =
A note on extending actions of infinitesimal group schemes , author =. Journal of Algebra , volume = 446, pages =
-
[13]
Inventiones Math
Representability of Group Functors, and Automorphisms of Algebraic Schemes , author =. Inventiones Math. , volume = 4, pages =
-
[14]
Commutative Algebra , author =
-
[15]
Nagoya Math
Integrable Derivations , author =. Nagoya Math. J. , volume = 87, pages =
-
[16]
, author =
Separably closed fields with higher derivation 1. , author =. The Journal of Symbolic Logic , volume =
-
[17]
Commutative ring theory , author =
-
[18]
Algebraic Groups and Class Fields: Translation of the French Edition , author =
-
[19]
Linear Algebraic Groups, 2nd edition , author =
-
[20]
Waterhouse , year = 1979, publisher =
William C. Waterhouse , year = 1979, publisher =. Introduction to
1979
-
[21]
Tyc , year = 1989, journal =
A. Tyc , year = 1989, journal =. On
1989
-
[22]
Selecta Mathematica , volume = 9, pages =
Jet spaces of varieties over differential and difference fields , author =. Selecta Mathematica , volume = 9, pages =
-
[23]
Confluentes Mathematici , volume =
A NOTE ON CANONICAL BASES AND ONE-BASED TYPES IN SUPERSIMPLE THEORIES , author =. Confluentes Mathematici , volume =
-
[24]
Ehud Hrushovski , year = 1996, journal =. The
1996
-
[25]
Ehud Hrushovski , year = 2001, journal =. The
2001
-
[26]
Model theory of difference fields
Chatzidakis, Zo. Model theory of difference fields. Proc. London Math. Soc. (3) , volume = 85, number = 2, pages =
-
[27]
Journal of Algebra , volume = 204, pages =
A Note on the Axioms for Differentially Closed Fields of Characteristic Zero , author =. Journal of Algebra , volume = 204, pages =
-
[28]
Theorie der
Hasse, Helmut , year = 1935, journal =. Theorie der
1935
-
[29]
Theorie der h\"
Hasse, Helmut , year = 1936, journal =. Theorie der h\"
1936
-
[30]
Differentialrechnung bei
Teichm\". Differentialrechnung bei. Journal für die reine und angewandte Mathematik , volume = 175, pages =
-
[31]
and Schmidt, F.K
Hasse, H. and Schmidt, F.K. , year = 1937, journal =. Noch eine
1937
-
[32]
Transactions of the A.M.S
Groups and fields interpretable in separably closed fields , author =. Transactions of the A.M.S. , volume = 344, pages =
-
[33]
Transactions of the A.M.S
Groups definable in separably closed fields , author =. Transactions of the A.M.S. , volume = 354, pages =
-
[34]
Journal of Symbolic Logic , volume = 67, number = 3, pages =
The Theory of Modules of Separably Closed Fields , author =. Journal of Symbolic Logic , volume = 67, number = 3, pages =
-
[35]
, Illinois J
On canonical bases and internality criteria , author =. , Illinois J. Math. , volume = 52, pages =
-
[36]
Shoenfield , year = 1967, publisher =
Joseph R. Shoenfield , year = 1967, publisher =. Mathematical
1967
-
[37]
Commutative Algebra with a View Towards Algebraic Geometry , author =
-
[38]
Formal Groups and Applications , author =
-
[39]
Zyklische
Witt, Ernst , year = 1937, journal =. Zyklische
1937
-
[40]
Hrushovski, Ehud , year = 1996, journal =. The
1996
-
[41]
and Schmidt, K
van den Dries, L. and Schmidt, K. , year = 1984, journal =. Bounds in the theory of polynomial rings over fields. doi:10.1007/BF01388493 , language =
1984 doi
-
[42]
Algebra II, Chapters 4-7 , author =
-
[43]
Annals of Pure and Applied Logic , volume = 88, number =
Simple theories , author =. Annals of Pure and Applied Logic , volume = 88, number =. doi:10.1016/S0168-0072(97)00019-5 , note =
-
[44]
Profinite groups , author =
-
[45]
Simplicity theory , author =
-
[46]
Supersimple theories , author =. J. Amer. Math. Soc. , volume = 14, pages =
-
[47]
O pewnych w
Urszula Dobrowolska , note =. O pewnych w
-
[48]
Annals of Pure and Applied Logic , volume =
Generic structures and simple theories , author =. Annals of Pure and Applied Logic , volume =
-
[49]
Journal of Symbolic Logic , volume =
Model companions of theories with an automorphism , author =. Journal of Symbolic Logic , volume =
-
[50]
The strict order property and generic automorphisms , author =. J. Symbolic Logic , publisher =. doi:10.2178/jsl/1190150038 , fjournal =
-
[51]
Pseudo-finite fields and related structures , author =
-
[52]
Model theory of difference fields , author =. Trans. Amer. Math. Soc. , volume = 351, number = 8, pages =
-
[53]
Generalized
Moosa, Rahim and Scanlon, Thomas , year = 2011, journal =. Generalized
2011
-
[54]
Model theory of fields with free operators in characteristic zero , author =
-
[55]
International Mathematics Research Notices , volume =
Tannakian Formalism Over Fields with Operators , author =. International Mathematics Research Notices , volume =
-
[56]
Israel Journal of Mathematics , volume =
Differentially closed fields , author =. Israel Journal of Mathematics , volume =
-
[57]
Proceedings of the American Mathematical Society , volume =
The Model Theory of Differential Fields of Characteristic p 0 , author =. Proceedings of the American Mathematical Society , volume =
-
[58]
Israel Journal of Mathematics , volume =
The model theory of differential fields revisited , author =. Israel Journal of Mathematics , volume =
-
[59]
Annals of Pure and Applied Logic , volume =
Generic Automorphisms of Fields , author =. Annals of Pure and Applied Logic , volume =
-
[60]
Illinois Journal of Mathematics , volume = 48, pages =
A special thin type , author =. Illinois Journal of Mathematics , volume = 48, pages =
-
[61]
O-minimality and the
Pila, Jonathan , year = 2011, journal =. O-minimality and the
2011
-
[62]
Invariant varieties for polynomial dynamical systems , author =. Ann. of Math. , volume =
-
[63]
Illinois J
Asymptotic theories of differential fields , author =. Illinois J. Math. , publisher =
-
[64]
Journal of Algebra , volume = 281, number = 2, pages =
Model theory of endomorphisms of separably closed fields , author =. Journal of Algebra , volume = 281, number = 2, pages =. doi:10.1016/j.jalgebra.2004.07.004 , issn =
2004 doi
-
[65]
Moosa, Rahim and Scanlon, Thomas , year = 2004, journal =
2004
-
[66]
Scanlon, Thomas , year = 2005, journal =. Local. doi:10.1007/s00222-005-0460-1 , issn =
2005 doi
-
[67]
Model Theory of the
Bélair, Luc, and Macintyre, Angus and Scanlon, Thomas , year = 2007, journal =. Model Theory of the
2007
-
[68]
Differential arcs and regular types in differential fields , author =. J. Reine Angew. Math. , pages =
-
[69]
Medvedev, Alice , note =
-
[70]
The Model Theory of Fields with a Group action , author =
-
[71]
Model Theory of Valued
Scanlon, Thomas , note =. Model Theory of Valued
-
[72]
A Course in Model Theory
Poizat, Bruno , year = 2000, publisher =. A Course in Model Theory
2000
-
[73]
Existentially closed
Ilijas, Farah, Isaac, Goldbring, Bradd, Hart, and David, Sherman , year = 2016, journal =. Existentially closed
2016
-
[74]
Kaiser, Klaus , year = 1969, journal =. \". doi:10.1002/malq.19690150107 , issn =
1969 doi
-
[75]
The Journal of Symbolic Logic , volume = 37, pages =
The model-companion of a class of structures , author =. The Journal of Symbolic Logic , volume = 37, pages =. doi:10.2307/2272742 , issn =
-
[76]
doi:10.1112/plms/s3-62.1.25 , abstract =
Lascar, Daniel , year = 1991, journal =. doi:10.1112/plms/s3-62.1.25 , abstract =
1991 doi
-
[77]
Archive for Mathematical Logic , volume = 31, number = 1, pages =
Les Beaux Automorphismes , author =. Archive for Mathematical Logic , volume = 31, number = 1, pages =
-
[78]
A Course in Model Theory , author =
-
[79]
Pillay, Anand and Polkowska, Dominika , year = 2006, journal =. On
2006
-
[80]
An invitation to model-theoretic
Medvedev, Alice and Takloo-Bighash, Ramin , year = 2010, journal =. An invitation to model-theoretic. doi:10.2178/bsl/1286889126 , fjournal =
2010
-
[81]
Geometric Stability Theory , author =
-
[82]
Field Arithmetic , author =
-
[83]
Journal of Mathematical Logic , volume = 7, number = 2, pages =
On Simplicity of Bounded Pseudoalgebraically Closed Structures , author =. Journal of Mathematical Logic , volume = 7, number = 2, pages =
-
[84]
and Shelah, Saharon , year = 2001, month =
Baldwin, John T. and Shelah, Saharon , year = 2001, month =. Model Companions of. Notre Dame J. Formal Logic , publisher =. doi:10.1305/ndjfl/1063372196 , fjournal =
2001
-
[85]
Annals of Pure and Applied Logic , volume = 106, number = 1, pages =
The definable multiplicity property and generic automorphisms , author =. Annals of Pure and Applied Logic , volume = 106, number = 1, pages =. doi:10.1016/S0168-0072(00)00024-5 , issn =
-
[86]
RIMS Kokyuroku , publisher =
On Generic Predicates and Automorphisms (Generic structures and their applications) , author =. RIMS Kokyuroku , publisher =
-
[87]
Forking in the Category of Existentially Closed Structures , author =
-
[88]
Model Theory of Compact Complex Manifolds with an Automorphism , author =
-
[89]
Annals of Pure and Applied Logic , volume = 62, number = 2, pages =
On the automorphism groups of finite covers , author =. Annals of Pure and Applied Logic , volume = 62, number = 2, pages =. doi:10.1016/0168-0072(93)90168-D , issn =
-
[90]
Mathematical Logic Quarterly , publisher =
Weak forms of elimination of imaginaries , author =. Mathematical Logic Quarterly , publisher =. doi:10.1002/malq.200310083 , issn =
-
[91]
American Journal of Mathematics , volume = 98, number = 2, pages =
Infinitesimal Group Scheme Actions on Finite Field Extensions , author =. American Journal of Mathematics , volume = 98, number = 2, pages =
-
[92]
The Theory Of Commutative Formal Groups Over Fields Of Finite Characteristic , author =. Russ. Math. Surv. , volume = 18, number = 6, pages =
-
[93]
Generalized
Rahim Moosa and Thomas Scanlon , year = 2011, journal =. Generalized
2011
-
[94]
Basic properties of differential fields of an arbitrary characteristic and the Picard-Vessiot theory , author =. J. Math. Kyoto Univ. , publisher =
-
[95]
Differential Algebra and Algebraic Groups , author =
-
[96]
Model theory, algebra, and geometry: An Introduction to E
Separably closed fields , author =. Model theory, algebra, and geometry: An Introduction to E. Hrushovski’s proof of the geometric Mordell-Lang conjecture , publisher =
-
[97]
Saturated model theory , author =
-
[98]
Journal of Mathematical Logic , volume = 14, number =
Model theory of fields with free operators in characteristic zero , author =. Journal of Mathematical Logic , volume = 14, number =
-
[99]
Differential Algebraic Groups of Finite Dimension , author =
-
[100]
Journal of Pure and Applied Algebra , volume = 216, number = 1, pages =
On the isotriviality of projective iterative -varieties , author =. Journal of Pure and Applied Algebra , volume = 216, number = 1, pages =
-
[101]
Definable equivalence relations and zeta functions of groups , author =
-
[102]
Logic Colloquium 2006: , publisher =
On finite imaginaries , author =. Logic Colloquium 2006: , publisher =
2006
-
[103]
Annals of Pure and Applied Logic , volume =
The definable multiplicity property and generic automorphisms , author =. Annals of Pure and Applied Logic , volume =
-
[104]
Basic Algebra II , author =
-
[105]
Conrad, Keith , note =. THE
-
[106]
Stability in model theory , author =
-
[107]
Simple theories and hyperimaginaries , author =
-
[108]
Model theory and applications , publisher =
Pseudo-finite fields and related structures , author =. Model theory and applications , publisher =
-
[109]
Model theory of fields with virtually free group actions , author =
-
[110]
Fundamenta Mathematicae , volume =
Around stable forking , author =. Fundamenta Mathematicae , volume =
-
[111]
Un Crit\`
Blossier, Thomas and Martin-Pizarro, Amador , note =. Un Crit\`
-
[112]
Marker, David , note =
-
[113]
The Arithmetic of Elliptic Curves , author =
-
[114]
Abelian varieties , author =
-
[115]
The Elementary Theory of the
Ehud Hrushovski , note =. The Elementary Theory of the
-
[116]
Separably closed fields with higher derivation
Margit Messmer and Carol Wood , year = 1995, journal =. Separably closed fields with higher derivation
1995
-
[117]
Journal of Symbolic Logic , volume = 44, pages =
Notes on the stability of separably closed fields , author =. Journal of Symbolic Logic , volume = 44, pages =
-
[118]
Mathematical logic , author =
-
[119]
Formal group law over
Lubin (http://mathoverflow.net/users/11417/lubin) , url =. Formal group law over
-
[120]
Calculating mod p
Malkhaz Bakuradze , note =. Calculating mod p
-
[121]
, year = 2017, pages = 138, note =
Milne, James S. , year = 2017, pages = 138, note =. Fields and
2017
-
[122]
Teoria cia , author =
-
[123]
The Journal of Symbolic Logic , doi=
Topological dynamics of definable group actions , author=. The Journal of Symbolic Logic , doi=. 2009 , publisher=
2009
-
[124]
Model theoretic aspects of the
Newelski, Ludomir , journal=. Model theoretic aspects of the. 2012 , publisher=
2012
-
[125]
Generalised
Krupiński, Krzysztof and Pillay, Anand , year = 2017, journal =. Generalised
2017
-
[126]
Difference fields and descent in algebraic dynamics
Chatzidakis, Zo. Difference fields and descent in algebraic dynamics. Journal of the Institute of Mathematics of Jussieu , publisher =
-
[127]
On finitely generated profinite groups,
Nikolov, Nikolay and Segal, Dan , year = 2007, journal =. On finitely generated profinite groups,
2007
-
[128]
The elementary theory of regularly closed fields , author =
-
[129]
Journal of Symbolic Logic , publisher =
Properties of forking in -free pseudo-algebraically closed fields , author =. Journal of Symbolic Logic , publisher =
-
[130]
Saharon Shelah , year = 1991, publisher =
1991
-
[131]
Inventiones mathematicae , volume = 30, number = 3, pages =
The elementary theory of algebraic fields of finite corank , author =. Inventiones mathematicae , volume = 30, number = 3, pages =. doi:10.1007/BF01425568 , issn =
-
[132]
Annals of Mathematics , publisher =
Solving Diophantine Problems Modulo Every Prime , author =. Annals of Mathematics , publisher =
-
[133]
Annals of Mathematics , publisher =
The Elementary Theory of Finite Fields , author =. Annals of Mathematics , publisher =
-
[134]
Journal of Algebra , volume = 26, number = 2, pages =
Pseudo algebraically closed fields with non-Archimedean real valuations , author =. Journal of Algebra , volume = 26, number = 2, pages =. doi:10.1016/0021-8693(73)90020-3 , issn =
-
[135]
Journal of Algebra , volume = 271, number = 2, pages =
Perfect pseudo-algebraically closed fields are algebraically bounded , author =. Journal of Algebra , volume = 271, number = 2, pages =. doi:10.1016/j.jalgebra.2002.11.006 , issn =
2002 doi
-
[136]
Decidability and undecidability theorems for PAC-fields , author =. Bull. Amer. Math. Soc. (N.S.) , publisher =
-
[137]
Soviet Mathematics: Doklady , volume = 21, pages =
Regularly closed fields , author =. Soviet Mathematics: Doklady , volume = 21, pages =
-
[138]
0 , journal =
Amalgamation of types in pseudo-algebraically closed fields and applications , author =. 0 , journal =
-
[139]
On Kim-Independence , author =
-
[140]
Archive for Mathematical Logic , volume = 55, number = 5, pages =
On the n-uniqueness of types in rosy theories , author =. Archive for Mathematical Logic , volume = 55, number = 5, pages =. doi:10.1007/s00153-016-0487-6 , issn =
-
[141]
Israel Journal of Mathematics , volume = 193, number = 1, pages =
Amalgamation functors and boundary properties in simple theories , author =. Israel Journal of Mathematics , volume = 193, number = 1, pages =. doi:10.1007/s11856-012-0087-z , issn =
-
[142]
Model theory , author =
-
[143]
Stable Theories with a New Predicate , author =. J. Symbolic Logic , publisher =
-
[144]
Journal of Mathematical Logic , volume = 16, number =
On model-theoretic tree properties , author =. Journal of Mathematical Logic , volume = 16, number =
-
[145]
The ultraproduct construction , author =
-
[146]
Model Theory of Fields , author =
-
[147]
Axioms for pseudo real closed fields , author =. Rev. Roumaine Math. Pures Appl. , volume = 29, pages =
-
[148]
Definite functions on algebraic varieties over ordered fields , author =. Rev. Roumaine Math. Pures Appl. , volume = 29, pages =
-
[149]
Set Theory and Model Theory , publisher =
Pseudo real closed fields , author =. Set Theory and Model Theory , publisher =
-
[150]
Annals of Mathematics , publisher =
Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: I , author =. Annals of Mathematics , publisher =
-
[151]
Ealy, Clifton AND Onshuus, Alf , year = 2016, month = 12, journal =
2016
-
[152]
The Journal of Symbolic Logic , publisher =
Simplicity, and Stability in There , author =. The Journal of Symbolic Logic , publisher =
-
[153]
Regularity lemmas for stable graphs , author =. Trans. Amer. Math. Soc. , volume = 366, pages =
-
[154]
A note on the
Chernikov, Artem and Starchenko, Sergei , year = 2018, journal =. A note on the
2018
-
[155]
Regularity lemma for distal structures , author =. J. Eur. Math. Soc. (JEMS) , volume = 20, number = 10, pages =. doi:10.4171/JEMS/816 , issn =
-
[156]
The Quarterly Journal of Mathematics , doi =
Chernikov, Artem and Starchenko, Sergei , year = 2021, month =. The Quarterly Journal of Mathematics , doi =
2021
-
[157]
2025 , eprint =
Gannon, Kyle and Rzepecki, Tomasz , title =. 2025 , eprint =
2025
-
[158]
and Pillay, A
Conant, G. and Pillay, A. and Terry C. , note =. Structure and regularity for subsets of groups with finite
-
[159]
doi:10.1017/CBO9780511525919 , isbn =
Tame topology and o-minimal structures , author =. doi:10.1017/CBO9780511525919 , isbn =
-
[160]
Topologia ogólna , author =
-
[161]
Bochnak, Jacek and Coste, Michel and Roy, Marie-Francoise , year = 1998, publisher =. Real
1998
-
[162]
Fun with
Johnson, William Andrew , year = 2016, school =. Fun with
2016
-
[163]
, note =
Bierstone, Edward and Milman, Pierre D. , note =. Resolution of
-
[164]
Can a set of Hausdorff codimension 2 disconnect a connected open set? , author =
-
[165]
Topological properties of definable sets in tame perfect fields , author =
-
[166]
1989 , pages =
Ellis, Robert and Nerurkar, Mahesh , title =. 1989 , pages =
1989
-
[167]
Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups , author =. Trans. Amer. Math. Soc. , volume = 368, number = 11, pages =. doi:10.1090/tran/6883 , issn =
-
[168]
2022 , pages =
Glasner, Eli and Megrelishvili, Michael , title =. 2022 , pages =
2022
-
[169]
Some examples of tame dynamical systems answering questions of Glasner and Megrelishvili , author =
-
[170]
2018 , eprinttype =
Rzepecki, Tomasz , title =. 2018 , eprinttype =
2018
-
[171]
, title =
Glasner, Eli and Megrelishvili, Michael and Uspenskij, Vladimir V. , title =. 2008 , pages =
2008
-
[172]
Transactions of the American Mathematical Society , volume = 318, pages =
A classification of Baire class 1 functions , author =. Transactions of the American Mathematical Society , volume = 318, pages =
-
[173]
Auslander, Joseph , title =
-
[174]
Ergodic Theory and Dynamical Systems in Their Interactions with Arithmetics and Combinatorics , editor =
Glasner, Eli and Megrelishvili, Michael , title =. Ergodic Theory and Dynamical Systems in Their Interactions with Arithmetics and Combinatorics , editor =. 2018 , pages =
2018
-
[175]
The dynamical hierarchy for
Ibarlucía, Tom\'. The dynamical hierarchy for. Israel J. Math. , volume = 215, number = 2, pages =. doi:10.1007/s11856-016-1399-1 , issn =
-
[176]
Dp-minimality: basic facts and examples , author =
-
[177]
Grothendieck , author =
Model theoretic stability and definability of types, after A. Grothendieck , author =. The Bulletin of Symbolic Logic , publisher =
-
[178]
Galois groups as quotients of
Krupi. Galois groups as quotients of. 2020 , eid =
2020
-
[179]
Proceedings of the Royal Irish Academy
Enveloping semigroups for flows , author =. Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences , pages =
-
[180]
2007 , pages =
Kerr, David and Li, Hanfeng , title =. 2007 , pages =
2007
-
[181]
2006 , pages =
Glasner, Eli , title =. 2006 , pages =
2006
-
[182]
2018 , pages =
Glasner, Eli , title =. 2018 , pages =
2018
-
[183]
2007 , pages =
Glasner, Eli , title =. 2007 , pages =
2007
-
[184]
2018 , pages =
Glasner, Eli and Megrelishvili, Michael , title =. 2018 , pages =
2018
-
[185]
2006 , pages =
Huang, Wen , title =. 2006 , pages =
2006
-
[186]
Group actions on treelike compact spaces , author =
-
[187]
2015 , pages =
Simon, Pierre , title =. 2015 , pages =
2015
-
[188]
Definably amenable
Chernikov, Artem and Simon, Pierre , year = 2018, journal =. Definably amenable. doi:10.1090/jams/896 , issn =
2018 doi
-
[189]
Israel J
Bounded orbits and measures on a group , author =. Israel J. Math. , volume = 187, pages =. doi:10.1007/s11856-011-0081-x , issn =
-
[190]
doi:10.1017/CBO9781107415133 , place =
A Guide to NIP Theories , author =. doi:10.1017/CBO9781107415133 , place =
-
[191]
Generic stability and
Pillay, Anand , year = 2016, journal =. Generic stability and
2016
-
[192]
Definable convolution and idempotent
Chernikov, Artem and Gannon, Kyle , year = 2022, journal =. Definable convolution and idempotent. doi:10.1007/s11856-022-2298-2 , issn =
2022 doi
-
[193]
and Odell, E
Haydon, R. and Odell, E. and Rosenthal, H. , year = 1991, booktitle =. On certain classes of. doi:10.1007/BFb0090209 , isbn =
1991 doi
-
[194]
Invariant types in
Simon, Pierre , year = 2015, journal =. Invariant types in
2015
-
[195]
Gannon, Kyle , year = 2019, journal =. Local. doi:10.1017/jsl.2019.34 , issn =
2019 doi
-
[196]
Concerning Keisler Measures over ultraproducts , author =
-
[197]
Transactions of the American Mathematical Society , publisher =
The Topological Dynamics of Semigroup Actions , author =. Transactions of the American Mathematical Society , publisher =
-
[198]
Probability and Its Applications , author =
-
[199]
1-5 , author =
Measure Theory, vol. 1-5 , author =
-
[200]
doi:10.1214/22-PS6 , keywords =
Kouji Yano , year = 2022, journal =. doi:10.1214/22-PS6 , keywords =
2022 doi
-
[201]
On first order amenability , journaltitle =
Hrushovski, Ehud and Krupi. On first order amenability , journaltitle =. 2026 , eid =
2026
-
[202]
, year = 1993, journal =
Becker, Howard and Kechris, Alexander S. , year = 1993, journal =. Borel actions of. doi:10.1090/S0273-0979-1993-00383-5 , issn =
1993 doi
-
[203]
Probability Measures on Metric Spaces , author =
-
[204]
Transactions of the American Mathematical Society , publisher =
Invariant Measures in Groups Which are not Locally Compact , author =. Transactions of the American Mathematical Society , publisher =
-
[205]
Pillay, Anand , TITLE =. J. Symbolic Logic , FJOURNAL =. 2013 , NUMBER =
2013
-
[206]
2020 , doi =
Remarks on generic stability in independent theories , journal =. 2020 , doi =
2020
-
[207]
Model Theory , publisher=
Hodges, Wilfrid , year=. Model Theory , publisher=. doi:10.1017/CBO9780511551574 , collection=
-
[208]
Approximation
Gannon, Kyle , year = 2020, school =. Approximation
2020
-
[209]
Model Theory , FJOURNAL =
Chernikov, Artem and Gannon, Kyle , TITLE =. Model Theory , FJOURNAL =. 2023 , NUMBER =
2023
-
[210]
The Journal of Symbolic Logic , author=
ASSOCIATIVITY OF THE MORLEY PRODUCT OF INVARIANT MEASURES IN NIP THEORIES , volume=. The Journal of Symbolic Logic , author=. 2021 , pages=. doi:10.1017/jsl.2021.55 , number=
2021 doi
-
[211]
Hrushovski, Ehud and Pillay, Anand , TITLE =. J. Eur. Math. Soc. , VOLUME =. 2011 , NUMBER =
2011
-
[212]
Measures on Aut(M) , author =
-
[213]
Semigroup Forum , VOLUME =
Viertl, Reinhard , TITLE =. Semigroup Forum , VOLUME =. 1984 , PAGES =
1984
-
[214]
L. N. Argabright , journal =. A Note on Invariant Integrals on Locally Compact Semigroups , urldate =
-
[215]
and Srivastava,
Solecki, S. and Srivastava,. Automatic continuity of group operations , keywords =. Topology and its Applications , issn =. 1997 , doi =
1997
-
[216]
2012 , doi=
Classical descriptive set theory , author=. 2012 , doi=
2012
-
[217]
2025 , eprinttype =
Convolution semigroups for automorphism dynamics , author=. 2025 , eprinttype =
2025
-
[218]
2003 , issn =
Perfect images of absolute Souslin and absolute Borel Tychonoff spaces , journal =. 2003 , issn =. doi:10.1016/S0166-8641(02)00356-5 , author =
2003 doi
-
[219]
Model Theory , VOLUME =
Conant, Gabriel and Gannon, Kyle and Hanson, James , TITLE =. Model Theory , VOLUME =. 2023 , PAGES =
2023
-
[220]
2308.01801 , year=
Generic stability, randomizations, and NIP formulas , author=. 2308.01801 , year=
-
[221]
The Journal of Symbolic Logic , author=
Topological Dynamics of Stable Groups , volume=. The Journal of Symbolic Logic , author=. 2014 , pages=. doi:10.1017/jsl.2014.25 , number=
2014 doi
-
[222]
Generalized locally compact models for approximate groups , author =
-
[223]
2014 , issn =
On compactifications and the topological dynamics of definable groups , journal =. 2014 , issn =. doi:10.1016/j.apal.2013.07.020 , author =
2014 doi
-
[224]
Mathematics eJournal , year=
Compactifications of Topological Groups , author=. Mathematics eJournal , year=
-
[225]
Topological dynamics and the complexity of strong types , journaltitle =
Krupi. Topological dynamics and the complexity of strong types , journaltitle =. 2018 , pages =
2018
-
[226]
Journal of Mathematical Logic , volume =
Simon, Pierre , title =. Journal of Mathematical Logic , volume =. 2015 , doi =
2015
-
[227]
Journal of the London Mathematical Society , volume =
Chernikov, Artem and Pillay, Anand and Simon, Pierre , title =. Journal of the London Mathematical Society , volume =. doi:10.1112/jlms/jdu019 , year =
-
[228]
Pym, J. S. , TITLE =. Pacific J. Math. , FJOURNAL =. 1962 , doi =
1962
-
[229]
In: Models, logics, and higher-dimensional categories , author =
Generic stability, regularity, and quasiminimality. In: Models, logics, and higher-dimensional categories , author =
-
[230]
Transactions of the American Mathematical Society , volume=
Generically stable and smooth measures in NIP theories , author=. Transactions of the American Mathematical Society , volume=. 2013 , doi=
2013
-
[231]
Selecta Mathematica , volume=
Amenability, connected components, and definable actions , author=. Selecta Mathematica , volume=. 2022 , publisher=
2022
-
[232]
Kawada, Yukiyosi and It\^o, Kiyosi , TITLE =. Proc. Phys.-Math. Soc. Japan (3) , FJOURNAL =. 1940 , PAGES =
1940
-
[233]
Wendel, J. G. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1954 , PAGES =
1954
-
[234]
American Journal of Mathematics , volume=
On a conjecture of Littlewood and idempotent measures , author=. American Journal of Mathematics , volume=. 1960 , doi=
1960
-
[235]
Pacific J
Rudin, Walter , TITLE =. Pacific J. Math. , FJOURNAL =. 1959 , doi=
1959
-
[236]
Pacific J
Glicksberg, Irving , TITLE =. Pacific J. Math. , FJOURNAL =. 1959 , PAGES =
1959
-
[237]
arXiv preprint arXiv:2004.08306 , title =
Hrushovski, Ehud and Krupi. arXiv preprint arXiv:2004.08306 , title =
2004
- [238]
-
[239]
Beyond the Lascar Group , year =
Hrushovski, Ehud , journal =. Beyond the Lascar Group , year =
-
[240]
Smoothness of bounded invariant equivalence relations , year =
Krupiński, Krzysztof and Rzepecki, Tomasz , journal =. Smoothness of bounded invariant equivalence relations , year =
-
[241]
On maximal stable quotients of definable groups in NIP theories , year =
Haskel, Mike and Pillay, Anand , journal =. On maximal stable quotients of definable groups in NIP theories , year =
-
[242]
The Journal of Symbolic Logic , title =
Krupi. The Journal of Symbolic Logic , title =. 2023 , pages =
2023
-
[243]
Definable subgroups of a stable group , year =
Newelski, Ludomir , journal =. Definable subgroups of a stable group , year =
-
[244]
Convexity: an analytic viewpoint , year =
Simon, Barry , publisher =. Convexity: an analytic viewpoint , year =
-
[245]
Topological dynamics and the complexity of strong types , year =
Krupiński, Krzysztof and Pillay, Anand and Rzepecki, Tomasz , journal =. Topological dynamics and the complexity of strong types , year =. doi:10.1007/s11856-018-1780-3 , volume =
-
[246]
Jerome , journal =
Keisler, H. Jerome , journal =. Measures and forking , year =. doi:10.1016/0168-0072(87)90069-8 , volume =
-
[247]
Boundedness and absoluteness of some dynamical invariants in model theory , journaltitle =
Krupi. Boundedness and absoluteness of some dynamical invariants in model theory , journaltitle =. 2019 , eid =
2019
- [248]
-
[249]
Amenability, definable groups, and automorphism groups , journaltitle =
Krupi. Amenability, definable groups, and automorphism groups , journaltitle =. 2019 , pages =
2019
-
[250]
G-compactness and groups , volume =
Gismatullin, Jakub and Newelski, Ludomir , date =. G-compactness and groups , volume =. doi:10.1007/s00153-008-0092-4 , pages =
-
[251]
Confluentes Mathematici , title =
Ben Yaacov, Ita. Confluentes Mathematici , title =. 2009 , number =
2009
-
[252]
Stable group theory and approximate subgroups , year =
Hrushovski, Ehud , journal =. Stable group theory and approximate subgroups , year =
-
[253]
Approximate subgroups , year =
Massicot, Jean-Cyrille and Wagner, Frank O , journal =. Approximate subgroups , year =
-
[254]
Sequential approximations for types and Keisler measures , year =
Gannon, Kyle , journal =. Sequential approximations for types and Keisler measures , year =
-
[255]
Mathematical Proceedings of the Cambridge Philosophical Society , title =
Krupi. Mathematical Proceedings of the Cambridge Philosophical Society , title =. 2017 , number =
2017
-
[256]
On compactifications and the topological dynamics of definable groups , year =
Gismatullin, Jakub and Penazzi, Davide and Pillay, Anand , journal =. On compactifications and the topological dynamics of definable groups , year =
-
[257]
Pseudofinite proofs of the stable graph regularity lemma , year =
Conant, G and Terry, C , journal =. Pseudofinite proofs of the stable graph regularity lemma , year =
-
[258]
On the category of models of a complete theory , year =
Lascar, Daniel , journal =. On the category of models of a complete theory , year =
-
[259]
Hyperimaginaries and automorphism groups , year =
Lascar, Daniel and Pillay, Anand , journal =. Hyperimaginaries and automorphism groups , year =
-
[260]
Galois groups of first order theories , year =
Casanovas, Enrique and Lascar, Daniel and Pillay, Anand and Ziegler, Martin , journal =. Galois groups of first order theories , year =
-
[261]
The diameter of a Lascar strong type , year =
Newelski, Ludomir , journal =. The diameter of a Lascar strong type , year =
-
[262]
Minimal bounded index subgroup for dependent theories , year =
Shelah, Saharon , journal =. Minimal bounded index subgroup for dependent theories , year =
-
[263]
Model theoretic connected components of groups , year =
Gismatullin, Jakub , journal =. Model theoretic connected components of groups , year =
-
[264]
Sequential approximations for types and Keisler measures , year =
Macpherson, Dugald and Tent, Katrin , journal =. Sequential approximations for types and Keisler measures , year =
-
[265]
Notre Dame Journal of Formal Logic , title =
Krzysztof Krupiński and Adri. Notre Dame Journal of Formal Logic , title =. 2022 , number =
2022
-
[266]
1976 , doi =
Glasner, Shmuel , title =. 1976 , doi =
1976
-
[267]
Hrushovski, Ehud and Peterzil, Ya'acov and Pillay, Anand , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2008 , NUMBER =
2008
-
[268]
Groupes stables , author =
-
[269]
Newelski's conjecture for o-minimal and p-adic groups , author =
-
[270]
1996 , type =
Kim, Byunghan , title =. 1996 , type =
1996
-
[271]
Proceedings of the American Mathematical Society , year =
Conant, Gabriel , title =. Proceedings of the American Mathematical Society , year =. doi:10.1090/proc/17317 , note =
-
[272]
Fundamenta Mathematicae , year =
Gismatullin, Jakub and Penazzi, Davide and Pillay, Anand , title =. Fundamenta Mathematicae , year =
-
[273]
Integral Representation Theory: Applications to Convexity, Banach Spaces and Potential Theory , series =
Luke. Integral Representation Theory: Applications to Convexity, Banach Spaces and Potential Theory , series =. 2010 , doi =
2010
-
[274]
, title =
Folland, Gerald B. , title =
-
[275]
Irregular model sets and tame dynamics , journal =
Fuhrmann, Gabriel and Glasner, Eli and J. Irregular model sets and tame dynamics , journal =. 2021 , volume =
2021
-
[276]
, title =
Day, Mahlon M. , title =. Illinois Journal of Mathematics , volume =. 1961 , pages =
1961
-
[277]
Approximate invariance for ergodic actions of amenable groups , journaltitle =
Bj. Approximate invariance for ergodic actions of amenable groups , journaltitle =. 2019 , number =
2019
-
[278]
A semigroup associated with a transformation group , author =. Trans. Amer. Math. Soc. , volume = 94, pages =
-
[279]
Lectures on Topological Dynamics , author =
-
[280]
, year = 1974, journal =
Rosenthal, Haskell P. , year = 1974, journal =. A characterization of
1974
-
[281]
and Talagrand, Michel , title =
Bourgain, Jean and Fremlin, David H. and Talagrand, Michel , title =. 1978 , pages =
1978
-
[282]
Hereditarily non-sensitive dynamical systems and linear representations , author =. Colloq. Math. , volume = 104, number = 2, pages =
-
[283]
Topology Appl
Enveloping semigroups in topological dynamics , author =. Topology Appl. , volume = 154, number = 11, pages =
-
[284]
Almost automorphic functions on groups , author =. Amer. J. Math. , volume = 87, pages =
-
[285]
, title =
Romanov, Alexey V. , title =. 2016 , pages =
2016
-
[286]
, title =
Romanov, Alexey V. , title =. 2019 , pages =
2019
-
[287]
On tameness of almost automorphic dynamical systems for general groups , author =. Bull. Lond. Math. Soc. , volume = 52, number = 1, pages =
-
[288]
Ellis enveloping semigroup for almost canonical model sets of an
Aujogue, Jean-Baptiste , year = 2015, journal =. Ellis enveloping semigroup for almost canonical model sets of an
2015
-
[289]
Some model theory of
Gismatullin, Jakub and Penazzi, Davide and Pillay, Anand , year = 2015, journal =. Some model theory of
2015
-
[290]
Some model theory and topological dynamics of
Penazzi, Davide and Pillay, Anand and Yao, Ningyuan , year = 2019, journal =. Some model theory and topological dynamics of
2019
-
[291]
, title =
Phelps, Robert R. , title =. 2001 , doi =
2001
-
[292]
Definable Convolution and Idempotent Keisler Measures III: Generic Stability, Generic Transitivity, and Revised Newelski's Conjecture , journal =
Chernikov, Artem and Gannon, Kyle and Krupi. Definable Convolution and Idempotent Keisler Measures III: Generic Stability, Generic Transitivity, and Revised Newelski's Conjecture , journal =. 2026 , pages =
2026
-
[293]
2024 , eprinttype =
Basso, Gianluca and Zucker, Andy , title =. 2024 , eprinttype =. 2412.05659 , note =
2024 arXiv
-
[294]
2023 , eprinttype =
Codenotti, Alessandro and Hoffmann, Daniel Max , title =. 2023 , eprinttype =
2023
-
[295]
2025 , eprinttype =
Hoffmann, Daniel Max and Rzepecki, Tomasz , title =. 2025 , eprinttype =
2025
-
[296]
, title =
Alfsen, Erik M. , title =. Mathematica Scandinavica , volume =. 1966 , pages =
1966
-
[297]
, title =
Lindenstrauss, Joram and Olsen, Gunnar and Sternfeld, Y. , title =. Annales de l'Institut Fourier , volume =. 1978 , pages =
1978
-
[298]
Ramsey theory and topological dynamics for first order theories , journaltitle =
Krupi. Ramsey theory and topological dynamics for first order theories , journaltitle =. 2022 , pages =
2022
-
[299]
Glasner, Eli and Megrelishvili, Michael , title =. Trans. Amer. Math. Soc. , volume =. 2012 , doi =
2012
-
[300]
, title =
Murphy, Gerard J. , title =
Reviewed July 31, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.