Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)

Julien Melleray

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)

T0 review · 0 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read These lecture notes set out to prove, from the ground up, that extreme amenability of automorphism groups of countable structures is equivalent to a Ramsey property of the underlying combinatorics, and that Polish groups with metrizable uni

desk verdict A careful, clearly attributed set of lecture notes that delivers the advertised route to KPT and the G0 dichotomy, with no new claims and only disclosed gaps in the self-containedness. read the letter →

arxiv 2602.23799 v2 pith:IVTD4ZRB submitted 2026-02-27 math.LO

Julien Melleray This is my paper · ORCID

classification math.LO MSC 03E1522A0537B0505D10

keywords PolishgroupstopologicaldynamicsextremeamenabilityRamseypropertyuniversalminimalflowFraïssélimitsG0-dichotomydescriptivesettheory

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

These notes are a graduate-level exposition, but they carry a clear thesis. The first part establishes a bridge between topological dynamics and finite combinatorics: for a relational class $K$ with an infinite ultrahomogeneous limit $F$, the automorphism group $\operatorname{Aut}(F)$ acts extremely amenably — every continuous action on a compact Hausdorff space has a fixed point — exactly when $K$ has the Ramsey property for embeddings. It then proves a structure theorem: a Polish group has a metrizable universal minimal flow if and only if it contains a co-precompact, extremely amenable closed subgroup $H$, in which case the flow is the completion of the coset space $G/H$. The second part develops the descriptive set theory needed earlier and culminates in the $G_0$-dichotomy for analytic graphs. A careful reader who completes the deferred exercises comes away with verified proofs of both milestones.

What carries the argument

The main engine is the Samuel compactification $S(G)$, the compactification of $G$ determined by its right-uniformly continuous bounded functions; every $G$-ambit factors through it, and its minimal subflows are the universal minimal flow. For subgroups of the infinite symmetric group, $S(G)$ is zero-dimensional, so extreme amenability is equivalent to stability of all colorings of the quotient flows $2^{V\backslash G}$; translating this through the Fraïssé limit turns it into the Ramsey property for embeddings. For the metrizable part, a topometric structure (a metric refining the compact topology) is put on $S(G)$, and the fact that convergent sequences in $S(G)$ are metric-convergent is used to prove that a metr...

What would settle it

To refute the first main claim, exhibit a Fraïssé class of finite relational structures whose automorphism group of its limit is extremely amenable but whose class fails the Ramsey property for embeddings; to refute the second, exhibit a Polish group with metrizable universal minimal flow but no co-precompact, extremely amenable closed subgroup whose coset completion is that flow.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is a structural equivalence. Let $K$ be a relational Fraïssé class — a class of finite relational structures with amalgamation, joint embedding, and heredity, admitting a unique countable ultrahomogeneous limit $F$. The paper proves that $\operatorname{Aut}(F)$ is extremely amenable (every continuous action on a compact Hausdorff space has a fixed point) if and only if $K$ has the Ramsey property for embeddings: every finite coloring of the embeddings of $A$ into a large structure is constant on the embeddings of $A$ into some copy of $B$. It also proves that a Polish group $G$ has a metrizable universal minimal flow exactly when there is a co-precompact, extremely amenable

Load-bearing premise

The main results stand if the proof obligations the notes defer to exercises — notably the construction of a proper left-invariant metric on locally compact groups, which the freeness of the Samuel compactification action needs — and the proof of the metrizable case imported nearly verbatim from another source are correct.

Editorial extensions

If this is right

If the correspondence theorem is right, then proving extreme amenability of an automorphism group of a countable structure is reduced to proving a Ramsey statement about finite substructures; the paper applies this to show that the automorphism group of the rational order is extremely amenable.
The universal minimal flow of the infinite symmetric group is the compact space of all linear orders on ω, making the abstract universal minimal flow a concrete object and showing that it can be metrizable and have a comeager orbit.
For any Polish group with metrizable universal minimal flow, the flow has a comeager orbit and the stabilizer of any point in it is co-precompact and extremely amenable, yielding the presentation M(G) = completion of G/H.
The G0-dichotomy gives a sharp structural alternative: any analytic graph without a countable Borel coloring must continuously contain the fixed obstruction graph G0, so the nonexistence of a coloring is witnessed by a single canonical subgraph.
The two parts together give a self-contained route from descriptive set theory to the main structural theorems about Polish group dynamics.

