English
Related papers

Related papers: Determinacy in L(R,\mu)

200 papers

Let $\mu$ be a positive measure on $R^d$. It is known that if the space $L^2(\mu)$ has a frame of exponentials then the measure $\mu$ must be of "pure type": it is either discrete, absolutely continuous or singular continuous. It has been…

Classical Analysis and ODEs · Mathematics 2021-01-11 Nir Lev

We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_\theta,\mathfrak{p}_\theta,\mathfrak{g}_\theta,\mathfrak{r}_\theta,\mathfrak{t}_\theta$ at uncountable regular…

Logic · Mathematics 2021-02-02 Omer Ben-Neria , Shimon Garti

Let $M$ be a short extender mouse. We prove that if $E\in M$ and $M$ satisfies "$E$ is a countably complete short extender whose support is a cardinal $\theta$ and $\mathcal{H}_\theta\subseteq\mathrm{Ult}(V,E)$", then $E$ is in the extender…

Logic · Mathematics 2025-04-11 Farmer Schlutzenberg

We prove for any mu = mu^{< mu}< theta < lambda, lambda large enough (just strongly inaccessible Mahlo) the consistency of 2^mu = lambda-> [theta]^2_3 and even 2^mu = lambda-> [theta]^2_{sigma,2} for sigma < mu . The new point is that…

Logic · Mathematics 2016-09-07 Saharon Shelah

J.C.Lagarias (2000) conjectured that if $\mu$ is a complex measure on p-dimensional Euclidean space with a uniformly discrete support and its spectrum (Fourier transform) is also a measure with a uniformly discrete support, then the support…

Classical Analysis and ODEs · Mathematics 2015-03-03 Sergii Yu. Favorov

If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…

Logic · Mathematics 2016-09-07 Ernest Schimmerling , John R. Steel

Precise measurements of the tau lepton properties provide stringent tests of the Standard Model structure and accurate determinations of its parameters. We overview the present status of a few selected topics: lepton universality, QCD tests…

High Energy Physics - Phenomenology · Physics 2009-11-11 Antonio Pich

We prove that the positive mass theorem applies to Lipschitz metrics as long as the singular set is low-dimensional, with no other conditions on the singular set. More precisely, let $g$ be an asymptotically flat Lipschitz metric on a…

Differential Geometry · Mathematics 2011-11-01 Dan A. Lee

We consider the following extension of the classical Liouville theorem: A calibration $\omega \in \Lambda^n \mathbb{R}^m$, where $3 \le n \le m$, has the Liouville property if a Sobolev mapping $F\colon \Omega \to \mathbb{R}^m$, where…

Differential Geometry · Mathematics 2024-10-04 Toni Ikonen , Pekka Pankka

We prove that the class of all ordinals Ord is not weakly compact with respect to definable classes. Specifically, in any model of ZFC, the definable tree property fails for Ord, in that there is a definable Ord tree with no definable…

Logic · Mathematics 2017-10-27 Ali Enayat , Joel David Hamkins

We show that the (typical) quantitative considerations about proper (as too big) and small classes are just tangential facts regarding the consistency of Zermelo-Fraenkel Set Theory with Choice. Effectively, we will construct a first-order…

Logic · Mathematics 2018-04-10 Danny A. J. Gomez-Ramirez

This paper studies structural consequences of supercompactness of $\omega_1$ under $\sf{ZF}$. We show that the Axiom of Dependent Choice $(\sf{DC})$ follows from "$\omega_1$ is supercompact". "$\omega_1$ is supercompact" also implies that…

Logic · Mathematics 2019-04-04 Daisuke Ikegami , Nam Trang

In [6], given a metrizable profinite group $G$, a cardinal invariant of the continuum $\mathfrak{fm}(G)$ was introduced, and a positive solution to the Haar Measure Problem for $G$ was given under the assumption that…

Logic · Mathematics 2019-06-21 Gianluca Paolini , Saharon Shelah

To any positive contraction $Q$ on $\ell^2(W)$, there is associated a determinantal probability measure ${\mathbf P}^Q$ on $2^W$, where $W$ is a denumerable set. Let $\Gamma$ be a countable sofic finitely generated group and $G = (\Gamma,…

Probability · Mathematics 2019-02-20 Russell Lyons , Andreas Thom

We consider Cantor measures on the line, with contraction factor $N^{-1}=p^{-\alpha}$ (where $p$ a positive prime, $\alpha$ a positive integer) and $m$ positive integer digits lying in distinct residue classes modulo $N$. We obtain a…

Classical Analysis and ODEs · Mathematics 2026-05-19 Leandro Zuberman

Let $\mu$ be a self-affine measure on $\mathbb{R}^{d}$ associated to a self-affine IFS $\{\varphi_{\lambda}(x) = A_{\lambda}x + v_{\lambda}\}_{\lambda\in\Lambda}$ and a probability vector $p=(p_{\lambda})_{\lambda}>0$. Assume the strong…

Dynamical Systems · Mathematics 2015-11-24 Ariel Rapaport

We give an alternative characterization of the class of Muckenhoupt weights $A_{\infty, \mathfrak B}$ for homothecy invariant Muckenhoupt bases $\mathfrak B$ consisting of convex sets. In particular we show that $w\in A_{\infty, \mathfrak…

Classical Analysis and ODEs · Mathematics 2015-09-15 Paul A. Hagelstein , Teresa Luque , Ioannis Parissis

In this paper we show that if $\mu$ is a Borel measure in $\mathbb R^{n+1}$ with growth of order $n$, so that the $n$-dimensional Riesz transform $R_\mu$ is bounded in $L^2(\mu)$, and $B\subset\mathbb R^{n+1}$ is a ball with $\mu(B)\approx…

Classical Analysis and ODEs · Mathematics 2017-09-18 Daniel Girela-Sarrión , Xavier Tolsa

We consider mainly the following version of set theory:"ZF + DC and for every $\lambda,\lambda^{\aleph_0}$ is well ordered", our thesis is that this is a reasonable set theory, e.g. much can be said. In particular, we prove that for a…

Logic · Mathematics 2021-09-24 Saharon Shelah

Assume $\mathsf{ZF}+\mathsf{AD}+V=L(\mathbb{R})$ and let $\kappa<\Theta$ be an uncountable cardinal. We show that $\kappa$ is J\'onsson, and that if $\mathrm{cof}(\kappa)=\omega$ then $\kappa$ is Rowbottom. We also establish some other…