Pith. sign in

REVIEW 2 major objections 4 minor 44 references

Componentwise Polish groupoids and equivalence relations

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

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

Pith's one-line read Every Borel-overt fiberwise quasi-Polish groupoid is Borel equivalent to a Polish group action.

desk verdict A serious attempt at a Becker–Kechris converse that is worth refereeing, but Lemma 4.3.1 has a genuine gap in the factorization step. read the letter →

arxiv 2507.04138 v1 pith:BDUNLYHC submitted 2025-07-05 math.LO math.DS

Ruiyuan Chen This is my paper · ORCID
classification math.LOmath.DS MSC 03E1522A2222F10
keywords Polishgroupoidquasi-PolishspaceBorelequivalencerelationcomponentwisetopologyBecker–KechristheoremVaughttransformtopologicalrealization
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

The paper claims that a Borel equivalence relation or groupoid whose equivalence classes carry uniformly Borel (quasi-)Polish topologies is never more expressive than a Polish group action. Its main theorem shows that every Borel-overt fiberwise quasi-Polish groupoid—a standard Borel groupoid with a uniformly Borel family of quasi-Polish topologies on each source fiber—admits a Borel equivalence of groupoids to an open Polish groupoid, and hence to the action groupoid of a Polish group action. This matters because it turns the Becker–Kechris theorem around: instead of starting from a Polish group action, any abstract collection of 'componentwise' Polish topologies satisfying mild uniform-Borelness axioms is realized by a genuine global action. The paper also develops fiberwise versions of Vaught transforms, Effros's theorem on orbits, and the open mapping theorem for these componentwise groupoids.

What carries the argument

The carrying object is the Borel-overt fiberwise quasi-Polish groupoid: a standard Borel groupoid with a uniformly Borel family of quasi-Polish topologies on each fiber of the source map, invariant under right translation, with Borel-testable nonemptiness of fiberwise open sets (the 'overt' condition). The argument proceeds through the componentwise $\sigma$-topologies $\mathrm{BO}_{\mathcal{G}}(X)$ and $\mathrm{BO}_{\mathcal{G}}(G)$ on objects and morphisms, which Theorem 4.1.3 shows form an open $\sigma$-topological groupoid with compatible $\sigma$-topologies. Two further mechanisms carry the representation: a groupoid-level version of the argument from [SS97] (Lemma 4.3.1) produces a componentwise comeager full subgroupoid on which the difference map $(g,h)\mapsto g^{-1}h$ is uniformly fiberwise continuous, and a fundamental-sequence criterion from [Ram90] upgrades the resulting quasi-Polish groupoid to a Polish one.

What would settle it

Find a Borel-overt fiberwise quasi-Polish groupoid for which no componentwise comeager full subgroupoid has uniformly fiberwise continuous differences, or find a Borel-overt fiberwise Polish groupoid whose connectedness relation is not Borel bireducible with the orbit equivalence relation of any free Polish group action. The paper explicitly leaves open whether uniform and non-uniform continuity of differences are equivalent, so the first is the most direct test.

Watch

Extended reading notes

Core claim

The central discovery is that the topological information encoded in the Borel structure of a Polish group action can be axiomatized without the action: a Borel-overt fiberwise quasi-Polish groupoid carries exactly the data that a global open Polish groupoid, and ultimately a Polish group action, can produce. On a comeager set of objects the paper constructs a full subgroupoid on which the fiberwise difference operation $(g,h)\mapsto g^{-1}h$ is uniformly continuous in a Borel way; this uniform condition lets the componentwise $\sigma$-topologies be assembled into compatible global quasi-Polish topologies. A further comeager pass and a fundamental-sequence criterion upgrade the topology to Polish while preserving the equivalence of groupoids. Consequently every such groupoid is Borel equivalent to the action groupoid of a Polish group action, and the induced equivalence relations are Borel bireducible.

Load-bearing premise

The proof needs Lemma 4.3.1's finding of a Borel componentwise comeager full subgroupoid whose fiberwise difference map is uniformly continuous in a Borel way, and the final reduction to a group action also depends on the unpublished result [Che19] that open Polish groupoids are Borel equivalent to Polish group actions.

Editorial extensions

