论文标题
在可计数的固定塔上
On Countable Stationary Towers
论文作者
论文摘要
在本文中，我们研究了可数固定塔的特性。我们从$ L（\ Mathbf r）$中从某些可计数固定塔的某些属性中得出了一组REAL的规律性属性，而无需明确使用强大的大型红衣主教，例如伍丁红衣主教。我们还介绍了半年份的概念，并研究了其与可计数固定塔的陡峭和预售的关系。我们表明，弱紧凑高度的可计数固定塔的陡峭程度意味着$ l（\ Mathbf r）$中的一组REAL的规律性属性。
In this paper, we investigate properties of countable stationary towers. We derive the regularity properties of sets of reals in $L(\mathbf R)$ from some properties of countable stationary towers without explicit use of strong large cardinals such as Woodin cardinals. We also introduce the notion of semiprecipitousness and investigate its relation to precipitousness and presaturation of countable stationary towers. We show that precipitousness of countable stationary towers of weakly compact height implies the regularity properties of sets of reals in $L(\mathbf R)$.
