Related papers: Echeloned saturation and forcing axioms

We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all…

We confirm Martin's conjecture for a broad subclass of weakly quasi-o-minimal theories.

The main result of this note is the strengthening of a quite arbitrary a priori Fourier restriction estimate to a multi-parameter maximal estimate of the same type. This allows us to discuss a certain multi-parameter Lebesgue point property…

For every irrational real $\alpha$, let $M(\alpha) = \sup_{n\geq 1} a_n(\alpha)$ denote the largest partial quotient in its continued fraction expansion (or $\infty$, if unbounded). The $2$-adic Littlewood conjecture (2LC) can be stated as…

Larman showed that any closed subset of the plane with uncountable vertical cross-sections has aleph_1 disjoint Borel uniformizing sets. Here we show that Larman's result is best possible: there exist closed sets with uncountable…

We continue here [She88] but we do not rely on it. The motivation was a conjecture of Galvin stating that 2^{omega} >= omega_2 + omega_2-> [omega_1]^{n}_{h(n)} is consistent for a suitable h: omega-> omega. In section 5 we disprove this and…

We give Woodin's original proof that if there exists a $(\kappa+2)-$strong cardinal $\kappa,$ then there is a generic extension of the universe in which $\kappa=\aleph_\omega,$ $GCH$ holds below $\aleph_\omega$ and…

Our original aim was, in Abelian group theory to prove the consistency of: lambda is strong limit singular and for some properties of abelian groups which are relatives of being free, the compactness in singular fails. In fact this should…

Let $\lambda$ denote the Liouville function. We prove that $$\sum_{X \leq x < 2X} \sup_{\alpha \in \mathbb{R}/\mathbb{Z}} \bigg\lvert\!\sum_{x \leq n < x+H} \lambda(n) e(n\alpha)\bigg\rvert = o(HX)$$ as $X\to \infty$, in the regime $H =…

The axioms of ZFC provide a foundation for mathematics, however, there are statements independent of ZFC, such as the Continuum Hypothesis (CH). We discuss Martin's axiom, which is an alternative to CH that roughly states that if there is a…

Set-theoretic axioms formulated in terms of existence of a Laver-generic large cardinal were introduced in [16] and studied further in [17], [18], [20]. These axioms, let us call them Laver-genericity axioms, claim the existence of a…

In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2^omega = omega_2 and that…

When $L$ is a complete lattice, the collection $\Mon_L$ of all monotone functions $L^p \to L^n$, $n,p \geq 0$, forms a Lawvere theory. We enrich this Lawvere theory with the binary supremum operation $\vee$, an operation of (left)…

Let $\Omega\subset\mathbb{R}^{2}$ be a bounded, Lipschitz domain. We consider bounded, weak solutions ($u\in W^{1, 2}\cap L^{\infty}(\Omega;\mathbb{R}^N)$) of the vector-valued, Euler-Lagrange system: \text{div } \big( A(x, u)Du\big)=g(x,…

Our main result is that possibly some non-null set of reals cannot be divided to uncountably many non-null sets. We deal also with a non-null set of reals, the graph of any function from it is null and deal with our iterations somewhat more…

In this paper, we obtain the consistency, relative to large cardinals, of the existence of dense ideals on every successor of a regular cardinal simultaneously. Using a consequent transfer principle, we show that in this model there is a…

Strong reflection principles with the reflection cardinal $\leq\aleph_1$ or $<2^{\aleph_0}$ imply that the size of the continuum is either $\aleph_1$ or $\aleph_2$ or very large. Thus, the stipulation, that a strong reflection principle…

It is known that one can construct non-parametric functions by assuming classical axioms. Our work is a converse to that: we prove classical axioms in dependent type theory assuming specific instances of non-parametricity. We also address…

Consider the discrete maximal function acting on $\ell^2(\mathbb Z)$ functions \[ \mathcal{C}_{\Lambda} f( n ) := \sup_{ \lambda \in \Lambda} \left| \sum_{m \neq 0} f(n-m) \frac{e^{2 \pi i\lambda m^2}} {m} \right| \] where $\Lambda \subset…

This is the fifth in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs. In this…