English
Related papers

Related papers: Strong tree properties, Kurepa trees, and guessing…

200 papers

We investigate the Whyburn and weakly Whyburn property in the class of $P$-spaces, that is spaces where every countable intersection of open sets is open. We construct examples of non-weakly Whyburn $P$-spaces of size continuum, thus giving…

General Topology · Mathematics 2010-07-02 Angelo Bella , Camillo Costantini , Santi Spadaro

Asymptotic properties of finitely generated subgroups of free groups, and of finite group presentations, can be considered in several fashions, depending on the way these objects are represented and on the distribution assumed on these…

Group Theory · Mathematics 2018-04-25 Frédérique Bassino , Cyril Nicaud , Pascal Weil

Tree-ordered weakly sparse models have recently emerged as a robust framework for representing structures in an ``almost sparse'' way, while allowing the structure to be reconstructed through a simple first-order interpretation. A prominent…

Discrete Mathematics · Computer Science 2026-04-09 Hector Buffière , Yuquan Lin , Jaroslav Nešet{ř}il , Patrice Ossona de Mendez , Sebastian Siebertz

Assuming $\rm PFA$, we shall use internally club $\omega_1$-guessing models as side conditions to show that for every tree $T$ of height $\omega_2$ without cofinal branches, there is a proper and $\aleph_2$-preserving forcing notion with…

Logic · Mathematics 2022-03-14 Rahman Mohammadpour

Starting with infinitely many supercompact cardinals, we show that the tree property at every cardinal $\aleph_n$, $1 < n <\omega$, is consistent with an arbitrary continuum function below $\aleph_\omega$ which satisfies $2^{\aleph_n} >…

Logic · Mathematics 2019-07-09 Sarka Stejskalova

We introduce a new method for building models of CH, together with $\Pi_2$ statements over $H(\omega_2)$, by forcing. Unlike other forcing constructions in the literature, our construction adds new reals, although only $\aleph_1$-many of…

Logic · Mathematics 2023-03-22 David Aspero , Miguel Angel Mota

We study weak approximation and the Hilbert property for Campana points, both of importance in recent work on a Manin-type conjecture by Pieropan, Smeets, Tanimoto and Varilly-Alvarado. We show that weak weak approximation implies the…

Number Theory · Mathematics 2023-05-04 Masahiro Nakahara , Sam Streeter

The main goal of this paper is to generalize the results that where presented in [11] for $\aleph_1$-Kurepa trees to $\aleph_{\alpha+1}$-Kurepa trees. We construct an $\mathcal{L}_{\omega_1,\omega}$-sentence $\psi_{\alpha}$, that codes…

Logic · Mathematics 2024-10-28 Georgios Marangelis

We study model theoretic tree properties ($\text{TP}, \text{TP}_1, \text{TP}_2$) and their associated cardinal invariants ($\kappa_{\text{cdt}}, \kappa_{\text{sct}}, \kappa_{\text{inp}}$, respectively). In particular, we obtain a…

Logic · Mathematics 2016-10-24 Artem Chernikov , Nicholas Ramsey

This paper explores the consistency strength of The Proper Forcing Axiom ($\textsf{PFA}$) and the theory (T) which involves a variation of the Viale-Wei$\ss$ guessing hull principle. We show that (T) is consistent relative to a supercompact…

Logic · Mathematics 2016-08-23 Nam Trang

We prove the existence of weak integral canonical models of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic $(0,p)$. As a first application we solve a conjecture of Langlands for Shimura varieties of Hodge type.…

Number Theory · Mathematics 2007-05-23 Adrian Vasiu

We provide the expected constructions of weakly $\omega$-categorified models (in the sense of Bressie) of the theory of groups and quandles which arise by replacing the homotopies used to give equivalence relations in the theory of…

Category Theory · Mathematics 2020-06-30 Phillip M Bressie , David N Yetter

This paper provides answers to questions regarding the almost sure limiting behavior of rooted, binary tree-structured rules for regression. Examples show that questions raised by Gordon and Olshen in 1984 have negative answers. For these…

Statistics Theory · Mathematics 2007-08-07 Richard A. Olshen

In this paper we investigate the geometric properties of quasi-trees, and prove some equivalent criteria. We give a general construction of a tree that approximates the ends of a geodesic space, and use this to prove that every quasi-tree…

Metric Geometry · Mathematics 2023-08-28 Alice Kerr

Let $A$ be a set of natural numbers. Recent work has suggested a strong link between the additive energy of $A$ (the number of solutions to $a_1 + a_2 = a_3 + a_4$ with $a_i \in A$) and the metric Poissonian property, which is a fine-scale…

Number Theory · Mathematics 2018-06-27 Thomas F. Bloom , Sam Chow , Ayla Gafni , Aled Walker

Mixture of experts (MoE) models are widely applied for conditional probability density estimation problems. We demonstrate the richness of the class of MoE models by proving denseness results in Lebesgue spaces, when inputs and outputs…

Statistics Theory · Mathematics 2021-10-12 Hien Duy Nguyen , TrungTin Nguyen , Faicel Chamroukhi , Geoffrey McLachlan

The paper is devoted to a study of certain fixed point properties, and their relatives, in the context of full automorphism groups of countable rooted trees. Namely, we study Serre's property (FA'), also called unsplittability, property…

Group Theory · Mathematics 2011-10-21 Maciej Malicki

We prove the following indistinguishability theorem for $k$-tuples of trees in the uniform spanning forest of $\mathbb{Z}^d$: Suppose that $\mathscr{A}$ is a property of a $k$-tuple of components that is stable under finite modifications of…

Probability · Mathematics 2018-10-16 Tom Hutchcroft

We use Macaulay's inverse system to study the Hilbert series for almost complete intersections generated by uniform powers of general linear forms. This allows us to give a classification of the Weak Lefschetz property for these algebras,…

Commutative Algebra · Mathematics 2023-02-22 Mats Boij , Samuel Lundqvist

Suppose that there's no transitive model of ZFC + there's a strong cardinal, and let K denote the core model. It is shown that if \delta has the tree property then \delta^{+K} = \delta^+ and \delta is weakly compact in K.

Logic · Mathematics 2016-09-07 Ralf Schindler