The modal logic of forcing (0)

by J D Hamkins, B Löwe
Venue:Transactions of the American Mathematical Society