Reading between the lines

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

The embedding formulation of the Ramsey property suggests that the right combinatorial notion for non-rigid structures may be monochromatic sets of embeddings rather than monochromatic substructures; one could test whether weakening rigidity changes which Fraïssé classes satisfy the property.
One consequence the notes leave implicit is that the metrizability theorem gives a practical strategy for computing M(G): find a co-precompact extremely amenable subgroup H, then take the completion of G/H. A testable extension is whether the existence of a comeager orbit in M(G), without metrizability, already forces this presentation in all Polish groups.
The G0-dichotomy and the Ramsey correspondence look like two instances of the same structural theme — large objects either contain a canonical obstruction or can be colored and simplified. A reader might profitably look for a common Baire-category proof that covers both halves.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Candid take: these are lecture notes, not a research paper. That is not a flaw if judged as what it claims to be. The foreword says so, and every theorem is attributed to its source. What is genuinely good is the care taken with dependencies: black-box results are flagged and later proved, exercises have hints and solutions, and the chapter comments give real references. A reader who works through the notes will get a solid, verified path from Baire category and uniform spaces to the KPT correspondence (Theorem 7.12) and to Miller's proof of the G0-dichotomy. That is a real pedagogical contribution and the author deserves credit for it.

The math itself is standard. I checked the load-bearing skeletons—the proof of Theorem 7.12, the topometric machinery in Chapter 8, and the main structure of Miller's argument—and found no internal inconsistency. The stress-test note is right: this is an exposition of published results, and the main theorems are correctly credited to KPT05, KST99, Rosendal, Tsankov, BMT17, MVT16, and others. There is no circularity.

The soft spots are real but minor and mostly disclosed. The proof of Veech's theorem leans on Struble's theorem, which is left as Exercise 45; the general case of Theorem 1.33 is deferred to Exercise 15; Fraisse's existence theorem is only sketched; and the proof that a metrizable M(G) has a comeager orbit is lifted essentially verbatim from BMT17, as the author says. The foreword's admission that an anonymous reviewer caught an erroneous argument is a point in the author's favor—it shows actual vetting, not a live defect. None of these undermines the results, because the results are all standard and externally verified.

Who is this for? A graduate student or a researcher who wants a self-contained introduction to Polish group dynamics with the G0 dichotomy in one place. It fills that niche competently. It does not contain a new theorem, and the novelty score of 1 is fair.

My verdict: this deserves a serious referee if submitted as an expository survey or monograph chapter. The referee should check the deferred exercises and the verbatim imports, but the manuscript is honest and well-structured. I would not cite it as a research source, but I would point a student to it. Yes to peer review, with the expectation that the review focuses on correctness of the expository proofs rather than novelty.

Referee Report

0 major / 4 minor

Summary. These lecture notes provide an introduction to Polish groups and their topological dynamics, with a first part leading to the Kechris–Pestov–Todorčević correspondence (Theorem 7.12), the Glasner–Weiss identification of the universal minimal flow of S_∞ (Theorem 7.20), and the Melleray–Nguyen Van Thé–Tsankov / Ben Yaacov–Melleray–Tsankov metrizability criterion for M(G) (Theorem 7.21). The second part is a descriptive set theory primer intended to culminate in B. Miller's proof of the G_0-dichotomy. The text is explicitly expository: all major theorems are attributed to their originators, standard results are either proved or explicitly black-boxed, and exercises with hints are used for several supporting arguments.

Significance. If the notes are correct, they fill a valuable expository niche: they connect descriptive set theory, Fraïssé theory, and topological dynamics in a single, carefully cross-referenced narrative. The main theorems are reproductions of published results, so the value is pedagogical and organizational rather than genuinely new. Strengths include the explicit sourcing of results, the honest disclosure that an anonymous reviewer caught an earlier erroneous argument, the inclusion of detailed exercises, and the transparent marking of results that are deferred or imported. The stress-test concern about the disclosed dependencies (Struble's theorem as an exercise, the general case of Theorem 1.33 as an exercise, the sketch of Fraïssé's theorem, and the import from [BMT17]) does not, in my reading, amount to a correctness defect: these are standard, external, and explicitly flagged. My main reservation is scope fit for a research journal, not mathematical soundness.

