相关论文: Polish group actions and admissible sets
A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in…
After a short introduction to the general notion of Borel fields of metric spaces we introduce the notion of the action of an equivalence relation on such fields. Then, we specify the study to the Borel fields of proper CAT(0) spaces and we…
We propose an extension of Poole's independent choice logic based on a relaxation of the underlying independence assumptions. A credal semantics involving multiple joint probability mass functions over the possible worlds is adopted. This…
We study groups that can be defined as Polish, pro-countable groups, as non-archimedean groups with an invariant metric or as quasi-countable groups, i.e., closed subdirect products of countable, discrete groups, endowed with the product…
For each ordinal $\alpha<\omega_1$, we introduce the class of $\alpha$-balanced Polish groups. These classes form a hierarchy that completely stratifies the space between the class of Polish groups admitting a two-side-invariant metric…
We prove a result on perfect cliques with respect to countably many G-delta relations on a complete metric space. As an application, we show that a Polish group contains a free subgroup generated by a perfect set as long as it contains any…
We introduce some canonical topologies induced by actions of topological groups on groups and rings. For $H$ being a group [or a ring] and $G$ a topological group acting on $H$ as automorphisms, we describe the finest group [ring] topology…
We prove that every open $\sigma$-locally Polish groupoid $G$ is Borel equivalent to the groupoid of models on the Urysohn sphere $\mathbb{U}$ of an $\mathcal{L}_{\omega_1\omega}$-sentence in continuous logic. In particular, the orbit…
We show that every locally finite bipartite Borel graph satisfying a strengthening of Hall's condition has a Borel perfect matching on some comeager invariant Borel set. We apply this to show that if a group acting by Borel automorphisms on…
This paper gives an algebraic characterization of expansive actions of countable abelian groups on compact abelian groups. This naturally extends the classification of expansive algebraic $\mathbb{Z}^d$-actions given by Schmidt using…
We provide a complete classification, up to order-isomorphism, of all possible Wadge hierarchies on zero-dimensional Polish spaces using (essentially) countable ordinals as complete invariants. We also observe that although our assignment…
In this note, we present a characterization of sets definable in Skolem arithmetic, i.e., the first-order theory of natural numbers with multiplication. This characterization allows us to prove the decidability of the theory. The idea is…
Let $X = \left\{P \in [0,1]^{\bf N} : \left(\forall \nu \in {\bf N} \right) \left(P \left(\{\nu \} \right) > 0 \right) \wedge \sum\limits_{\nu = 0}^{\infty} P \left(\{\nu \} \right) = 1 \right\} $ be the Polish space of probability measures…
To any finite ordered subset and any finite partition of a group a set of tuples of positive integers, named as configurations, is associated that describes the group's behavior. The present paper provides an exposition of this notion and…
We describe a class of integrable systems on Poisson submanifolds of the affine Poisson-Lie groups $\widehat{PGL}(N)$, which can be enumerated by cyclically irreducible elements the co-extended affine Weyl groups $(\widehat{W}\times…
We study periodic points and finitely supported invariant measures for continuous semigroup actions. Introducing suitable notions of periodicity in both topological and measure-theoretical contexts, we analyze the space of invariant Borel…
This paper obtains an algebraic characterization of the Polish groups that satisfy Vaught's conjecture on $\bf{\Sigma}^1_1$ sets.
In this note we extend two characterizations of admissible operators with respect to $\mathrm{L}^p$ to more general Orlicz spaces. The equivalent conditions are given by the property that an associated operator generates a strongly…
It is proved that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the infinite symmetric group $S_\infty$ is continuous. It is…
We prove that topological isomorphism on procountable groups is not classifiable by countable structures, in the sense of descriptive set theory. In fact, the equivalence relation $\ell_\infty$ expressing that two sequences of reals have a…