Formalizing forcing arguments in subsystems of secondorder arithmetic (1996)

by Jeremy Avigad
Venue:Annals of Pure and Applied Logic