Reasonable ultrafilters, again
Abstract
We continue investigations of reasonable ultrafilters on uncountable cardinals defined in math.LO/0407498. We introduce stronger properties of ultrafilters and we show that those properties may be handled in lambda-support iterations of reasonably bounding forcing notions. We use this to show that consistently there are reasonable ultrafilters on an inaccessible cardinal lambda with generating system of size less than 2^lambda . We also show how reasonable ultrafilters can be killed by forcing notions which have enough reasonable completeness to be iterated with lambda-supports (and we show the appropriate preservation theorem).
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- May 2006
- DOI:
- 10.48550/arXiv.math/0605067
- arXiv:
- arXiv:math/0605067
- Bibcode:
- 2006math......5067R
- Keywords:
-
- Mathematics - Logic
- E-Print:
- Notre Dame J. Form. Log. 52 (2011) 113-147