English
Related papers

Related papers: The Tree Property up to $\aleph_{\omega^2}$

200 papers

It is shown that if T is stable unsuperstable, and aleph_1< lambda =cf(lambda)< 2^{aleph_0}, or 2^{aleph_0} < mu^+< lambda =cf(lambda)< mu^{aleph_0} then T has no universal model in cardinality lambda, and if e.g. aleph_omega < 2^{aleph_0}…

Logic · Mathematics 2016-09-06 Menachem Kojman , Saharon Shelah

The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…

Logic · Mathematics 2008-02-03 Saharon Shelah

We consider a regular $n$-ary tree of height $h$, for which every vertex except the root is labelled with an independent and identically distributed continuous random variable. Taking motivation from a question in evolutionary biology, we…

Probability · Mathematics 2013-11-14 Matthew I. Roberts , Lee Zhuo Zhao

For any cardinal $\kappa \geq 2$, there is a unique complete real tree whose points all have valence $\kappa$. In this note, we show that, when $\kappa \geq 3$, it is necessary to assume completeness. More precisely, we show that there…

Metric Geometry · Mathematics 2025-11-06 Pénélope Azuelos

Assuming the existence of a Mahlo cardinal, we construct a model in which there exists an $\omega_2$-Aronszajn tree, the $\omega_1$-approachability property fails, and every stationary subset of $\omega_2 \cap \mathrm{cof}(\omega)$…

Logic · Mathematics 2019-07-23 Thomas Gilton , John Krueger

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 show that the tree property, stationary reflection and the failure of approachability at $\kappa^{++}$ are consistent with $\mathfrak{u}(\kappa) = \kappa^+ < 2^\kappa$, where $\kappa$ is a singular strong limit cardinal with the…

Logic · Mathematics 2019-11-01 Radek Honzik , Sarka Stejskalova

For horocyclic products of percolation subtrees of regular trees, we show almost sure amenability. Under a symmetry condition concerning the growth of the two percolation trees, we show the existence of an increasing Foelner sequence (which…

Probability · Mathematics 2009-03-19 Florian Sobieczky

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

Logic · Mathematics 2007-05-23 Arthur W. Apter

For an uncountable regular cardinal \kappa we let \nabla_\kappa(A) be the statement that A \subset \kappa and for all regular \theta > \kappa, the set of all X \in [\theta]^<\kappa such that X \cap \kappa \in \kappa and otp(X \cap OR) is a…

Logic · Mathematics 2007-05-23 Ralf Schindler

Let $\triangleleft$ be a relation between graphs. We say a graph $G$ is \emph{$\triangleleft$-ubiquitous} if whenever $\Gamma$ is a graph with $nG \triangleleft \Gamma$ for all $n \in \mathbb{N}$, then one also has $\aleph_0 G \triangleleft…

Combinatorics · Mathematics 2018-06-12 Nathan Bowler , Christian Elbracht , Joshua Erde , Pascal Gollin , Karl Heuer , Max Pitz , Maximilian Teegen

Motivated by a concept studied in [1], we consider a property of matrices over finite fields that generalizes triangular totally nonsingular matrices to block matrices. We show that (1) matrices with this property suffice to construct good…

Information Theory · Computer Science 2020-12-08 Pavel Pudlák

A cardinal $\lambda$ satisfies a property P robustly if, whenever $\mathbb{Q}$ is a forcing poset and $|\mathbb{Q}|^+ < \lambda$, $\lambda$ satisfies P in $V^{\mathbb{Q}}$. We study the extent to which certain reflection properties of large…

Logic · Mathematics 2015-10-19 Chris Lambie-Hanson

We prove that the strong polarized relation of $\theta$ above $\omega$ applied simultaneously for every cardinal in the interval $[\aleph_1,\aleph]$ is consistent. We conclude that this positive relation is consistent for every cardinal…

Logic · Mathematics 2018-04-24 Shimon Garti , Saharon Shelah

In this paper, we study the multiplicity of the Laplacian eigenvalues of trees. It is known that for trees, integer Laplacian eigenvalues larger than $1$ are simple and also the multiplicity of Laplacian eigenvalue $1$ has been well studied…

Combinatorics · Mathematics 2019-10-25 S. Akbari , E. R. van Dam , M. H. Fakharan

We point out some connections between existence of homogenous sets for certain edge colorings and existence of branches in certain trees. As a consequence, we get that any locally additive coloring (a notion introduced in the paper) of a…

Logic · Mathematics 2022-04-15 Adi Jarden , Ziv Shami

We show that the number of Laplacian eigenvalues greater than the average degree of a tree having $n$ vertices is at most $\lfloor\frac{n}{2} \rfloor$.

Combinatorics · Mathematics 2020-08-05 David P. Jacobs , Elismar R. Oliveira , Vilmar Trevisan

We look for partition theorems for large subtrees for suitable uncountable trees and colourings. We concentrate on sub-trees of $^{\kappa \ge} 2$ expanded by a well ordering of each level. Unlike earlier works, we do not ask the embedding…

Logic · Mathematics 2026-01-06 Saharon Shelah

We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now has emphasized their topological properties. We shift the…

Logic · Mathematics 2025-11-07 Jason Block , Russell Miller

A $\kappa$-tree is said to be full if each of its limit levels omits no more than one potential branch. Kunen asked whether a full $\kappa$-Souslin tree may consistently exist. Shelah gave an affirmative answer of height a strong limit…

Logic · Mathematics 2024-03-01 Assaf Rinot , Shira Yadai , Zhixing You