Joel David Hamkins, Gunter Fuchs
We investigate various strong notions of rigidity for Souslin trees, separating them under Diamond into a hierarchy. Applying our methods to the automorphism tower problem in group theory, we show under Diamond that there is a group whose automorphism tower is highly malleable by forcing.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
On the rigidity of Souslin trees and their generic branches
该数理逻辑研究证明了存在满足特定刚性与Kurepa性质的Souslin树的相容性，解答了Fuchs的相关问题，还证明了与菱形原理相容的Souslin树稠密子集性质，回应了Baumgartner的相关问题。
It is consistent that there exists a Souslin tree $T$ such that after forcing with it, $T$ becomes an almost Souslin Kurepa tree. This answers a question of Zakrzewski.
In this note we answer a question of Kunen (15.13 [Mi91]) showing that it is consistent that there are full Souslin trees
We prove that $μ=μ^{<μ}$, $2^μ=μ^+$ and ``there is a non reflecting stationary subset of $μ^+$ composed of ordinals of cofinality $<μ$'' imply that there is a $μ$-complete Souslin tree on $μ^+$.
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 present a weak sufficient condition for the existence of Souslin trees at successor of regular cardinals. The result is optimal and simultaneously improves an old theorem of Gregory and a more recent theorem of the author.
An $\aleph_1$-Souslin tree is a complicated combinatorial object whose existence cannot be decided on the grounds of ZFC alone. But 15 years after Tennenbaum and independently Jech devised notions of forcing for introducing such a tree, Shelah proved that already the simplest forcing notion --- Cohen forcing --- adds an $\aleph_1$-Souslin tree. In this paper, we identify a rather large class of notions of forcing that, assuming a GCH-type assumption, add a $λ^+$-Souslin tree. This class includes Prikry, Magidor and Radin forcing.
In Part I of this series, we presented the microscopic approach to Souslin-tree constructions, and argued that all known $\diamondsuit$-based constructions of Souslin trees with various additional properties may be rendered as applications of our approach. In this paper, we show that constructions following the same approach may be carried out even in the absence of $\diamondsuit$. In particular, we obtain a new weak sufficient condition for the existence of Souslin trees at the level of a strongly inaccessible cardinal. We also present a new construction of a Souslin tree with an ascent path,…
The basic result of this note is a statement about the existence of families of partitions of the set of natural numbers with some favourable properties, the n-optimal matrices of partitions. We use this to improve a decomposition result for strongly homogeneous Souslin trees. The latter is in turn applied to separate strong notions of rigidity of Souslin trees, thereby answering a considerable portion of a question of Fuchs and Hamkins.
We propose a parameterized proxy principle from which $κ$-Souslin trees with various additional features can be constructed, regardless of the identity of $κ$. We then introduce the microscopic approach, which is a simple method for deriving trees from instances of the proxy principle. As a demonstration, we give a construction of a coherent $κ$-Souslin tree that applies also for $κ$ inaccessible. We then carry out a systematic study of the consistency of instances of the proxy principle, distinguished by the vector of parameters serving as its input. Among other things, it will be shown that …
We show how to force, with finite conditions, the forcing axiom PFA(T), a relativization of PFA to proper forcing notions preserving a given Souslin tree T. The proof uses a Neeman style iteration with generalized side conditions consisting of models of two types, and a preservation theorem for such iterations. The consistency of this axiom was previously known by the standard countable support iteration, using a preservation theorem due to Miyamoto.
We show that many countable support iterations of proper forcings preserve Souslin trees. We establish sufficient conditions in terms of games and we draw connections to other preservation properties. We present a proof of preservation properties in countable support interations in the so-called Case A that does not need a division into forcings that add reals and those who do not.
We study the relationship between a $κ$-Souslin tree $T$ and its reduced powers $T^θ/\mathcal U$. Previous works addressed this problem from the viewpoint of a single power $θ$, whereas here, tools are developed for controlling different powers simultaneously. As a sample corollary, we obtain the consistency of an $\aleph_6$-Souslin tree $T$ and a sequence of uniform ultrafilters $\langle \mathcal U_n\mid n<6\rangle$ such that $ T^{\aleph_n}/\mathcal U_n$ is $\aleph_6$-Aronszajn iff $n<6$ is not a prime number.
Full Souslin trees at small cardinals
本文改进 Kunen 问题的已有结果，证明满 Souslin 树可在小基数上相容存在，并构造 $\aleph_3$ 棵满足任意可数棵乘积仍为 $\aleph_2$-Souslin 树的满 $\aleph_2$-树。
We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $λ$, if $λ^{++}$ is not a Mahlo cardinal in Gödel's constructible universe, then $2^λ= λ^+$ entails the existence of a $λ^+$-complete $λ^{++}$-Souslin tree.
Assume GCH and let $λ$ denote an uncountable cardinal. We prove that if $\square_λ$ holds, then this may be witnessed by a coherent sequence $< C_α| α< λ^+ >$ with the following remarkable guessing property: For every sequence $< A_i | i<λ>$ of unbounded subsets of $λ^+$, and every limit $θ<λ$, there exists some $α<λ^+$ such that $\otp(C_α)=θ$, and the $(i+1)_{th}$-element of $C_α$ is a member of $A_i$, for all $i<θ$. As an application, we construct an homogenous $λ^+$-Souslin tree from $GCH+\square_λ$, for every singular cardinal $λ$. In addition, as a by-product, a theorem of Farah and Velic…
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 non-isomorphic Souslin trees whose isomorphism relation can be precisely controlled by forcing.
We introduce a new combinatorial principle which we call $\clubsuit_{AD}$. This principle asserts the existence of a certain multi-ladder system with guessing and almost-disjointness features, and is shown to be sufficient for carrying out de Caux type constructions of topological spaces. Our main result states that strong instances of $\clubsuit_{AD}$ follow from the existence of a Souslin tree. It is also shown that the weakest instance of $\clubsuit_{AD}$ does not follow from the existence of an almost Souslin tree. As an application, we obtain a simple, de Caux type proof of Rudin's result…
Proxy principles in combinatorial set theory
本文全面阐述组合集合论中的参数化代理原理，梳理其研究进展与应用，并给出新结果：对任意正整数$n$，存在$\lambda^+$-Souslin树，其所有$n$-导出树为Souslin树但$(n+1)$-幂特殊。
Motivated by a question from a recent paper by Gilton, Levine and Stejskalova, we obtain a new characterization of the ideal $J[κ]$, from which we confirm that $κ$-Souslin trees exist in various models of interest. As a corollary we get that for every integer $n$ such that $\mathfrak b<2^{\aleph_n}=\aleph_{n+1}$, if $\square(\aleph_{n+1})$ holds, then there exists an $\aleph_{n+1}$-Souslin tree.
The vanishing levels of a tree
本文研究正规 $κ$-树消失层集合的谱 $Vspec(κ)$，证明其不变性与封闭性，并给出 Aronszajn、Souslin 树在多种相容模型中的消失层可能性。
We investigate properties of trees of height $ω_1$ and their preservation under subcomplete forcing. We show that subcomplete forcing cannot add a new branch to an $ω_1$-tree. We introduce fragments of subcompleteness which are preserved by subcomplete forcing, and use these in order to show that certain strong forms of rigidity of Suslin trees are preserved by subcomplete forcings. Finally, we explore under what circumstances subcomplete forcing preserves Aronszajn trees of height and width $ω_1$. We show that this is the case if CH fails, and if CH holds, then this is the case iff the bounde…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。