Related papers: Suslin tree preservation and club isomorphisms
We show the theory of pointed $\R$-trees with radius at most $r$ is axiomatizable in a suitable continuous signature. We identify the model companion $\rbRT_r$ of this theory and study its properties. In particular, the model companion is…
A set of reals is \textit{universally Baire} if all of its continuous preimages in topological spaces have the Baire property. $\sf{Sealing}$ is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that…
We introduce a generalization of Smirnov words in the context of labeled binary trees, which we call Smirnov trees. We study the generating function for ascent-descent statistics on Smirnov trees and establish that it is $e$-positive, which…
We construct a model in which all $C$-sequences are trivial, yet there exists a $\kappa$-Souslin tree with full vanishing levels. This answers a question of Lambie-Hanson and Rinot, and provides an optimal combination of compactness and…
In an SU(2) gauge theory, if the gauge bosons turn out to be degenerate after spontaneous symmetry breaking, obviously these mass terms are invariant under a global SU(2) symmetry that is unbroken. The pure gauge terms are also invariant…
We initiate a detailed and systematic study of automorphisms of the Cuntz algebras $\O_n$ which preserve both the diagonal and the core $UHF$-subalgebra. A general criterion of invertibility of endomorphisms yielding such automorphisms is…
We introduce the split principles and show that they bear tight connections to large cardinal properties such as inaccessibility, weak compactness, subtlety, almost ineffability and ineffability, as well as classical combinatorial objects…
We give the optimal conditions for the existence of a club consisting of former regular over an inaccessible and a measurable. The foricing construction based on iteration of distributive posets.
We consider a U(1) x SU(2) gauge theory on the four-dimensional manifold S^1 x S^3. If we make the assumption that only gauge transformations connected to the identity are allowed, the winding numbers of U(1) around S^1 and of SU(2) around…
To any free group automorphism, we associate a real pretree with several nice properties. First, it has a rigid/non-nesting action of the free group with trivial arc stabilizers. Secondly, there is an expanding pretree-automorphism of the…
We study strong $r$-central $2$-trees whose non-central vertices have degrees in $\{2,3\}$, focusing on the cases $r=1,2,3$. For each $r$, we derive exact degree constraints relating the maximum degree $\Delta$ to the numbers of degree-$3$…
We consider the rooted trees which not have isomorphic representation and introduce a conception of complexity a natural number also. The connection between quantity such trees with $n$ edges and a complexity of natural number $n$ is…
Let S be an arbitrary real surface, with or without boundary, contained in a hypersurface M of the complex euclidean space \C^2, with S and M of class C^{2, a}, where 0 < a < 1. If M is globally minimal, if S is totally real except at…
We asymptotically determine the size of the largest family F of subsets of {1,...,n} not containing a given poset P if the Hasse diagram of P is a tree. This is a qualitative generalization of several known results including Sperner's…
We investigate questions involving Aronszajn trees, square principles, and stationary reflection. We first consider two strengthenings of $\square(\kappa)$ introduced by Brodsky and Rinot for the purpose of constructing $\kappa$-Souslin…
Deciding whether there is a single tree -a supertree- that summarizes the evolutionary information in a collection of unrooted trees is a fundamental problem in phylogenetics. We consider two versions of this question: agreement and…
We show that the existence of an almost Souslin Kurepa tree is consistent with $ZFC$. We also prove their existence in $L$. These results answer two questions from Zakrzewski.
Let $\lambda$ be a limit of Woodin cardinals. It was shown by the second author that the pointclass of ${<\lambda}$-homogeneously Suslin sets has the scale property. We give a new proof of this fact, which avoids the use of stationary tower…
Trees fill many extremal roles in graph theory, being minimally connected and serving a critical role in the definition of $n$-good graphs. In this article, we consider the generalization of trees to the setting of $r$-uniform hypergraphs…
In this paper, we investigate normal trees of directed graphs, which extend the fundamental concept of normal trees of undirected graphs. We prove that a directed graph $D$ has a normal spanning tree if and only if the topological space…