Related papers: A primitive associated to the Cantor-Bendixson der…
Given any strong orbit equivalence class of minimal Cantor systems and any cardinal number that is finite, countable, or the continuum, we show that there exists a minimal subshift within the given class whose number of asymptotic…
A classical theorem of Alexandroff states that every $n$-dimensional compactum $X$ contains an $n$-dimensional Cantor manifold. This theorem has a number of generalizations obtained by various authors. We consider extension-dimensional and…
A space is said to be "almost discretely Lindel\"of" if every discrete subset can be covered by a Lindel\"of subspace. Juh\'asz, Tkachuk and Wilson asked whether every almost discretely Lindel\"of first-countable Hausdorff space has…
We prove an analogue of the classical Bernstein polynomial inequality on a compact subset $E$ of the real line. The Lipschitz continuity of the Green function for the complement of $E$ with respect to the extended complex plane and the…
In the first part of this work we have established an efficient method to obtain a topological classification of locally discrete, finitely generated, virtually free subgroups of real-analytic circle diffeomorphisms. In this second part we…
The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subsets of their domains. The class of conditionally computable…
Choosing an encoding over binary strings for input/output to/by a Turing Machine is usually straightforward and/or inessential for discrete data (like graphs), but delicate -- heavily affecting computability and even more computational…
If B is a compact space and B\{pt} is Lindelof then B^k\{pt} is star-Linedlof for every cardinality k. If B\{pt} is compact then B^k\{pt} is discretely star-Lindelof. In particular, this gives new examples of Tychonoff discretely…
The space of marked commutative rings on n given generators is a compact metrizable space. We compute the Cantor-Bendixson rank of any member of this space. For instance, the Cantor-Bendixson rank of the free commutative ring on n…
We introduce the split principles and show that they bear tight connections to large cardinal properties such as inaccessibility, weak compactness, subtlety, almost ineffability and ineffability, as well as classical combinatorial objects…
We prove that any tensor product factorization with a commutative factor of a modular group algebra over a prime field comes from a direct product decomposition of the group basis. This extends previous work by Carlson and Kov\'acs for the…
We provide a new foundation for combinatorial commutative algebra and Stanley-Reisner theory using the partition complex introduced in [Adi18]. One of the main advantages is that it is entirely self-contained, using only a minimal knowledge…
We get compact expressions for the Baker--Campbell--Hausdorff series $Z = \log(\e^X \, \e^Y)$ in terms of right-nested commutators. The reduction in the number of terms originates from two facts: (i) we use as a starting point an explicit…
Kim defined a very general combinatorial abstraction of the diameter of polytopes called subset partition graphs to study how certain combinatorial properties of such graphs may be achieved in lower bound constructions. Using Lov\'asz'…
Let us denote by $\Phi(\lambda,\mu)$ the statement that $\mathbb{B}(\lambda) = D(\lambda)^\omega$, i.e. the Baire space of weight $\lambda$, has a coloring with $\mu$ colors such that every homeomorphic copy of the Cantor set $\mathbb{C}$…
This paper provides some counterexamples to Cantor's contributions to the foundations of Set Theory. The first counterexample forces Cantor's Diagonal Method (DM) to yield one of the numbers in the target list. To study this anomaly, and…
We study dynamic minimization problems of the calculus of variations with Lagrangian functionals containing Riemann-Liouville fractional integrals, classical and Caputo fractional derivatives. Under assumptions of regularity, coercivity and…
Let S denote the family of all subspaces of the plane that are graphs of functions from the real line R to itself. We prove that S has two subfamilies G,H of spaces such that the cardinality of G is c (the cardinality of the continuum) and…
Exact representations of real numbers such as the signed digit representation or more generally linear fractional representations or the infinite Gray code represent real numbers as infinite streams of digits. In earlier work by the first…
Differential categories axiomatize the basics of differentiation and provide categorical models of differential linear logic. A differential category is said to have antiderivatives if a natural transformation $\mathsf{K}$, which all…