Related papers: Cofinalities of Marczewski-like ideals

A careful exposition of Zilber's quasiminimal excellent classes and their categoricity is given, leading to two new results: the L_w1,w(Q)-definability assumption may be dropped, and each class is determined by its model of dimension…

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…

We extend Wolff's theorem concerning ideals on H-infinity(D) to the matrix case, giving conditions under which an H-infinity solution G to the equation FG = H exists for all z in D, where F is an m-by-infinity matrix of functions in…

W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has…

Starting from large cardinals we construct a pair $V_1\subseteq V_2$ of models of $ZFC$ with the same cardinals and cofinalities such that $GCH$ holds in $V_1$ and fails everywhere in $V_2$.

Using creature technology, we construct families of Suslin ccc non-sweet forcing notions $\mathbb Q$ such that $ZFC$ is equiconsistent with $ZF+$"every set of reals equals a Borel set modulo the $(\leq \aleph_1)$-closure of the null ideal…

Let $p$ be an odd prime, $F/{\Bbb Q}$ an abelian totally real number field, $F_\infty/F$ its cyclotomic ${\Bbb Z}_p$-extension, $G_\infty = Gal (F_\infty / {\Bbb Q}),$ ${\Bbb A} = {\Bbb Z}_p [[G_\infty]].$ We give an explicit description of…

We provide simplified solutions of Menger's and Hurewicz's problems and conjectures, concerning generalizations of sigma-compactness. The reader who is new to this field will find a self-contained treatment in Sections 1, 2, and 5. Sections…

In this paper, we relate $L(1,\pi,\mathrm{Ad}^\circ)$ to the congruence ideals for cohomological cuspidal automorphic representations $\pi$ of $\mathrm{GL}_n$ over any number field. We then use this result to deduce relationships between…

Let $A$ and $ B$ be $n\times n$ positive definite complex matrices, let $\sigma$ be a matrix mean, and let $f : [0,\infty)\to [0,\infty)$ be a differentiable convex function with $f(0)=0$. We prove that $$f^{\prime}(0)(A \sigma B)\leq…

We study the zeros of cusp forms in the Miller basis whose vanishing order at infinity is a fixed number $m$. We show that for sufficiently large weights, the finite zeros of such forms in the fundamental domain, all lie on the circular…

When a monomial ideal has linear quotients with respect to an admissible order of increasing support-degree, we provide two proofs of different flavors to show that it is componentwise support-linear. We also introduce the variable…

Let $\mathcal{N}$ be the $\sigma$-ideal of the null sets of reals. We introduce a new property of forcing notions that enable control of the additivity of $\mathcal{N}$ after finite support iterations. This is applied to answer some open…

We establish a new global endpoint Sobolev inequality for measures that extends the classical theorem of Meyers-Ziemer by placing a maximal function on the right-hand side. This result has several significant consequences. It extends…

We show that if $M$ is a countable transitive model of ZF and if $a,b$ are reals not in $M$, then there is a $G$ generic over $M$ such that $b \in L[a,G]$. We then present several applications such as the following: if $J$ is any countable…

Squarefree monomial ideals arising from finite meet-semilattices and their free resolutions are studied. For the squarefree monomial ideals corresponding to poset ideals in a distributive lattice the Alexander dual is computed.

We consider ideals $d^0(\mathcal{V})$ which are generalizations of the ideal $(v^0)$. We formulate couterparts of Hadamard's theorem. Then, adopting the base tree theorem and applying Kulpa-Szyma\'nski Theorem, we obtain $…

We obtain a complete description of closed ideals in weighted Lipschitz algebras $\Lambda_\omega$ of analytic functions on the unit disk satisfying the following condition $$\frac{|f(z)-f(w)|}{\omega(|z-w|)}=o(1)\qquad(as |z-w|…

We extend an inequality of Merryfield, valid in the continuous setting, to discrete multiparameter martingales. As a consequence, we obtain the $L^p$ comparison of the maximal function with the square function: \begin{align*} E[(Sf)^p]…

Given an ordinal delta <= lambda and a cardinal theta <= kappa, an ideal J on P_kappa(lambda) is said to be [delta]^{<theta}-normal if given B_e in J for e in P_theta(delta), the set of all a in P_kappa(lambda) such that a in B_e for some e…