On Countable Stationary Towers

DOI10.1007/978-981-16-4173-2_6MaRDI QIDQ6352173arXivFDO

Authors Yo Matsubara, Toshimichi Usuba

Publication date 25 October 2020

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx) Set theory (03Exx) General logic (03Bxx)

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

This page was built for publication: On Countable Stationary Towers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6352173)