Formalizing forcing arguments in subsystems of second-order arith- metic (1996)

by JEREMY AVIGAD
Venue:Annals of Pure and Applied Logic