Related papers: Club isomorphisms on higher Aronszajn trees
We show that, for a sheet or a Lusztig stratum S containing spherical conjugacy classes in a connected reductive algebraic group G over an algebraically closed field in good characteristic, the orbit space S/G is isomorphic to the quotient…
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…
Two graphs are of the same topological type if they can be mutually embedded into each other topologically. We show that there are exactly $\aleph_1$ distinct topological types of countable trees. In general, for any infinite cardinal…
We generalize the diamond principle and its variants using the notion of stationarity in trees introduced by Brodsky in [Brodsky, A. M., A theory of stationary trees and the balanced Baumgartner--Hajnal--Todorcevic theorem for trees. The…
It is shown that the fundamental group of the Griffiths double cone space is isomorphic to that of the triple cone. More generally if $\kappa$ is a cardinal such that $2 \leq \kappa \leq 2^{\aleph_0}$ then the $\kappa$-fold cone has the…
We show that graphs generated by collapsible pushdown systems of level 2 are tree-automatic. Even when we allow $\epsilon$-contractions and add a reachability predicate (with regular constraints) for pairs of configurations, the structures…
We show that under the proper forcing axiom the class of all Aronszajn lines behave like $\sigma$-scattered orders under the embeddability relation. In particular, we are able to show that the class of better quasi order labeled fragmented…
Following Laczkovich we consider the partially ordered set $\iB_1(\RR)$ of Baire class 1 functions endowed with the pointwise order, and investigate the order types of the linearly ordered subsets. Answering a question of Komj\'ath and…
We answer a question of Shelah by showing that it is consistent that every set of ordinals of cofinality omega_1 in I[omega_2] is nonstationary if and only if it is consistent that that there is a kappa^+ Mahlo cardinal kappa.
We show a number of undecidable assertions concerning countably compact spaces hold under PFA(S)[S]. We also show the consistency without large cardinals of "every locally compact, perfectly normal space is paracompact".
A graph is $\alpha$-excellent if every vertex of the graph is contained in some maximum independent set of the graph. In this paper, we present two characterizations of the $\alpha$-excellent $2$-trees.
The Proper Forcing Axiom implies all automorphisms of every Calkin algebra associated with an infinite-dimensional complex Hilbert space and the ideal of compact operators are inner. As a means of the proof we introduce the notion of Polish…
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…
Lov\'asz (1967) showed that two graphs $G$ and $H$ are isomorphic if, and only if, they are homomorphism indistinguishable over all graphs, i.e., $G$ and $H$ admit the same number of number of homomorphisms from every graph $F$.…
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.
We show that graphs generated by collapsible pushdown systems of level 2 are tree-automatic. Even if we allow epsilon-contractions and reachability predicates (with regular constraints) for pairs of configurations, the structures remain…
From many supercompact cardinals, we show that it is consistent for the tree property to hold at many small successors of singular cardinals, each with a different cofinality. In particular, we construct a model in which the tree property…
The monadic second-order theory of trees allows quantification over elements and over arbitrary subsets. We classify the class of trees with respect to the question: does a tree T have definable Skolem functions (by a monadic formula with…
We show that a locally finite, connected graph $G$ is $r$-locally chordal (that is, its $r/2$-balls are chordal) if and only if the unique canonical graph-decomposition $\mathcal{H}_r(G)$ of $G$ displaying its $r$-global structure is into…
I. M. Chiswell has asked whether every group that admits a free isometric action (without inversions) on a $\Lambda$-tree is orderable. We give an example of a multiple HNN extension $\Gamma$ which acts freely on a $\mathbb{Z}^2$-tree but…