Abstract
We define a weak iterability notion that is sufficient for a number of arguments concerning Σ_1-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second uniform indiscernible for bounded subsets of kappa : u_2(kappa ), and secondly to give the consistency strength of a property of Lücke’s.
Original language | English |
---|---|
Pages (from-to) | 448-470 |
Number of pages | 23 |
Journal | Journal of Symbolic Logic |
Volume | 86 |
Issue number | 2 |
Early online date | 15 Jun 2020 |
DOIs | |
Publication status | Published - 1 Jun 2022 |
Bibliographical note
Publisher Copyright:© The Association for Symbolic Logic 2020.
Keywords
- inner model
- large cardinals
- reflection principle