Related papers: A solution to the L space problem and related ZFC …

We present two different types of models where, for certain singular cardinals lambda of uncountable cofinality, lambda -> (lambda, omega+1)^2, although lambda is not a strong limit cardinal. We announce, here, and will present in a…

A Hereditarily Indecomposable asymptotic $\ell_2$ Banach space is constructed. The existence of such a space answers a question of B. Maurey and verifies a conjecture of W.T. Gowers.

We prove the following consistency result for cardinal sequences of length $< \om_3$: if GCH holds and $\la \geq \om_2$ is a regular cardinal, then in some cardinal-preserving generic extension $2^{\om} = \la$ and for every ordinal $\eta <…

Let $\Omega\subset \mathbb{R}^{n}$ be a bounded open set. Given $1\leq m_1,m_2\leq n-2$, we construct a homeomorphism $f :\Omega\to \Omega$ that is H\"older continuous, $f$ is the identity on $\partial \Omega$, the derivative $D f$ has rank…

In this short note we prove the result stated in the title; that is, for every $p>0$ there exists an infinite dimensional closed linear subspace of $L_{p}[0,1]$ every nonzero element of which does not belong to $\bigcup\limits_{q>p}…

This paper highlights an unexpected connection between expansions of real numbers to noninteger bases (so-called {\em $\beta$-expansions}) and the infinite derivatives of a class of self-affine functions. Precisely, we extend Okamoto's…

For a given stationary set $S$ of countable ordinals we prove (in $\mathbf{ZFC}$) that the assertion "every $S$-ladder system has $\aleph_0$-uniformization" is equivalent to "every strongly $\aleph_1$-free abelian group of cardinality…

A space $X$ is od-Menger if it satisfies $\mathsf{U_{fin}}(\Delta_X, \mathcal{O}_X)$, where $\mathcal{O}_X,\Delta_X$ are the collection of covers of $X$ by respectively open subsets and open dense subsets. We show that under CH, there is a…

A topological space $X$ is called hereditarily supercompact if each closed subspace of X is supercompact. By a combined result of Bula, Nikiel, Tuncali, Tymchatyn, and Rudin, each monotonically normal compact Hausdorff space is hereditarily…

Suppose that $f$ belongs to a suitably defined complete metric space $ {{\cal C}}^{{\alpha}}$ of H\"older $ {\alpha}$-functions defined on $[0,1]$. We are interested in whether one can find large (in the sense of Hausdorff, or lower/upper…

We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…

In this paper I introduce a new and intuitive first-order foundational theory (where the concept of set is not primitive) and use it to show that the power set of an infinite set does not exist. In particular, proofs of uncountability of a…

We show that that a certain class of semi-proper iterations does not add omega-sequences. As a result, starting from suitable large cardinals one can obtain a model in which the Continuum Hypothesis holds and every function from omega_1 to…

Consider the Bessel operator with a potential on L^2((0,infty), x^a dx), namely Lf(x) = -f"(x) - a/x f'(x) + V(x)f(x). We assume that a>0 and V\in L^1_{loc}((0,infty), x^a dx) is a non-negative function. By definition, a function f\in…

In this note we study the structure of Lipschitz-free Banach spaces. We show that every Lipschitz-free Banach space over an infinite metric space contains a complemented copy of $\ell_1$. This result has many consequences for the structure…

We extend a recent result of Tim Austin (see arXiv:0905.0515) to the L^1 setting, thus providing a general version of the Birkhoff ergodic theorem for functions taking values in nonpositively curved spaces. In this setting, the notion of a…

Hereditary coreflective subcategories of an epireflective subcategory A of Top such that I_2\notin A (here I_2 is the 2-point indiscrete space) were studied in [C]. It was shown that a coreflective subcategory B of A is hereditary (closed…

We introduce a ZFC method that enables us to build spaces (in fact special dense subspaces of certain Cantor cubes) in which we have "full control" over all dense subsets. Using this method we are able to construct, in ZFC, for each…

Let $X$ be a separable Banach space with a separating polynomial. We show that there exists $C\geq 1$ (depending only on $X$) such that for every Lipschitz function $f:X\rightarrow\mathbb{R}$, and every $\epsilon>0$, there exists a…

Sanchez, Viader, Paradis and Carrillo (2016) proved that there exists an increasing continuous singular function $f$ on $[0,1]$ such that the set $A_f$ of points where $f$ has a nonzero finite derivative has Hausdorff dimension 1 in each…