Related papers: A separable non-remainder of H
We prove the consistency of the existence of a $Q$-set whose square is not a $\Delta$-set and that if there is a $\Delta$-set, then there exists a $\Delta$-set whose all finite powers are $\Delta$-sets.
A real harmonizable multifractional stable process is defined, its H\"older continuity and localizability are proved. The existence of local time is shown and its regularity is established.
Free products of two residually finite groups with amalgamated retracts are considered. It is proved that a cyclic subgroup of such a group is not finitely separable if, and only if, it is conjugated with a subgroup of a free factor which…
We propose a new constructive model of the real continuum based on the notion of fractal definability. Rather than assuming the continuum as a completed uncountable totality, we view it as the cumulative result of a vast space of stratified…
It is shown that a separated sequence of points in the unit disc of the complex plane is in fact uniformly separated, if there exists a certain intermediate sequence whose separated subsequences are uniformly separated. This property is…
We prove that compact non-flat manifolds with constant sectional curvature admit no conformal product structure. Furthermore, we demonstrate that the methods extend naturally to irreducible, compact locally symmetric spaces of non-positive…
We provide a countable series of bisimple $\mathcal{H}$-trivial finitely presented congruence-free monoids.
We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important…
We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of G\"odel. A typical stably computably enumerable set is the set of Diophantine equations with no integer…
Given a metric continuum $X$, a nonempty proper closed subspace $B$ of $X$, does not block a point $p\in X\setminus B$ provided that the union of all subcontinua of $X$ containing $p$ and contained in $X\setminus B$ is a dense subset of…
We prove that a non-projective compact K\"ahler contact manifold is of the form $\mathbb{P} T_Y$, where $Y$ is a compact K\"ahler manifold.
Assuming $\mathfrak b = \mathfrak c$ (or some weaker statement), we construct a compactification $\gamma\omega$ of $\omega$ such that its remainder $\gamma\omega\setminus\omega$ is nonseparable and carries a strictly positive measure.
We reprove and generalize in a combinatorial way the result of A. Bj\"orner [J.\ Comb.\ Th.\ A {\bf 30}, 1981, pp.~90--100, Theorem 3.3], that order complexes of noncomplemented lattices are contractible, namely by showing that these…
We show that for arbitrary linearly ordered set $X$ any bounded family of (not necessarily, continuous) real valued functions on $X$ with bounded total variation does not contain independent sequences. We obtain generalized Helly's…
An argument is given to associate integrable nonintegrable transition of discrete maps with the transition of Lawvere's fixed point theorem to its own contrapositive. We show that the classical description of nonlinear maps is neither…
In the absence of a half-bound state, a compactly supported potential of a Schr\"odinger operator on the line is determined up to a translation by the zeros and poles of the meropmorphically continued left (or right) reflection coefficient.…
A continuum is a compact connected metric space. A non-empty closed subset $B$ of a continuum $X$ does not block $x\in X\setminus B$ provided that the union of all subcontinua of $X$ containing $x$ and contained in $X\setminus B$ is dense…
We give a new, simpler proof of a compactness result in $GSBD^p$, $p>1$, by the same authors, which is also valid in $GBD$ (the case $p=1$), and shows that bounded sequences converge a.e., after removal of a suitable sequence of piecewise…
We prove that a finitely generated group contains a sequence of non-trivial elements which converge to the identity in every compact homomorphic image if and only if the group is not virtually abelian.
We close the problem of the existence of period annuli in planar piecewise linear differential systems with a straight line of nonsmoothness. In fact, a characterization for the existence of such objects is provided by means of a few basic…