Related papers: Computability on quasi-Polish spaces

We investigate conditions under which a co-computably enumerable set in a computable metric space is computable. Using higher-dimensional chains and spherical chains we prove that in each computable metric space which is locally computable…

Working over infinite dimensional separable Hilbert spaces, residual results have been achieved for the space of contractive $C_{0}$-semigroups under the topology of uniform weak operator convergence on compact subsets of $\mathbb{R}_{+}$.…

We study $G_\delta$ subspaces of continuous dcpos, which we call domain-complete spaces, and $G_\delta$ subspaces of locally compact sober spaces, which we call LCS-complete spaces. Those include all locally compact sober spaces-in…

We consider approximation problems for a special space of d variate functions. We show that the problems have small number of active variables, as it has been postulated in the past using concentration of measure arguments. We also show…

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…

Given a completely metrizable space $X$, let $\mathfrak{par}(X)$ denote the smallest possible size of a partition of $X$ into Polish spaces, and $\mathfrak{cov}(X)$ the smallest possible size of a covering of $X$ with Polish spaces. Observe…

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…

Turing computability is the standard computability paradigm which captures the computational power of digital computers. To understand whether one can create physically realistic devices which have super-Turing power, one needs to…

We define a real $A$ to be low for paths in Baire space (or Cantor space) if every $\Pi^0_1$ class with an $A$-computable element has a computable element. We prove that lowness for paths in Baire space and lowness for paths in Cantor space…

We compare three notions of effectiveness on uncountable structures. The first notion is that of a $\real$-computable structure, based on a model of computation proposed by Blum, Shub, and Smale, which uses full-precision real arithmetic.…

We characterize the Hurewicz covering property in metrizable spaces in terms of properties of the metrics of the space. Then we show that a weak version of selective screenability, when combined with the Hurewicz property, implies selective…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

An H^p-theory of quasiconformal mappings on B^n has already been established. By replacing t^p with a general increasing growth function {\psi}(t) we define the Hardy-Orlicz spaces of quasiconformal mappings and prove various…

The Baire category theorem states that every complete pseudometric space is a Baire space. There are some results in metric spaces which have their analogue in uniform spaces, however this is not one of them. Nonetheless, since the Baire…

We propose a definition of computable manifold by introducing computability as a structure that we impose to a given topological manifold, just in the same way as differentiability or piecewise linearity are defined for smooth and PL…

We give a classification of unitary representations of certain Polish, not necessarily locally compact, groups: the groups of all measurable functions with values in the circle and the groups of all continuous functions on compact, second…

We establish a connection between two well-studied spaces of countable groups: the space of group operations and the space of marked groups. This connection shows that the two spaces are equivalent in terms of generic properties in the…

We introduce the operators "modified limit" and "accumulation" on a Banach space, and we use this to define what we mean by being internally computable over the space. We prove that any externally computable function from a computable…

We introduce the notion of compactifiable classes -- these are classes of metrizable compact spaces that can be up to homeomorphic copies ``disjointly combined'' into one metrizable compact space. This is witnessed by so-called compact…

A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a…