相关论文: Degree spectra of homeomorphism types of compact P…

We study the equivalence classes under $\Delta^1_1$ isomorphism, otherwise effective-Borel isomorphism, between complete separable metric spaces which admit a recursive presentation and we show the existence of strictly increasing and…

We provide examples of nonseparable compact spaces with the property that any continuous image which is homeomorphic to a finite product of spaces has a maximal prescribed number of nonseparable factors.

We study homeomorphisms and the homeomorphism groups of compact metric spaces using the automorphism groups of projective Fra\"iss\'e limits. In our applications, we investigate the Polish group ${\rm Homeo}(P)$ of all homeomorphisms of the…

For a compact space $K$ we denote by $C_w(K)$ ($C_p(K)$) the space of continuous real-valued functions on $K$ endowed with the weak (pointwise) topology. In this paper we discuss the following basic question which seems to be open: Let $K$…

In analogy to the study of Scott rank/complexity of countable structures, we initiate the study of the Wadge degrees of the set of homeomorphic copies of topological spaces. One can view our results as saying that the classical…

We prove, using a weakening of the Proper Forcing Axiom, that any homemomorphism between Cech--Stone remainders of any two locally compact, zero-dimensional Polish spaces is induced by a homeomorphism between their cocompact subspaces.

We describe a self-homeomorphism $R$ of the Cantor set $X$ and then show that its conjugacy class in the Polish group $H(X)$ of all homeomorphisms of $X$ forms a dense $G_\delta$ subset of $H(X)$. We also provide an example of a locally…

We study the algorithmic content of Pontryagin - van Kampen duality. We prove that the dualization is computable in the important cases of compact and locally compact totally disconnected Polish abelian groups. The applications of our main…

A display of a topological group G on a Banach space X is a topological isomorphism of G with the isometry group Isom(X,||.||) for some equivalent norm ||.|| on X, where the latter group is equipped with the strong operator topology.…

We classify all Polish semigroup topologies on the symmetric inverse monoid on the natural numbers. This result answers a question of Elliott et al. There are countably infinitely many such topologies. Under containment, these Polish…

Our first motivation was the question: can a countable structure have an automorphism group, which a free uncountable group? This is answered negatively in [Sh:744]. Lecturing in a conference in Rutgers, February 2001, I was asked whether I…

In this article we extend the notion of metric measure spaces to so-called metric two-level measure spaces (m2m spaces): An m2m space $(X, r, \nu)$ is a Polish metric space $(X, r)$ equipped with a two-level measure $\nu \in…

We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results…

The signature of a $p$-weakly geometric rough path summarises a path up to a generalised notion of reparameterisation. The quotient space of equivalence classes on which the signature is constant yields unparameterised path space. The study…

The group $\mathop{\rm PL}_+(I)$ of increasing piecewise linear self-homeomorphisms of the interval $I=[0,1]$ may not be assigned a topology in such a way that it becomes a Polish group. The same statement holds for the groups $\mathop{\rm…

Quasi-Polish spaces were introduced by de Brecht as a possibly non-Hausdorff generalization of Polish spaces sharing many of their descriptive set-theoretic properties. We give a self-contained exposition of the basic theory of quasi-Polish…

We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic…

We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits…

We study the usual notion of Scott rank but in the setting of Polish metric spaces. The signature consists of distance relations: for each rational $q > 0$, there is a relation $R_{<q}(x,y)$ stating that the distance of $x$ and $y $ is less…

In this paper we develop general techniques for classes of computable real numbers generated by subsets of total computable (recursive functions) with special restrictions on basic operations in order to investigate the following problems:…