minor comments (4)

[Proposition 7.2] The proof concludes with ||φ−ψ|| ≤ 2ε, while the statement of the proposition promises ||φ−ψ|| ≤ ε. The gap is easily repaired by choosing V and the finitely many approximation centers with ε/2 instead of ε, but the inconsistency should be fixed since Proposition 7.3 relies on the stated form.
[Foreword / Exercises 15, 45 / Theorem 2.14] The self-containedness promise is slightly stronger than what is delivered: the general case of Theorem 1.33 is left to Exercise 15, Struble's theorem (used in the proof of Veech's theorem, Theorem 6.18) is left to Exercise 45, and the Fraïssé existence theorem (Theorem 2.14) is only sketched. I do not regard this as a correctness problem, but the text should either point forward to these exercises at the relevant places or soften the wording of the promise.
[Chapter 8, end-of-chapter comment] The acknowledgment that the comeager-orbit proof of Theorem 8.10 is 'lifted essentially verbatim from [BMT17]' appears only in the chapter comments. For greater transparency, it would be useful to state this at the start of that proof, so that a reader knows which portions are being imported rather than re-derived.
[General copyediting] There are several small typos and grammatical slips: 'proveides' in the abstract; 'There there exists' in Theorem 2.14; 'is is up to isomorphism' in Exercise 25; and subject-verb agreement in the abstract's first sentence. These should be cleaned up.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity — expository notes with attributed, independently checkable proofs.

full rationale

The text is a survey and proof-oriented set of lecture notes. Its load-bearing results—Theorem 7.12 (KPT correspondence), Theorem 7.21 on metrizable universal minimal flows, and the G0-dichotomy exposition—are proved in the text from earlier theorems, with attributions to the original sources (KPT05, MVT16, BMT17, KST99, etc.). The proof of Theorem 7.12 translates Theorem 7.6 rather than assuming it, and the chapter 8 proof of the stabilization argument is presented in full, with the comment that part is 'lifted essentially verbatim from [BMT17]' serving as an open disclosure of source rather than as a substitute for the argument. Deferred items such as Struble's theorem (Exercise 45) and the general case of Theorem 1.33 (Exercise 15) are genuine self-containedness gaps, but they are standard external facts, clearly flagged as exercises, and do not make any central claim reduce to its own inputs. The foreword's admission that an anonymous reviewer caught an erroneous argument indicates vetting, not circularity. No fitted parameter is relabeled as a prediction, and no uniqueness theorem is imported solely through an unexamined self-citation: the relevant proofs are in these notes and their assumptions do not include the conclusions they establish. Accordingly, the appropriate finding is no circularity.

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

The text introduces no free parameters and no invented entities; it is an exposition of established mathematics. The dependence structure is: ZFC+Choice (declared in the foreword), Baire category, standard point-set topology (complete regularity, unique uniformity on compacta), deferred descriptive-set-theoretic black boxes (explicitly flagged), and theorems stated as exercises but used later (Struble's theorem in the proof of Veech's theorem; completion of Thm 1.33 in Exercise 15). All sources are cited in chapter comments, so the ledger's axioms are standard background, not ad hoc additions.

assumptions (5)

