Abstract

Answering a question of Harrington, we show that there exists a proper forcing notion, which adds a minimal real η∈∏i<ωni∗η\in \prod_{i<ω} n^*_i, which is eventually different from any old real in ∏i<ωni∗\prod_{i<ω} n^*_i, where the sequence ⟨ni∗∣i<ω⟩\langle n^*_i \mid i<ω\rangle grows slowly.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.