English
Related papers

Related papers: Definable maximal discrete sets in forcing extensi…

200 papers

Let $f$ be an $R$-closed homeomorphism on a connected orientable closed surface $M$. In this paper, we show that If $M$ has genus more than one, then each minimal set is either a periodic orbit or an extension of a Cantor set. If $M =…

Dynamical Systems · Mathematics 2017-07-19 Tomoo Yokoyama

While maximal independent families can be constructed from ZFC via Zorn's lemma, the presence of a maximal $\sigma$-independent family already gives an inner model with a measurable cardinal, and Kunen has shown that from a measurable…

Logic · Mathematics 2024-08-20 Calliope Ryan-Smith

Determining the maximal density $m_1(\mathbb{R}^2)$ of planar sets without unit distances is a fundamental problem in combinatorial geometry. This paper investigates lower bounds for this quantity. We introduce a novel approach to…

Metric Geometry · Mathematics 2025-04-14 Alexander Tolmachev

We investigate the set of Pi-1-2 sentences which are Pi-1-1 conservative over the theories of reverse mathematics RCA0+ISigma_n and ACA0. We exhibit new elements of these sets and conclude that the sets are Pi_2 complete. Along the way, we…

Logic · Mathematics 2013-08-26 Henry Towsner

In the past two decades, Sorin Popa's breakthrough deformation/rigidity theory has produced remarkable rigidity results for von Neumann algebras $M$ which can be deformed inside a larger algebra $\widetilde M \supseteq M$ by an action…

Operator Algebras · Mathematics 2021-12-22 Rolando de Santiago , Ben Hayes , Daniel J. Hoff , Thomas Sinclair

We characterize the maximal discrete subgroups of $SO^+(2,n+2)$, which contain the discriminant kernel of an even lattice, which contains two hyperbolic planes over $\mathbb{Z}$. They coincide with the normalizers in $SO^+(2,n+2)$ and are…

Number Theory · Mathematics 2021-09-09 Aloys Krieg , Felix Schaps

We recall some classical results relating normality and some natural weakenings of normality in $\Psi$-spaces over almost disjoint families of branches in the Cantor tree to special sets of reals like $Q$-sets, $\lambda$-sets and…

General Topology · Mathematics 2021-12-21 Vinicius Rodrigues , Victor dos Santos Ronchim , Paul Szeptycki

A first order expansion of $(\mathbb{R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, $p$-adic fields, ordered abelian groups with only finitely many convex subgroups…

Logic · Mathematics 2026-02-11 Pierre Simon , Erik Walsberg

Let $0<\alpha<1$. We obtain the boundedness of the discrete fractional Hardy-Littlewood maximal operators ${\mathcal M}_\alpha$ on discrete weighted Lebesgue spaces. From this and a discrete version of Whitney decomposition theorem, we…

Functional Analysis · Mathematics 2023-10-13 Xuebing Hao , Shuai Yang , Baode Li

Let X be a nonempty convex compact subset of some Haus-dorff locally convex topological vector space S. The well know Bauer's maximum principle stats that every convex upper semi-continuous function from X into R attains its maximum at some…

Functional Analysis · Mathematics 2018-12-19 Mohammed Bachir

We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in…

Logic · Mathematics 2021-04-13 Pantelis Eleftheriou , Assaf Hasson , Ya'acov Peterzil

Given a finite family F of linear forms with integer coefficients, and a compact abelian group G, an F-free set in G is a measurable set which does not contain solutions to any equation L(x)=0 for L in F. We denote by d_F(G) the supremum of…

Combinatorics · Mathematics 2011-09-15 Pablo Candela , Olof Sisask

In this paper, we introduce a discrete version of weighted Morrey spaces, and discuss the inclusion relations of these spaces. In addition, we obtain the boundedness of discrete weighted Hardy-Littlewood maximal operators on discrete…

Functional Analysis · Mathematics 2023-10-31 Xuebing Hao , Shuai Yang , Baode Li

Using countable support iteration of $S$-proper posets, for some appropriate stationary set $S$, we obtain a generic extension of the constructible universe, in which $\mathfrak{b}=\mathfrak{c}=\aleph_2$ and there is a maximal cofinitary…

Logic · Mathematics 2016-03-10 Vera Fischer , Sy David Friedman , Asger Törnquist

Given a set of integers $A \subset \mathbb{Z}$, we consider the smallest family $\mathcal{B}_{A^{n-1}}$ invariant by translation which contains the rectangles $$ R_{\boldsymbol{a}} = I_{a_1} \times \dots \times I_{a_{n-1}} \times…

Classical Analysis and ODEs · Mathematics 2023-05-01 Anthony Gauvan

If $A$ is an integer valued, strictly expansive matrix, then there exists an orthonormal $A$-wavelet whose Fourier transform is compactly supported and smooth. We show that strongly connected diagonally dominant integer matrices are…

Classical Analysis and ODEs · Mathematics 2025-06-10 Darrin Speegle

For any conformal iterated function system (CIFS) consisting of finitely or countably many maps, and any closed shift-invariant set of right-infinite sequences of such maps, one can associate a limit set, which we call a shift-generated…

Dynamical Systems · Mathematics 2023-08-30 Andrei E. Ghenciu , Ronnie Pavlov

For the ultradifferentiable weight sequence setting it is known that the Borel map which assigns to each function the infinite jet of derivatives (at 0) is surjective onto the corresponding weighted sequence class if and only if the…

Functional Analysis · Mathematics 2022-02-04 Gerhard Schindl

We consider a problem of bounding the maximal possible multiplicity of a zero at of some expansions $\sum a_i F_i(x)$, at a certain point $c,$ depending on the chosen family $\{F_i \}$. The most important example is a polynomial with $c=1.$…

Classical Analysis and ODEs · Mathematics 2016-09-07 Ilia Krasikov

We study a strengthening of Bounded Martin's Maximum which asserts that if a \Sigma_1 fact holds of \omega_2^V in a stationary set preserving extension then it holds in V for a stationary set of ordinals less than \omega_2. We show that…

Logic · Mathematics 2008-12-09 Stuart Zoble