standard math ZFC including the Axiom of Choice.
Explicitly declared in the foreword (appendix 'Basics of Set Theory': 'we freely use the axiom of choice'). Invoked via Zorn's lemma in the existence of minimal subflows / minimal left-ideals (Lemma 6.9, Exercise 58) and ultrafilters (Prop 7.11).
standard math Baire category theorem for Polish spaces.
Required background per the foreword; used in the proofs of Thm 1.7 (Polish subgroups are closed), Thm 1.14 (Banach), Lemma 1.25 (Rosendal), Thm 1.26 (Effros), Lemma 1.29, and Thm 6.18 (Veech).
standard math Compact Hausdorff spaces are completely regular and carry a unique compatible uniformity.
Invoked in Prop 3.8 (neighborhoods of the diagonal of a compact space form a uniformity) and Prop 3.10; standard point-set topology taken as background.
domain assumption Part I black-boxes descriptive-set-theoretic results proved only in Part II (complete metrizability of G_δ sets, Lusin–Suslin theorem, continuity of Borel maps on dense G_δ sets).
Explicitly flagged in Chapter 1: 'we use some descriptive-set-theoretic results which are only proved in the second part'. Correctness of the Part I proofs depends on the Part II proofs (e.g., Corollary 9.5, Theorem 11.12, Theorem 13.1).
domain assumption Struble's theorem (a second-countable locally compact group admits a compatible left-invariant proper metric) — stated as Exercise 45 and used in the proof of Veech's theorem.
Theorem 6.18: 'Applying Struble's theorem (see Exercise 45)'. The load-bearing fact is delegated to an exercise with a hint and a claimed appendix solution; the main-text proof depends on it.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)." pith.science (2026). https://pith.science/paper/IVTD4ZRB

@misc{pith2026260223799,
  author       = {Pith},
  title        = {Pith review of: Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IVTD4ZRB}},
  note         = {Machine review of arXiv:2602.23799}
}

abstract

The first part of these notes give an introduction to the theory of Polish group actions on compact Hausdorff spaces, leading up to a proof of the Kechris-Pestov-Todorcevic correspondence and discussions of properties of universal minimal flows. The second part proveides some background on descriptive set theory and culminates with B. Miller's proof of the $\mathcal{G}_0$-dichotomy theorem due to Kechris, Solecki, and Todorcevic.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 1 linked inside Pith

[1]

Arhangel’skii and M

[AT08] A. Arhangel’skii and M. Tkachenko,Topological Groups and Related Structures (Atlantis Stud. Math.). Hackensack, NJ: World Scientific; Paris: Atlantis Press, 2008, vol

2008
[7]

Godefroy,Introduction aux méthodes de Baire(Tableau Noir)

[God22] G. Godefroy,Introduction aux méthodes de Baire(Tableau Noir). Paris: Calvage et Mounet, 2022, vol

2022
[13]

The emergence of descriptive set theory,

[Jec03] T. Jech,Set theory(Springer Monographs in Mathematics). Springer-Verlag, Berlin, 2003, pp. xiv+769. [Kan95] A. Kanamori, “The emergence of descriptive set theory,” inFrom Dedekind to Gödel (Boston, MA, 1992), ser. Synthese Lib. Vol. 251, Kluwer Acad. Publ., Dor- drecht, 1995, pp. 241–262. [Kap72] I. Kaplansky,Set theory and metric spaces(Allyn and...

2003
[14]

Descriptive graph combinatorics,

[KL16] D. Kerr and H. Li,Ergodic theory(Springer Monographs in Mathematics). Springer, Cham, 2016, pp. xxxiv+431, Independence and dichotomies. [KM20] A. S. Kechris and A. Marks, “Descriptive graph combinatorics,”

2016
[16]

Polish groups with metrizable uni- versal minimal flows,

[MVT16] J. Melleray, L. N. Van Thé, and T. Tsankov, “Polish groups with metrizable uni- versal minimal flows,” vol. 2016, no. 5, pp. 1285–1307,

2016
[17]

[Oxt80] J. C. Oxtoby,Measure and category(Graduate Texts in Mathematics), Second. Springer-Verlag, New York-Berlin, 1980, vol. 2, pp. x+106, A survey of the analo- gies between topological and measure spaces. [Pes06] V . Pestov,Dynamics of Infinite-Dimensional Groups. The Ramsey-Dvoretzky-Milman Phenomenon(Univ. Lect. Ser.). Providence, RI: American Mathe...

1980
[21]

Tent and M

[TZ12] K. Tent and M. Ziegler,A Course in Model Theory(Lect. Notes Log.). Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL), 2012, vol

2012
[40]

Compactifications of topological groups,

[Usp02] V . Uspenskij, “Compactifications of topological groups,” inProceedings of the 9th Prague Topological Symposium, Prague, Czech Republic, August 19–25, 2001, Toronto: Topology Atlas, 2002, pp. 331–347. [Zie21] J. Zielinski, “Locally Roelcke precompact Polish groups,”Groups Geom. Dyn., vol. 15, no. 4, pp. 1175–1196,

