Formalizing forcing arguments in subsystems of secondorder arithmetic (1996)

by Jeremy Avigad
Venue:Annals of Pure and Applied Logic
Citations:17 - 8 self