Related papers: Dense lineability and spaceability in certain subs…
Let $p_0,\ldots,p_n$ be a finite sequence of points in an Euclidean space $\R^d$. Suppose that there is a (pointlike) particle sitting at each point $p_i$. In a ``legal'' move, any one of them can jump over another, landing on the other…
The aim of this paper is to show that every scattered subset of a dense-in-itself semi-$T_D$-space is nowhere dense. We are thus able to answer a recent question of Coleman in the affirmative. In terms of Digital Topology, we prove that in…
The Bernstein approximation problem is to determine whether or not the space of all polynomials is dense in a given weighted $C_0$-space on the real line. A theorem of L. de Branges characterizes non--density by existence of an entire…
We study the problem of the existence of unconditional basic sequences in Banach spaces of high density. We show, in particular, the relative consistency with GCH of the statement that every Banach space of density $\aleph_\omega$ contains…
Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…
We show that the points that converge to infinity under iteration of the exponential map form a connected subset of the complex plane.
We study connections between classical asymptotic density and c.e. sets. We prove that a c.e. Turing degree d is not low if and only if d contains a c.e. set A of density 1 which has no computable subsets of density 1, giving a natural…
We discuss some old results due to Abel and Olivier concerning the convergence of positive series and prove a set of necessary conditions involving convergence in density.
We study the program complexity of datalog on both finite and infinite linear orders. Our main result states that on all linear orders with at least two elements, the nonemptiness problem for datalog is EXPTIME-complete. While containment…
A space $X$ is called selectively separable(R-separable) if for every sequence of dense subspaces $(D_n : n\in\omega)$ one can pick finite (respectively, one-point) subsets $F_n\subset D_n$ such that $\bigcup_{n\in\omega}F_n$ is dense in…
We consider the problem of constructing a weakly-continuous mapping extending continuous mapping defined on a dense set of a topological space to the entire space. Theorem on necessary and sufficient conditions for the existence of such an…
We study maximal seating arrangements, either on a line, or in a rectangular auditorium with a fixed number of columns but an arbitrary number of rows, that obey any prescribed set of `social distancing' restrictions. In addition to…
New partial results are obtained related to the following old problem of Erd\"os: for any infinite set $X$ of real numbers to show that there is always a measurable (or, equivalently, closed) subset of reals of positive Lebesgue measure…
This article explores the model-dependent nature of set cardinality, emphasizing that cardinality is not absolute but varies across different axiomatic frameworks. Although Cantor's diagonal argument shows the real numbers are…
A classic theorem of Euclidean geometry asserts that any noncollinear set of $n$ points in the plane determines at least $n$ distinct lines. Chen and Chv\'atal conjectured that this holds for an arbitrary finite metric space, with a certain…
In this note we present that the patch counting entropy can be obtained as a limit and investigate which sequences of compact sets are suitable to define this quantity. We furthermore present a geometric definition of patch counting entropy…
We give sufficient conditions such that the exponential stability of the linearization of a non-linear system implies that the non-linear system is (locally) exponentially stable. One of these conditions is that the non-linear system is…
This paper deals with the lack of compactness in nonlinear elliptic problems $(P)$. In particular, a domain $\Omega$ is provided where not converging Palais-Smale sequences exist at every energy level. Nevertheless, it is proved that…
A subset M of a normed linear space X is said to be a {\it strict sun} if, for every point $x\in X\setminus M$, the set of its nearest points from~$M$ is non-empty and if $y\in M$ is a nearest point from M to x, then y is a nearest point…
A space $X$ is M-separable (selectively separable) (Scheepers, 1999; Bella et al., 2009) if for every sequence $(Y_n)$ of dense subspaces of $X$ there exists a sequence $(F_n)$ such that for each $n$ $F_n$ is a finite subset of $Y_n$ and…