Related papers: Diamonds on trees
The concept of jointness for guessing principles, specifically $\diamondsuit_\kappa$ and various Laver diamonds, is introduced. A family of guessing sequences is joint if the elements of any given sequence of targets may be simultaneously…
Since being isolated by Viale and Weiss in 2009, the Guessing Model Property has emerged as a particularly prominent and powerful consequence of the Proper Forcing Axiom. In this paper, we investigate connections between variations of the…
Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call ${\rm GM}^+(\omega_3,\omega_1)$ holds. This principle implies ${\rm ISP}(\omega_2)$ and ${\rm ISP}(\omega_3)$, and…
We show that \emph{No unbounded profit with bounded risk} (NUPBR) implies \emph{predictable uniform tightness} (P-UT), a boundedness property in the Emery topology which has been introduced by C. Stricker \cite{S:85}. Combining this insight…
It was shown by Visser that Peano Arithmetic has the property that any two bi-interpretable extensions of it (in the same language) are equivalent. Enayat proposed to refer to this property of a theory as tightness and to carry out a more…
We investigate two variants of splitting tree forcing, their ideals and regularity properties. We prove connections with other well-known notions, such as Lebesgue measurablility, Baire- and Doughnut-property and the Marczewski field.…
The applications of the existing Liouville theories for the description of the longitudinal dynamics of non-critical Nambu-Goto string are analyzed. We show that the recently developed DOZZ solution to the Liouville theory leads to the cut…
The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the Continuum Hypothesis. This answers a longstanding problem of Shelah. The corresponding completely proper forcing which…
The B-series composition theorem has been an important topic in numerical analysis of ordinary differential equations for the past-half century. Traditional proofs of this theorem rely on labelled trees, whereas recent developments in…
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…
We consider a Ramsey statement for pairs of maps between trees, where one is an embedding as defined by Deuber and the other is a rigid surjection as defined by Solecki. We show that there is no Ramsey Theorem for pairs of maps where the…
Local actions (actions of a vertex stabiliser on the neighbours of that vertex) have become an important approach to group actions on trees since J. Tits' introduction in 1970 of the independence property (P) and especially since a 2000…
Two-dimensional version of the classical Mycielski theorem says that for every comeager or conull set $X\subseteq [0,1]^2$ there exists a perfect set $P\subseteq [0,1]$ such that $P\times P\subseteq X\cup \Delta$. We consider…
A Kaufmann model is an $\omega_1$-like, recursively saturated, rather classless model of $\mathrm{PA}$ or $\mathrm{ZF}$. Such models were constructed by Kaufmann under the combinatorial principle $\diamondsuit_{\omega_1}$ and Shelah showed…
We consider complex Mandelbrot multiplicative cascades on a random weigh\-ted tree. Under suitable assumptions, this yields a dynamics $\T$ on laws invariant by random weighted means (the so called fixed points of smoothing transformations)…
We prove decidability of the boundedness problem for monadic least fixed-point recursion based on positive monadic second-order (MSO) formulae over trees. Given an MSO-formula phi(X,x) that is positive in X, it is decidable whether the…
A strong antidiamond principle (*c) is shown to be consistent with CH. This principle can be stated as a "P-ideal dichotomy": every P-ideal on omega-1 (i.e. an ideal that is sigma-directed under inclusion modulo finite) either has a closed…
Let $\mathsf{TT}^1$ be the combinatorial principle stating that every finite coloring of the infinite full binary tree has a homogeneous isomorphic subtree. Let $\mathsf{RT}^2_2$ and $\mathsf{WKL}_0$ denote respectively the principles of…
Dai Pra et al studied two notions of monotonicity for continuous-time Markov processes on a finite partially ordered set (poset), and conjectured that monotonicity equivalence holds for a poset of W-glued diamond, and that there is no other…
We prove that there are groups in the constructible universe whose automorphism towers are highly malleable by forcing. This is a consequence of the fact that, under a suitable diamond hypothesis, there are sufficiently many highly rigid…