Abstract
Answering a question of Harrington, we show that there exists a proper forcing notion, which adds a minimal real η ∈ Πi<ω n*i, which is eventually different from any old real in Πi<ω n*i , where the sequence (n*i | i < ω) grows slowly.
Original language | English |
---|---|
Pages (from-to) | 4527-4536 |
Number of pages | 10 |
Journal | Proceedings of the American Mathematical Society |
Volume | 151 |
Issue number | 10 |
DOIs | |
State | Published - 1 Oct 2023 |
Bibliographical note
Publisher Copyright:© 2023 American Mathematical Society.
Keywords
- creature forcing
- Minimal real