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
- Minimal real
- creature forcing