Does the forcing PR* that adds a bounding-predictor keep e small?
Ascertain whether the forcing PR*, which generically adds a bounding-predictor and has ultrafilter-limits, also preserves small values of the ordinary evasion number e under iteration.
Sponsor
References
We can also show that PR* has ultrafilter-limits and hence it keeps b small. However, it is unclear whether it also keeps e small.
— Cichoń's maximum with evasion number
(2401.14600 - Yamazoe, 26 Jan 2024) in Section 6 (Questions)