If this is right

  • Every Borel-overt classwise quasi-Polish equivalence relation is Borel bireducible with the orbit equivalence relation of a free Polish group action (Corollary 4.4.12).
  • Every Borel-overt fiberwise Polish groupoid admits a Borel equivalence of groupoids to an action groupoid of a Polish group action, with Borel inverses-up-to-isomorphism (Corollary 4.4.11 and Proposition 3.8.3).
  • The componentwise sigma-topologies realize any Borel-overt uniformly componentwise quasi-Polish groupoid as an open quasi-Polish groupoid, with any countably many componentwise open sets included in the compatible topology (Theorem 4.1.5).
  • The standard toolbox for Polish group actions extends to this abstract setting: Vaught transforms, orbitwise Baire category, idealisticity, Effros's theorem on orbits, the open mapping theorem, and the closed subgroupoid theorem (Sections 3.5-3.7 and 4.5).
  • When the connectedness relation is smooth, the componentwise topologies assemble into Borel-overt bundles over the quotient, with uniformly open structure maps and Borel sections (Theorem 4.5.5).

Reading between the lines

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

  • Beyond the paper: if the open question whether uniform and non-uniform fiberwise continuity of differences coincide is resolved positively, then classwise quasi-Polish equivalence relations automatically satisfy the uniform hypothesis, and Corollary 4.4.12 could likely be upgraded to a classwise topological embedding into a free Polish group action, as the paper notes in Section 1.6.
  • Beyond the paper: the idealisticity arguments suggest a definition of 'Borel-idealistic groupoid' (Remark 3.7.7) whose Borel quantifiers preserve Borel sets; the framework makes it plausible that every such groupoid is Borel equivalent to a Polish group action, a groupoid analogue of the conjectured dichotomy for idealistic equivalence relations.
  • Beyond the paper: the Polishability criterion of Theorem 4.4.5 can be used as a test for whether a concrete fiberwise quasi-Polish groupoid carries a global Polish topology, by checking for symmetric identity-neighborhood sequences inside the componentwise sigma-topology.
  • Beyond the paper: extending the definitions to analytic equivalence relations with Borel classes, as suggested at the end of the introduction, would give an alternative construction of orbitwise topologies for arbitrary Polish group actions without passing through a groupoid.
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 / 4 minor

Summary. The paper develops an axiomatic theory of Borel groupoids equipped with componentwise (quasi-)Polish topologies, in both fiberwise and classwise forms. The central results are: (1) a topological realization theorem (Theorem 4.1.5 / 1.3.3) showing that Borel-overt uniformly componentwise quasi-Polish groupoids admit compatible global open quasi-Polish groupoid topologies; (2) a comeager-subgroupoid theorem (Lemma 4.3.1, Theorem 4.3.2) intended to reduce arbitrary Borel-overt fiberwise quasi-Polish groupoids to uniformly componentwise ones; (3) a Polishability criterion (Theorem 4.4.5) and a passage to open Polish groupoids (Theorem 4.4.10); and (4) corollaries asserting that every Borel-overt fiberwise quasi-Polish groupoid is Borel equivalent to an action groupoid of a Polish group action, and that every Borel-overt classwise quasi-Polish equivalence relation is Borel bireducible with a free Polish group action. Along the way the paper generalizes Vaught transforms, Effros's theorem, the open mapping theorem, and related tools to the quasi-Polish groupoid setting.

Significance. If the proofs are correct, this is a substantial and well-motivated contribution to descriptive set theory and topological groupoid theory. The paper proposes a clear axiomatic framework for 'componentwise Polish structure', proves a genuine converse to the Becker--Kechris direction for the overt class, and shows that the resulting machinery can be used to derive several classical theorems in a unified way. The use of quasi-Polish spaces, sigma-topologies, and point-free-style algebraic manipulation is innovative, and the paper is honest about its limitations, explicitly stating open questions (Section 1.6) and providing counterexamples showing the necessity of the overtness and uniform-continuity assumptions (Examples 4.1.9 and 4.4.14). The proofs are generally detailed and the architecture of the argument is coherent. The main reservations concern one underjustified step in the proof of the key lemma (Lemma 4.3.1) and the dependence of the headline action-groupoid conclusion on an unpublished same-author preprint.

