相关论文: A universal Polish G-space

We introduce and study the notion of functorial Borel complexity for Polish groupoids. Such a notion aims at measuring the complexity of classifying the objects of a category in a constructive and functorial way. In the particular case of…

We define some coding of Borel sets in admissible sets. Using this we generalize certain results from model theory involving admissible sets to the case of continuous actions of closed permutation groups on Polish spaces. In particular we…

We prove an equivariant version of the classical Menger-Nobeling theorem regarding topological embeddings: Whenever a group $G$ acts on a finite-dimensional compact metric space $X$, a generic continuous equivariant function from $X$ into…

In this paper we prove that every finite group $G$ can be realized as the group of self-homotopy equivalences of infinitely many elliptic spaces $X$. Moreover, $X$ can be chosen to be the rationalization of an inflexible compact simply…

For any countable group, and also for any locally compact second countable, compactly generated topological group, G, we show the existence of a "universal" hypercyclic (i.e. topologically transitive) representation on a Hilbert space, in…

Given a second-countable, Hausdorff, \'etale, amenable groupoid G with compact unit space, we show that an element a in C*(G) is invertible if and only if \lambda_x(a) is invertible for every x in the unit space of G, where \lambda_x refers…

Given a computably locally compact Polish space $M$, we show that its 1-point compactification $M^*$ is computably compact. Then, for a computably locally compact group $G$, we show that the Chabauty space $\mathcal S(G)$ of closed…

We show that for any Polish group $G$ and any countable normal subgroup $\Gamma\triangleleft G$, the coset equivalence relation $G/\Gamma$ is a hyperfinite Borel equivalence relation. In particular, the outer automorphism group of any…

An action on a G-space induces uniformities on the phase space. It is shown when the maximal G-compactification of a G-space can be obtained as a completion of the phase space with respect to one of these uniformities. Structure of G-spaces…

We prove that the B\"uchi topology and the automatic topology are Polish. We also show that this cannot be fully extended to the case of a space of infinite labelled binary trees; in particular the B\"uchi and the Muller topologies are not…

The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of effective quasi-Polish spaces. In particular, we prove an…

We show that a set of non-negative reals is the distance set of a separable complete metric space if and only if it is either countable or is an analytic set which has 0 as a limit point. We also consider spaces with simpler distance sets.

Countably infinite groups (with a fixed underlying set) constitute a Polish space $G$ with a suitable metric, hence the Baire category theorem holds in $G$. We study isomorphism invariant subsets of $G$, which we call group properties. We…

We extend the result of Nadel describing the relationship between approximations of canonical Scott sentences and admissible sets to the general case of orbit equivalence relations induced on an arbitrary Polish space by a Polish group…

For a representation of a connected compact Lie group G in a finite dimensional real vector space U and a subspace V of U, invariant under a maximal torus of G, we obtain a sufficient condition for V to meet all G-orbits in U, which is also…

It is a long-standing open question whether every Polish group that is not locally compact admits a Borel action on a standard Borel space whose associated orbit equivalence relation is not essentially countable. We answer this question…

We prove the result stated in the title. This provides a first example of an infinite-dimensional Banach space whose Lipschitz free space is isomorphic to the free space of a compact set.

We analyze the reducibilities induced by, respectively, uniformly continuous, Lipschitz, and nonexpansive functions on arbitrary ultrametric Polish spaces, and determine whether under suitable set-theoretical assumptions the induced…

The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, $\mathbf{\Pi}_2^0$ subspaces of $\mathcal{P}(\mathbb{N})$, and sober spaces of countably presented frames. In this paper, we…

In analogy to a recent result by V. Fonf, M. Lin, and P. Wojtaszczyk, we prove the following characterizations of a Banach space $X$ with a basis. (i) $X$ is finite-dimensional if and only if every bounded, uniformly continuous, mean…