Sets on the boundary of a complementary component of a continuum in the plane have been of interest since the early 1920s. Curry and Mayer defined the buried points of a plane continuum to be the points in the continuum which were not on the boundary of any complementary component. Motivated by their investigations of Julia sets, they asked what happens if the set of buried points of a plane continuum is totally disconnected and nonempty. Curry, Mayer, and Tymchatyn showed that in that case the continuum is Suslinian, i.e., it does not contain an uncountable collection of nondegenerate pairwise disjoint subcontinua. In an answer to a question of Curry et al., van Mill and Tuncali constructed a plane continuum whose buried point set was totally disconnected, nonempty, and one-dimensional at each point of a countably infinite set. In this paper, we show that the van Mill–Tuncali example was the best possible in the sense that whenever the buried set is totally disconnected, it is one-dimensional at each of at most countably many points. As a corollary, we find that the buried set cannot be almost zero-dimensional unless it is zero-dimensional. We also construct locally connected van Mill–Tuncali type examples.

We prove that every homeomorphism of a compact manifold with dimension one has zero topological emergence, whereas in dimension greater than one the topological emergence of a $C^0-$generic homeomorphism is maximal, equal to the dimension of the manifold. We also show that the metric emergence of a continuous self-map on compact metric space has the intermediate value property.

We categorify the inclusion–exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two spectral sequences of a stratified space and certain Vassiliev-type spectral sequences; we also obtain Euler characteristic analogs in the Grothendieck ring of varieties. As an application, we give an algebro-geometric proof of Vakil and Wood's homological stability conjecture for the space of smooth hypersurface sections of a smooth projective variety. In characteristic zero this conjecture was previously established by Aumonier via topological methods.

We introduce the notions of returns and well-aligned sets for closed relations on compact metric spaces and then use them to obtain non-trivial sufficient conditions for such a relation to have non-zero entropy. In addition, we give a characterization of finite relations with non-zero entropy in terms of Li–Yorke and DC2 chaos.

We discuss the question of extending homeomorphisms between closed subsets of the Cantor cube $D^{\tau }$. It is established that any homeomorphism between two closed negligible subsets of $D^{\tau }$ can be extended to an autohomeomorphism of $D^{\tau }$.

We prove that for two connected sets $E,F\subset \mathbb {R}^2$ with cardinalities greater than $1$ , if one of E and F is compact and not a line segment, then the arithmetic sum $E+F$ has nonempty interior. This improves a recent result of Banakh et al. [‘The continuity of additive and convex functions which are upper bounded on non-flat continua in $\mathbb {R}^n$ ’, Topol. Methods Nonlinear Anal. 54(1)(2019), 247–256] in dimension two by relaxing their assumption that E and F are both compact.

We compute the generator rank of a subhomogeneous $C^*\!$-algebra in terms of the covering dimension of the pieces of its primitive ideal space corresponding to irreducible representations of a fixed dimension. We deduce that every $\mathcal {Z}$-stable approximately subhomogeneous algebra has generator rank one, which means that a generic element in such an algebra is a generator.

This leads to a strong solution of the generator problem for classifiable, simple, nuclear $C^*\!$-algebras: a generic element in each such algebra is a generator. Examples of Villadsen show that this is not the case for all separable, simple, nuclear $C^*\!$-algebras.

We introduce the point degree spectrum of a represented space as a substructure of the Medvedev degrees, which integrates the notion of Turing degrees, enumeration degrees, continuous degrees and so on. The notion of point degree spectrum creates a connection among various areas of mathematics, including computability theory, descriptive set theory, infinite-dimensional topology and Banach space theory. Through this new connection, for instance, we construct a family of continuum many infinite-dimensional Cantor manifolds with property C whose Borel structures at an arbitrary finite rank are mutually nonisomorphic. This resolves a long-standing question by Jayne and strengthens various theorems in infinite-dimensional topology such as Pol’s solution to Alexandrov’s old problem.

We prove that the set of all endpoints of the Julia set of $f(z)=\exp\!(z)-1$ which escape to infinity under iteration of f is not homeomorphic to the rational Hilbert space $\mathfrak E$ . As a corollary, we show that the set of all points $z\in \mathbb C$ whose orbits either escape to $\infty$ or attract to 0 is path-connected. We extend these results to many other functions in the exponential family.

Erdős space $\mathfrak {E}$ and complete Erdős space $\mathfrak {E}_{c}$ have been previously shown to have topological characterizations. In this paper, we provide a topological characterization of the topological space $\mathbb {Q}\times \mathfrak {E}_{c}$ , where $\mathbb {Q}$ is the space of rational numbers. As a corollary, we show that the Vietoris hyperspace of finite sets $\mathcal {F}(\mathfrak {E}_{c})$ is homeomorphic to $\mathbb {Q}\times \mathfrak {E}_{c}$ . We also characterize the factors of $\mathbb {Q}\times \mathfrak {E}_{c}$ . An interesting open question that is left open is whether $\sigma \mathfrak {E}_{c}^{\omega }$ , the $\sigma $ -product of countably many copies of $\mathfrak {E}_{c}$ , is homeomorphic to $\mathbb {Q}\times \mathfrak {E}_{c}$ .