2001

Show all 22 references

[1970]

Unitary Representations of Oligomorphic Groups,

[Sri98] S. M. Srivastava,A course on Borel sets(Graduate Texts in Mathematics). Springer- Verlag, New York, 1998, vol. 180, pp. xvi+261. [Tsa12] T. Tsankov, “Unitary Representations of Oligomorphic Groups,”Geometric and Functional Analysis, vol. 22, no. 2, pp. 528–555, Apr

1998
[1993]

All those EPPA classes (strengthenings of the Herwig-Lascar theorem),

[Hjo00] G. Hjorth,Classification and orbit equivalence relations(Mathematical Surveys and Monographs). American Mathematical Society, Providence, RI, 2000, vol. 75, pp. xviii+195. [HKN22] J. Hubiˇ cka, M. Koneˇ cný, and J. Nešetˇ ril, “All those EPPA classes (strengthenings of...

2000
[1998]

Topological groups: Where to from here?,

[Pes99] V . Pestov, “Topological groups: Where to from here?,” vol. 24, pp. 421–506, 1999, ISSN: 0146-4124. [RD81] W. Roelcke and S. Dierolf,Uniform structures on topological groups and their quo- tients, New York etc.: McGraw-Hill International Book Company. XI, 276 p. DM 114...

1999
[2000]

Extending partial isomorphisms of graphs,

[Hod93] W. Hodges,Model Theory(Encyclopedia of Mathematics and Its Applications). Cambridge: Cambridge University Press, 1993, vol. 42, pp. xiv+772. [Hru92] E. Hrushovski, “Extending partial isomorphisms of graphs,”Combinatorica, vol. 12, no. 4, pp. 411–416, 1992,ISSN: 0209-96...

1993
[2008]

Topometric characterization of type spaces in continuous logic,

[Hal60] P . R. Halmos,Naive set theory(The University Series in Undergraduate Mathe- matics). D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960, pp. vii+104. [Han25] J. E. Hanson, “Topometric characterization of type spaces in continuous logic,” J. Log. ...

1960
[2011]

Ultrafilters and compactification of uniform spaces,

[Ros22] C. Rosendal,Coarse geometry of topological groups(Cambridge Tracts in Mathe- matics). Cambridge University Press, Cambridge, 2022, vol. 223, pp. ix+297. [Sam48] P . Samuel, “Ultrafilters and compactification of uniform spaces,”Trans. Amer. Math. Soc., vol. 64, pp. 100–132,

2022
[2012]

H-closed and extremally disconnected Haus- dorff spaces,

[Mos80] Y. N. Moschovakis,Descriptive set theory(Studies in Logic and the Foundations of Mathematics). North-Holland Publishing Co., Amsterdam-New York, 1980, vol. 100, pp. xii+637. [MR69] J. Mioduszewski and L. Rudolf, “H-closed and extremally disconnected Haus- dorff spaces,...

1980
[2013]

TheG 0 dichotomy,

[Ber] A. Bernshteyn, “TheG 0 dichotomy,” unpublished notes. [Online]. Available: https://bahtoh-math.github.io/resources/KST.pdf [BK96] H. Becker and A. S. Kechris,The Descriptive Set Theory of Polish Group Actions (London Mathematical Society Lecture Note Series). Cambridge: ...

1996
[2016]

A new short proof for the uniqueness of the universal minimal space,

[Gao09] S. Gao,Invariant Descriptive Set Theory(Pure and Applied Mathematics (Boca Raton)). Boca Raton, FL: CRC Press, 2009, vol. 293, pp. xiv+383. [GL13] Y. Gutman and H. Li, “A new short proof for the uniqueness of the universal minimal space,”Proc. Amer. Math. Soc., vol. 14...

2009
[2017]

Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups,

[BO25] N. H. Bingham and A. J. Ostaszewski,Category and measure—infinite combina- torics, topology and groups(Cambridge Tracts in Mathematics). Cambridge Uni- versity Press, Cambridge, 2025, vol. 233, pp. xiii+331. [BT16] I. Ben Yaacov and T. Tsankov, “Weakly almost periodic f...

2025
[2021]

Engelking,General Topology.(Sigma Ser

[Eng89] R. Engelking,General Topology.(Sigma Ser. Pure Math.), Rev. and compl. ed. Berlin: Heldermann Verlag, 1989, vol

1989
[2022]

Extending partial automorphisms and the profi- nite topology on free groups,

[HL00] B. Herwig and D. Lascar, “Extending partial automorphisms and the profi- nite topology on free groups,”Transactions of the American Mathematical Society, vol. 352, no. 5, pp. 1985–2021,

1985
[2024]

Available:arxiv.org/abs/2412.05659 [Cie97] K

[Online]. Available:arxiv.org/abs/2412.05659 [Cie97] K. Ciesielski,Set theory for the working mathematician(London Mathematical So- ciety Student Texts). Cambridge University Press, Cambridge, 1997, vol. 39, pp. xii+236. [Dod10] P . Dodos,Banach spaces and descriptive set theo...

1997 arXiv
[2025]

The small index property forω-stableω-categorical structures and for the random graph,

[Hei01] J. Heinonen,Lectures on analysis on metric spaces(Universitext). Springer-Verlag, New York, 2001, pp. x+140. [HHLS93] W. Hodges, I. Hodkinson, D. Lascar, and S. Shelah, “The small index property forω-stableω-categorical structures and for the random graph,”J. London Ma...

2001

Pith tools

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

[1] [1]

Arhangel’skii and M

[AT08] A. Arhangel’skii and M. Tkachenko,Topological Groups and Related Structures (Atlantis Stud. Math.). Hackensack, NJ: World Scientific; Paris: Atlantis Press, 2008, vol

2008

[2] [7]

Godefroy,Introduction aux méthodes de Baire(Tableau Noir)

[God22] G. Godefroy,Introduction aux méthodes de Baire(Tableau Noir). Paris: Calvage et Mounet, 2022, vol

2022

[3] [13]

The emergence of descriptive set theory,

[Jec03] T. Jech,Set theory(Springer Monographs in Mathematics). Springer-Verlag, Berlin, 2003, pp. xiv+769. [Kan95] A. Kanamori, “The emergence of descriptive set theory,” inFrom Dedekind to Gödel (Boston, MA, 1992), ser. Synthese Lib. Vol. 251, Kluwer Acad. Publ., Dor- drecht, 1995, pp. 241–262. [Kap72] I. Kaplansky,Set theory and metric spaces(Allyn and...

2003

[4] [14]

Descriptive graph combinatorics,

[KL16] D. Kerr and H. Li,Ergodic theory(Springer Monographs in Mathematics). Springer, Cham, 2016, pp. xxxiv+431, Independence and dichotomies. [KM20] A. S. Kechris and A. Marks, “Descriptive graph combinatorics,”

2016

[5] [16]

Polish groups with metrizable uni- versal minimal flows,

[MVT16] J. Melleray, L. N. Van Thé, and T. Tsankov, “Polish groups with metrizable uni- versal minimal flows,” vol. 2016, no. 5, pp. 1285–1307,

2016

[6] [17]

[Oxt80] J. C. Oxtoby,Measure and category(Graduate Texts in Mathematics), Second. Springer-Verlag, New York-Berlin, 1980, vol. 2, pp. x+106, A survey of the analo- gies between topological and measure spaces. [Pes06] V . Pestov,Dynamics of Infinite-Dimensional Groups. The Ramsey-Dvoretzky-Milman Phenomenon(Univ. Lect. Ser.). Providence, RI: American Mathe...

1980

[7] [21]

Tent and M

[TZ12] K. Tent and M. Ziegler,A Course in Model Theory(Lect. Notes Log.). Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL), 2012, vol

2012

[8] [40]

Compactifications of topological groups,

[Usp02] V . Uspenskij, “Compactifications of topological groups,” inProceedings of the 9th Prague Topological Symposium, Prague, Czech Republic, August 19–25, 2001, Toronto: Topology Atlas, 2002, pp. 331–347. [Zie21] J. Zielinski, “Locally Roelcke precompact Polish groups,”Groups Geom. Dyn., vol. 15, no. 4, pp. 1175–1196,

2001