Related papers: An answer to a question of Coleman on scattered se…
A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…
This paper covers some recent progress in the study of sg-open sets, sg-compact spaces, N-scattered spaces and some related concepts. A subset $A$ of a topological space $(X,\tau)$ is called sg-closed if the semi-closure of $A$ is included…
We show that there are many (compact) convex semi-algebraic sets in euclidean space that do not have a semidefinite representation. This gives a negative answer to a question by Nemirovski, resp. it shows that the Helton-Nie conjecture is…
A space $X$ is Eberlein-Grothendieck if $X\subset C_p(K)$ for some compact space $K.$ In this paper we address the problem of whether such a space $X$ is $\sigma$-discrete whenever it is scattered. We show that if $w(K)\leq\omega_1$ then…
We revisit results concerning the connection between subspaces of a space and sublocales of its locale of open sets. The approach we present is based on the observation that for every locale $L$ its spatial sublocales…
It has been known for almost 200 years that some angles cannot be trisected by straightedge and compass alone. This paper studies the set of such angles as well as its complement $\mathcal{T}$, both regarded as subsets of the unit circle…
In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…
Given a closed semi-algebraic set $X \subset \mathbb{R}^n$ and a continuous semi-algebraic mapping $G \colon X \to \mathbb{R}^m,$ it will be shown that there exists an open dense semi-algebraic subset $\mathscr{U}$ of $L(\mathbb{R}^n,…
We investigate dense lineability and spaceability of subsets of $\ell_\infty$ with a prescribed number of accumulation points. We prove that the set of all bounded sequences with exactly countably many accumulation points is densely…
In this paper, we present a general formula for derived sets in general topology. Consequently, more results can be proved in general topology involving derived sets and isolated point sets. More specifically, we can prove that isolated…
In spaces of metrics, we investigate topological distributions of the doubling property, the uniform disconnectedness, and the uniform perfectness, which are the quasi-symmetrically invariant properties appearing in the David--Semmes…
We prove that there exists a 0-dimensional, scattered $T_2$ space $X$ such that $X$ is aD but not linearly D, answering a question of Arhangel'skii. The constructions are based on Shelah's club guessing principles.
We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a…
We prove a discrete analog of a certain four-vertex theorem for space curves. The smooth case goes back to the work of Beniamino Segre and states that a closed and smooth curve whose tangent indicatrix has no self-intersections admits at…
Open sets and compact saturated sets enjoy a perfect formal symmetry, at least for classes of spaces such as Stone spaces or spectral spaces. For larger classes of spaces, a perfect symmetry may not be available, although strong signs of it…
The aim of this paper is to study the topological properties of algebraic sets with zero divisors. We impose a subbasic topology on the set of proper ideals of a $k$-algebra and this new ``$k$-space'' becomes a generalization of the…
The aim of this paper is to study the topological properties of some classes of subsemimodules endowed with a subbasis closed-set topology. We show that such spaces are $T_0$. When the semimodule is finitely generated, those spaces are…
The main goal of this paper is to give a complete proof of the trace theorem for Besov-type spaces of generalized smoothness associated with complete Bernstein functions satisfying certain scaling conditions on $d$-sets $D\subset\mathbb…
We prove that an $n$-vertex digraph $D$ with minimum semi-degree at least $\left(\frac{1}{2} + \varepsilon \right)n$ and $n \geq C m$ contains a subdivision of all $m$-arc digraphs without isolated vertices. Here, $C$ is a constant only…
Given a topological space $X$, we study the structure of $\infty$-convex subsets in the space $SC_p(X)$ of scatteredly continuous functions on $X$. Our main result says that for a topological space $X$ with countable strong fan tightness,…