Related papers: Incomputability of Simply Connected Planar Continu…

In this paper we study the connectedness of the fibers of integrable systems that extend complexity one $T$-spaces with proper moment maps, assuming that every tall singular point is non-degenerate. Our main result states that if there are…

Generic computability has been studied in group theory and we now study it in the context of classical computability theory. A set A of natural numbers is generically computable if there is a partial computable function f whose domain has…

Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reducibility by introducing degree spectra of reducibility and…

We examine the degree structure $\mathbf{ER}$ of equivalence relations on $\omega$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not…

Let $H$ be a group acting on a simply-connected diagrammatically reducible combinatorial 2-complex $X$ with fine 1-skeleton. If the fixed point set $X^ H$ is non-empty, then it is contractible. Having fine 1-skeleton is a weaker version of…

We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given…

We show that every non-degenerate homogeneous plane continuum is homeomorphic to either the unit circle, the pseudo-arc, or the circle of pseudo-arcs. It follows that any planar homogenous compactum has the form $X \times Z$, where $X$ is a…

We show the existence of computable complex numbers $\lambda$ for which the bifurcation locus of the one parameter complex family $f_{b}(z) = \lambda z + b z^{2} + z^{3}$ is not Turing computable.

Let $X$ be a smooth dendroid in the plane $\mathbb R^2$. We show that each endpoint of $X$ is arcwise accessible from $\mathbb R^2\setminus X$, and that the space of endpoints $E(X)$ has the property of a circle. In the event that $E(X)$ is…

We study totally disconnected, locally compact (t.d.l.c.) groups from an algorithmic perspective. We give various approaches to defining computable presentations of t.d.l.c.\ groups, and show their equivalence. In the process, we obtain an…

Let $\cal R$ be an ordered vector space over an ordered division ring. We prove that every definable set $X$ is a finite union of relatively open definable subsets which are definably simply-connected, settling a conjecture from [5]. The…

We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions in the literature. We relate these notions with the well-established definitions of effective…

We prove that a Latt' es map admits an eventually simply-connected wandering continuum precisely when it is flexible. The simply-connected wandering continuum is a line segment in a bi-infinite geodesic under the flat metric.

We show a number of undecidable assertions concerning countably compact spaces hold under PFA(S)[S]. We also show the consistency without large cardinals of "every locally compact, perfectly normal space is paracompact".

Let $E \subset \C$ be a Borel set with finite length, that is, $0<\mathcal{H}^1 (E)<\infty$. By a theorem of David and L\'eger, the $L^2 (\mathcal{H}^1 \lfloor E)$-boundedness of the singular integral associated to the Cauchy kernel (or…

We show that in every dimension greater than or equal to 4, there exist compact Kaehler manifolds which do not have the homotopy type of projective complex manifolds. Thus they a fortiori are not deformation equivalent to a projective…

(1) We show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a…

In this paper we show that given any compact set $E \subset \hat{\mathbb{C}}$, we can always find a conformally removable subset with the same Hausdorff dimension as $E$.

Assume hat a functionally Hausdorff space $X$ is a continuous image of a \v{C}ech complete space $P$ with Lindel\"of number $l(P)<\mathfrak c$. Then the following conditions are equivalent: (i) every compact subset of $X$ is scattered, (ii)…

It is well-known that every commutative separable unital C*-algebra of real rank zero is a quotient of the C*-algebra of all compex continous functions defined on the Cantor cube. We prove a non-commutative version of this result by showing…