English

On Countable Stationary Towers

Logic 2020-10-27 v1

Abstract

In this paper, we investigate properties of countable stationary towers. We derive the regularity properties of sets of reals in L(R)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(R)L(\mathbf R).

Keywords

Cite

@article{arxiv.2010.13043,
  title  = {On Countable Stationary Towers},
  author = {Yo Matsubara and Toshimichi Usuba},
  journal= {arXiv preprint arXiv:2010.13043},
  year   = {2020}
}

Comments

To appear in the Proceedings of the Symposium on Advances in Mathematical Logic 2018

R2 v1 2026-06-23T19:37:31.254Z