In this paper, we give an axiomatization of the ordinal number system, in the style of Dedekind’s axiomatization of the natural number system. The latter is based on a structure $(N,0,s)$ consisting of a set N, a distinguished element $0\in N$ and a function $s\colon N\to N$ . The structure in our axiomatization is a triple $(O,L,s)$ , where O is a class, L is a class function defined on all s-closed ‘subsets’ of O, and s is a class function $s\colon O\to O$ . In fact, we develop the theory relative to a Grothendieck-style universe (minus the power set axiom), as a way of bringing the natural and the ordinal cases under one framework. We also establish a universal property for the ordinal number system, analogous to the well-known universal property for the natural number system.

We are interested in dendrites for which all invariant measures of zero-entropy mappings have discrete spectrum, and we prove that this holds when the closure of the endpoint set of the dendrites is countable. This solves an open question which has been around for awhile, and almost completes the characterization of dendrites with this property.

For a continuous function $f:[0,1] \to [0,1]$ we define a splitting sequence admitted by f and show that the inverse limit of f is an arc if and only if f does not admit a splitting sequence.

We prove that the modal logic of a crowded locally compact generalized ordered space is $\textsf {S4}$ . This provides a version of the McKinsey–Tarski theorem for generalized ordered spaces. We then utilize this theorem to axiomatize the modal logic of an arbitrary locally compact generalized ordered space.

We consider continuous free semigroup actions generated by a family $(g_y)_{y \,\in \, Y}$ of continuous endomorphisms of a compact metric space $(X,d)$ , subject to a random walk $\mathbb P_\nu =\nu ^{\mathbb N}$ defined on a shift space $Y^{\mathbb N}$ , where $(Y, d_Y)$ is a compact metric space with finite upper box dimension and $\nu $ is a Borel probability measure on Y. With the aim of elucidating the impact of the random walk on the metric mean dimension, we prove a variational principle which relates the metric mean dimension of the semigroup action with the corresponding notions for the associated skew product and the shift map $\sigma $ on $Y^{\mathbb {N}}$ , and compare them with the upper box dimension of Y. In particular, we obtain exact formulas whenever $\nu $ is homogeneous and has full support. We also discuss several examples to enlighten the roles of the homogeneity, of the support and of the upper box dimension of the measure $\nu $ , and to test the scope of our results.

We prove that for $C^0$ -generic homeomorphisms, acting on a compact smooth boundaryless manifold with dimension greater than one, the upper metric mean dimension with respect to the smooth metric coincides with the dimension of the manifold. As an application, we show that the upper box dimension of the set of periodic points of a $C^0$ -generic homeomorphism is equal to the dimension of the manifold. In the case of continuous interval maps, we prove that each level set for the metric mean dimension with respect to the Euclidean distance is $C^0$ -dense in the space of continuous endomorphisms of $[0,1]$ with the uniform topology. Moreover, the maximum value is attained at a $C^0$ -generic subset of continuous interval maps and a dense subset of metrics topologically equivalent to the Euclidean distance.

In [12], John Stillwell wrote, ‘finding the exact strength of the Brouwer invariance theorems seems to me one of the most interesting open problems in reverse mathematics.’ In this article, we solve Stillwell’s problem by showing that (some forms of) the Brouwer invariance theorems are equivalent to the weak König’s lemma over the base system ${\sf RCA}_0$ . In particular, there exists an explicit algorithm which, whenever the weak König’s lemma is false, constructs a topological embedding of $\mathbb {R}^4$ into $\mathbb {R}^3$ .

Let $\Omega $ be a connected open set in the plane and $\gamma : [0,1] \to \overline {\Omega }$ a path such that $\gamma ((0,1)) \subset \Omega $ . We show that the path $\gamma $ can be “pulled tight” to a unique shortest path which is homotopic to $\gamma $ , via a homotopy h with endpoints fixed whose intermediate paths $h_t$ , for $t \in [0,1)$ , satisfy $h_t((0,1)) \subset \Omega $ . We prove this result even in the case when there is no path of finite Euclidean length homotopic to $\gamma $ under such a homotopy. For this purpose, we offer three other natural, equivalent notions of a “shortest” path. This work generalizes previous results for simply connected domains with simple closed curve boundaries.

We show that any action of a countable amenable group on a uniquely arcwise connected continuum has a periodic point of order $\leq 2$ .

Consider a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group. Let $f:X \rightarrow R^n$ be a definable map, where X is a definable set and R is the universe of the structure. We demonstrate the inequality $\dim (f(X)) \leq \dim (X)$ in this paper. As a corollary, we get that the set of the points at which f is discontinuous is of dimension smaller than $\dim (X)$. We also show that the structure is definably Baire in the course of the proof of the inequality.