Rudin-type Dowker spaces Proxy principles and Lindelöf trees Higher derived limits, Kurepa families and Chang’s Conjecture
