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

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