PFA(S) and automorphisms of P(N)/fin'

摘要

Todorcevic introduced the forcing axiom PFA(S) and established many consequences. We contribute to this project. In particular, we show that forcing with the Souslin tree S, as postulated by PFA(S), will preserve that all automorphisms of the Boolean algebra P(N)/fin are trivial. (C) 2018 Elsevier B.V. All rights reserved.