Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 52, Number 2 (2011), 113-147.
Reasonable Ultrafilters, Again
We continue investigations of reasonable ultrafilters on uncountable cardinals defined in previous work by Shelah. We introduce stronger properties of ultrafilters and we show that those properties may be handled in λ-support iterations of reasonably bounding forcing notions. We use this to show that consistently there are reasonable ultrafilters on an inaccessible cardinal λ with generating systems of size less than . We also show how ultrafilters generated by small systems can be killed by forcing notions which have enough reasonable completeness to be iterated with λ-supports.
Notre Dame J. Formal Logic, Volume 52, Number 2 (2011), 113-147.
First available in Project Euclid: 28 April 2011
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Rosłanowski, Andrzej; Shelah, Saharon. Reasonable Ultrafilters, Again. Notre Dame J. Formal Logic 52 (2011), no. 2, 113--147. doi:10.1215/00294527-1306154. https://projecteuclid.org/euclid.ndjfl/1303995710