major comments (2)
  1. [§4.3, proof of Lemma 4.3.1] The displayed computation after 'thus by Pettis's theorem' is the load-bearing step of the proof and is underjustified. The symbol C'_ij appears in the conclusion but is never defined; presumably it is Cij or a Borel approximation to it. More substantively, the equality μ^{-1}(U_i) = ∃∗_{μ×μ}(μ4^{-1}(U_i)) = ⋃_j ((V_ij ∗ A'_ij) ×_Y (B'_ij ∗ C'_ij)) requires a proof that the ∃∗_{μ×μ}-quantifier over the fiber of the quaternary multiplication factors as a product of the two Vaught transforms V∗A' and B'∗C'. The fiber of μ×μ over a composable pair (p,q) is the product of the fibers of μ over p and μ over q, but the nonmeagerness of a subset of that fiber is not equivalent to nonmeagerness of its projections without an explicit Kuratowski–Ulam argument using the canonical simplicial fiberwise topologies of Remark 3.5.21. The current proof cites only Pettis's theorem and the separate fiberwise Baire property, which do not by themselves justify the factorization. Since Lemma 4.3.1 is the only step that upgrades an arbitrary Borel-overt fiberwise quasi-Polish groupoid to one with uniformly fiberwise continuous differences, Theorem 4.4.10 and Corollaries 4.4.11–4.4.12 rest on this missing calculation. Please supply the calculation or restructure the proof.
  2. [§4.4, Corollary 4.4.11 (also §1.2)] The advertised conclusion that every Borel-overt fiberwise quasi-Polish groupoid is Borel equivalent to an action groupoid of a Polish group action is obtained by composing Theorem 4.4.10 with [Che19, 1.2], which is an unpublished same-author preprint (arXiv:1908.03268). The paper gives no information about the publication status of [Che19] or a proof of the cited statement. This dependency is load-bearing for the headline result, not an incidental remark. Please either include a proof of [Che19, 1.2] (or a reference to a published version), or clearly state in the introduction and abstract that the action-groupoid conclusion is conditional on that preprint.
minor comments (4)
  1. [§4.3, proof of Lemma 4.3.1] In the same proof, the set C'_ij should be defined or replaced by C_ij; as written, it is an undefined symbol in a central display.
  2. [§1.1, Theorem 1.1.2] The phrase 'free Borel action of a Polish group G⟳Y' should be 'free Borel action of a Polish group' when the group is named G; the current wording is slightly ambiguous about whether G acts freely or the action is merely Borel.
  3. [§4.1, Example 4.1.9] The notation N for both the discrete natural numbers and the one-point compactification N∪{∞} is confusing; a different symbol for the compactification would improve readability.
  4. [§1.6] The discussion of the open questions about the uniform versus non-uniform versions and about Polishability of classwise Polish equivalence relations is welcome and well placed; it would be helpful to state explicitly in Section 1.3 that Theorem 1.3.3 is not claimed without the uniformity assumption, even though this is implicit in the definitions.

Circularity Check

1 steps flagged · score 2.0 of 10

Core derivation is self-contained; only flagged circularity-burden item is the final action-groupoid step resting on the author's unpublished [Che19, 1.2], plus a Lemma 4.3.1 proof gap that is a correctness risk, not circularity.

  1. self citation load bearing [Corollary 4.4.11 (also Corollary 4.4.12), via [Che19, 1.2]; announced in Section 1.3]
    "Corollary 4.4.11. Every Borel-overt fiberwise quasi-Polish groupoid(X,G ) admits a Borel equivalence of groupoids to an action groupoid of a Polish group action. Proof. Combine the preceding result with [Che19, 1.2]."

    The abstract's headline conclusion ('every such groupoid is Borel equivalent to an action groupoid of a Polish group action') is obtained in one line by combining Theorem 4.4.10 with [Che19, 1.2], an unpublished same-author preprint. The final conversion of the open Polish groupoid produced by Theorem 4.4.10 into a Polish group action is neither proved nor sketched in this paper, so the strongest stated claim rests on an unverified self-citation. This is load-bearing for Corollaries 4.4.11 and 4.4.12 and for the abstract, though it is not a constructional reduction (no equation reuse): Theorem 4.4.10 itself is derived in-paper, so the central realization result has independent content, which caps the score.

full rationale

The claimed derivation chain — Borel-overt fiberwise quasi-Polish groupoid, then Lemma 4.3.1 (comeager subgroupoid with uniformly fiberwise continuous differences), Theorem 4.1.3 (open sigma-topological groupoid on the componentwise sigma-topologies), Theorem 4.1.5 (global open quasi-Polish groupoid topologies), Theorems 4.4.9 and 4.4.5 (open Polish groupoid on a further comeager subgroupoid) — is genuinely derived inside the paper from the stated axioms and published tools ([BK96], [dB13], [SS97], [Che24], [Ram90], Kunugi–Novikov, Saint-Raymond). No step equates the conclusion with the hypothesis by construction: Definition 4.1.2's uniform-difference condition is a Borel-statement condition on the input fiberwise topology, and Example 4.1.9 (a fiberwise Polish groupoid without fiberwise continuous differences, hence admitting no compatible global topology) together with the paper's own admission in Section 1.6 that the uniform/non-uniform versions are not known to be equivalent shows the hypotheses are not covert restatements of the conclusion. The principal structural concern is Corollary 4.4.11: the abstract's headline statement is closed off in one line by [Che19, 1.2], an unpublished same-author preprint; this self-citation is load-bearing for that corollary and for Corollary 4.4.12, and the paper is transparent about it (Section 1.3, Remark 4.4.13, Section 1.6). Because the cited result is parameter-free with stated assumptions (open Polish groupoid) that do not include the target result, it counts as independent support rather than a constructional circular reduction, keeping the score at 2. Separately, and explicitly not circularity: Lemma 4.3.1's proof asserts the identity mu^{-1}(U_i) = union_j ((V_ij*A'_ij) x_Y (B'_ij*C'_ij)), where C'_ij is never defined and the factorization of the exists*_{mu x mu} quantifier across the fiber product is not justified by the required Kuratowski–Ulam computation; this is an omitted-definition and omitted-proof gap in the route to Theorem 4.4.10, which I flag as a correctness risk rather than as evidence of circular reasoning.

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

This is a pure mathematics paper: no parameters are fitted to data, and no definitions depend on numerical choices; the existential choices in definitions (for example, a countable fiberwise basis) are quantified over, not fitted. The paper introduces new definitions (Borel-overt fiberwise quasi-Polish groupoids, componentwise sigma-topologies, uniformly componentwise groupoids) but no extra postulated entities of the kind that would need independent empirical handles; the new axioms are analyzed above, and the definitions carry theorem-level consequences inside the paper itself.

assumptions (8)
  • standard math ZFC plus standard descriptive set theory: Borel reducibility, Lusin and Novikov separation, Kuratowski-Ulam, Pettis's theorem, Becker-Kechris [BK96].
    Background framework used throughout the paper, e.g., Theorem 2.4.1 (Kunugi-Novikov reflection) and Theorem 1.5.1 (Pettis).
  • standard math [Che24, 2.4.4] Saint-Raymond uniformization for Borel fiberwise Pi0_2 sets, and [Che24, 2.7.5] (Theorem 2.6.8 here) on Baire-categorical quotient realization.
    Published in Forum Math. Sigma; both are used in the proof of the main realization theorem 4.1.5 and in Lemma 3.6.4.
  • domain assumption [Che19, 1.2]: every open Polish groupoid is Borel equivalent to the action groupoid of a Polish group action.
    Unpublished same-author preprint; load-bearing for Corollary 4.4.11, the abstract's concluding claim. Cited as 'known results' in the introduction.
  • standard math [SS97] Solecki-Srivastava argument that one-sided translation-invariant (quasi-)Polish topologies on standard Borel groups are Polish; adapted in Lemma 4.3.1 and Example 4.3.3.
    The groupoid version of this argument produces the comeager subgroupoid with uniformly continuous differences.
  • domain assumption Overtness axiom (Definition 1.1.1(ii) and 2.5.1): projections of Borel fiberwise open sets are Borel.
    A modeling choice: the paper shows the main representation and idealisticity fail without it (Section 1.1); it isolates the class with uniformly testable nonemptiness.
  • ad hoc to paper Uniform fiberwise continuity of differences (Definition 4.1.2, condition (*)).
    Strengthens the necessary non-uniform condition; the paper flags in Section 1.6 that equivalence of the two conditions is open. It is the hypothesis of Theorem 4.1.5 and is obtained for comeager subgroupoids by Lemma 4.3.1.
  • standard math Quasi-Polish space theory [dB13]: Pi0_2 subspaces, Sierpiński quotient realization (2.1.9), complete Baire property; Selivanov Borel hierarchy (Definition 2.1.2).
    Used throughout, e.g., in Proposition 2.5.4, Corollary 2.6.4, and Lemma 2.5.6.
  • domain assumption Ramsay's lemma on fundamental sequences of identity neighborhoods (Lemma 4.4.1) and the regularity criterion of Theorem 4.4.5 connecting them to global Polishability.
    The Polish-realization step Theorem 4.4.9 rests on realizing these conditions inside BOG(G) after a comeager restriction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Componentwise Polish groupoids and equivalence relations." pith.science (2026). https://pith.science/paper/BDUNLYHC

@misc{pith2026250704138,
  author       = {Pith},
  title        = {Pith review of: Componentwise Polish groupoids and equivalence relations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BDUNLYHC}},
  note         = {Machine review of arXiv:2507.04138}
}
read the original abstract

We study Borel equivalence relations equipped with a uniformly Borel family of Polish topologies on each equivalence class, and more generally, standard Borel groupoids equipped with such a family of topologies on each connected component. Such "componentwise Polish topologies" capture precisely the topological information determined by the Borel structure of a Polish group action, by the Becker--Kechris theorem. We prove that conversely, every abstract such Borel componentwise Polish groupoid obeying suitable axioms admits a Borel equivalence of groupoids to a global open Polish groupoid. Together with known results, this implies that every such groupoid is Borel equivalent to an action groupoid of a Polish group action; in particular, the induced equivalence relations are Borel bireducible. Our results are also valid for Borel groupoids with componentwise quasi-Polish topologies; and under stronger uniformity assumptions, we show that such groupoids in fact themselves admit global quasi-Polish topologies. As a byproduct, we also generalize several standard tools for Polish groups and their actions to the setting of componentwise quasi-Polish groupoids, including Vaught transforms, Effros's theorem on orbits, and the open mapping theorem.

Figures

Figures reproduced from arXiv: 2507.04138 by the authors.

Figure 1.4
Figure 1.4. 1: Fiberwise and componentwise sigma-topologies on spaces of morphisms G and objects X, for a Borel-overt fiberwise quasi-Polish groupoid (X, G), or an open quasi-Polish groupoid (for O(G), O(X)). Solid arrows are inclusions; dashed arrows are preimage; dotted arrows are category quantifiers for the respective fiberwise topology. See Section 3.3 for precise definitions. To handle the first issue, we use a groupoid v… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

44 extracted references · 42 canonical work pages

  1. [1]

    1, Atlantis Press, Paris; World Scientific Publishing Co

    Alexander Arhangel'skii and Mikhail Tkachenko, Topological groups and related structures, Atlantis Studies in Mathematics, vol. 1, Atlantis Press, Paris; World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2008. 2433295

    work page 2008

  2. [2]

    Ronald Brown and J. P. L. Hardy, Topological groupoids. I . U niversal constructions , Math. Nachr. 71 (1976), 273--286. 412333

    work page 1976

  3. [3]

    Kechris, The descriptive set theory of P olish group actions , London Mathematical Society Lecture Note Series, vol

    Howard Becker and Alexander S. Kechris, The descriptive set theory of P olish group actions , London Mathematical Society Lecture Note Series, vol. 232, Cambridge University Press, Cambridge, 1996. 1425877

    work page 1996

  4. [4]

    M ad alina Roxana Buneci, A U rysohn type lemma for groupoids , Theory Appl. Categ. 32 (2017), Paper No. 28, 970--994. 3684727

    work page 2017

  5. [5]

    Itaï Ben Yaacov, Michal Doucha, André Nies, and Todor Tsankov, Metric S cott analysis , Adv. Math. 318 (2017), 46--87. 3689736

    work page 2017

  6. [6]

    Ruiyuan Chen, Notes on quasi- P olish spaces , preprint (2018), https://arxiv.org/abs/1809.07440

    work page Pith review arXiv 2018

  7. [7]

    , Representing P olish groupoids via metric structures , preprint (2019), https://arxiv.org/abs/1908.03268

    arXiv 2019

  8. [8]

    , Borel and analytic sets in locales, preprint (2020), https://arxiv.org/abs/2011.00437

    work page Pith review arXiv 2020

Show all 44 references
  1. [9]

    Systems 41 (2021), no

    , Decompositions and measures on countable B orel equivalence relations , Ergodic Theory Dynam. Systems 41 (2021), no. 12, 3671--3703. 4336493

    2021

  2. [10]

    Sigma 12 (2024), Paper No

    , Structural, point-free, non- H ausdorff topological realization of B orel groupoid actions , Forum Math. Sigma 12 (2024), Paper No. e35, 53. 4717191

    2024

  3. [11]

    180, Cambridge University Press, Cambridge, 2019

    Denis-Charles Cisinski, Higher categories and homotopical algebra, Cambridge Studies in Advanced Mathematics, vol. 180, Cambridge University Press, Cambridge, 2019. 3931682

    2019

  4. [12]

    Kechris, Structurable equivalence relations, Fund

    Ruiyuan Chen and Alexander S. Kechris, Structurable equivalence relations, Fund. Math. 242 (2018), no. 2, 109--185. 3813610

    2018

  5. [13]

    Filippo Calderoni and Luca Motto Ros, Structural results on idealistic equivalence relations, preprint (2025), https://arxiv.org/abs/2506.08217

    2025 arXiv

  6. [14]

    Pure Appl

    Matthew de Brecht, Quasi- P olish spaces , Ann. Pure Appl. Logic 164 (2013), no. 3, 356--381. 3001551

    2013

  7. [15]

    de Rancourt and B

    N. de Rancourt and B. D. Miller, A dichotomy for countable unions of smooth B orel equivalence relations , J. Symb. Log. (2025), to appear

    2025

  8. [16]

    Effros, Transformation groups and C -algebras , Ann

    Edward G. Effros, Transformation groups and C -algebras , Ann. of Math. (2) 81 (1965), 38--55. 174987

    1965

  9. [17]

    293, CRC Press, Boca Raton, FL, 2009

    Su Gao, Invariant descriptive set theory, Pure and Applied Mathematics (Boca Raton), vol. 293, CRC Press, Boca Raton, FL, 2009. 2455198

    2009

  10. [18]

    Structures Comput

    Reinhold Heckmann, Spatiality of countably presentable locales (proved with the B aire category theorem) , Math. Structures Comput. Sci. 25 (2015), no. 7, 1607--1625. 3391066

    2015

  11. [19]

    75, American Mathematical Society, Providence, RI, 2000

    Greg Hjorth, Classification and orbit equivalence relations, Mathematical Surveys and Monographs, vol. 75, American Mathematical Society, Providence, RI, 2000. 1725642

    2000

  12. [20]

    Kechris, Recent developments in the theory of B orel reducibility , vol

    Greg Hjorth and Alexander S. Kechris, Recent developments in the theory of B orel reducibility , vol. 170, 2001, Dedicated to the memory of Jerzy o\'s, pp. 21--52. 1881047

    2001

  13. [21]

    Johnstone, Stone spaces, Cambridge Studies in Advanced Mathematics, vol

    Peter T. Johnstone, Stone spaces, Cambridge Studies in Advanced Mathematics, vol. 3, Cambridge University Press, Cambridge, 1982. 698074

    1982

  14. [22]

    Diff\'erentielle Cat\'eg

    , A constructive ``closed subgroup theorem'' for localic groups and groupoids, Cahiers Topologie G\'eom. Diff\'erentielle Cat\'eg. 30 (1989), no. 1, 3--23. 1000828

    1989

  15. [23]

    Andr\'e Joyal and Myles Tierney, An extension of the G alois theory of G rothendieck , Mem. Amer. Math. Soc. 51 (1984), no. 309, vii+71. 756176

    1984

  16. [24]

    Kechris, Classical descriptive set theory: corrections and updates, http://www.math.caltech.edu/ kechris/papers/CDST-corrections.pdf

    Alexander S. Kechris, Classical descriptive set theory: corrections and updates, http://www.math.caltech.edu/ kechris/papers/CDST-corrections.pdf

  17. [25]

    Systems 12 (1992), no

    , Countable sections for locally compact group actions, Ergodic Theory Dynam. Systems 12 (1992), no. 2, 283--295. 1176624

    1992

  18. [26]

    156, Springer-Verlag, New York, 1995

    , Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. 1321597

    1995

  19. [27]

    160, American Mathematical Society, Providence, RI, 2010

    , Global aspects of ergodic group actions, Mathematical Surveys and Monographs, vol. 160, American Mathematical Society, Providence, RI, 2010. 2583950

    2010

  20. [28]

    Kechris and Alain Louveau, The classification of hypersmooth B orel equivalence relations , J

    Alexander S. Kechris and Alain Louveau, The classification of hypersmooth B orel equivalence relations , J. Amer. Math. Soc. 10 (1997), no. 1, 215--242. 1396895

    1997

  21. [29]

    A. S. Kechris, V. G. Pestov, and S. Todorcevic, Fra\"iss\'e limits, R amsey theory, and topological dynamics of automorphism groups , Geom. Funct. Anal. 15 (2005), no. 1, 106--189. 2140630

    2005

  22. [30]

    Martino Lupini and Aristotelis Panagiotopoulos, Games orbits play and obstructions to B orel reducibility , Groups Geom. Dyn. 12 (2018), no. 4, 1461--1483. 3874648

    2018

  23. [31]

    Martino Lupini, Polish groupoids and functorial complexity, Trans. Amer. Math. Soc. 369 (2017), no. 9, 6683--6723, With an appendix by Anush Tserunyan. 3660238

    2017

  24. [32]

    J. P. May, A concise course in algebraic topology, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, 1999. 1702278

    1999

  25. [33]

    5, Springer-Verlag, New York, 1998

    Saunders Mac Lane, Categories for the working mathematician, second ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. 1712872

    1998

  26. [34]

    Julien Melleray and Todor Tsankov, Generic representations of abelian groups and extreme amenability, Israel J. Math. 198 (2013), no. 1, 129--167. 3096634

    2013

  27. [35]

    Arlan Ramsay, The M ackey- G limm dichotomy for foliations and other P olish groupoids , J. Funct. Anal. 94 (1990), no. 2, 358--374. 1081649

    1990

  28. [36]

    223, Cambridge University Press, Cambridge, 2022

    Christian Rosendal, Coarse geometry of topological groups, Cambridge Tracts in Mathematics, vol. 223, Cambridge University Press, Cambridge, 2022. 4327092

    2022

  29. [37]

    , Almost homomorphisms and measurable cocycles, preprint (2025), https://arxiv.org/abs/2502.01581

    2025

  30. [38]

    Selivanov, Towards a descriptive set theory for domain-like structures, Theoret

    Victor L. Selivanov, Towards a descriptive set theory for domain-like structures, Theoret. Comput. Sci. 365 (2006), no. 3, 258--282. 2269457

    2006

  31. [39]

    Sławomir Solecki, Transfinite sequences of topologies, descriptive complexity, and approximating equivalence relations, Israel J. Math. 242 (2021), no. 2, 933--953. 4282103

    2021

  32. [40]

    Pure Appl

    Bas Spitters, Locatedness and overt sublocales, Ann. Pure Appl. Logic 162 (2010), no. 1, 36--54. 2720658

    2010

  33. [41]

    Jean Saint-Raymond, Bor\'eliens \`a coupes K , Bull. Soc. Math. France 104 (1976), no. 4, 389--400. 433418

    1976

  34. [42]

    Solecki and S

    S. Solecki and S. M. Srivastava, Automatic continuity of group operations, Topology Appl. 77 (1997), no. 1, 65--75. 1443429

    1997

  35. [43]

    Robert Vaught, Invariant sets in topology and logic, Fund. Math. 82 (1974/75), 269--294. 363912

    1974

  36. [44]

    Stephen Willard, General topology, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1970. 264581

    1970

Pith tools

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