Characterizing forcing extensions
The CUNY Graduate Center
I shall present a proof of a theorem of Bukovský from 1973 that characterizes the set-forcing extensions among all pairs of ZFC models $M\subseteq N$: these are precisely the pairs satisfying a uniform covering property. His result has recently resurfaced in the study of set-theoretic geology and can, for example, also be used to give a conceptual proof of (a version of) the intermediate model theorem.
Miha Habič is a graduate student at the CUNY GC. He got his Masters Degree in Mathematics at the University of Ljubljana, Slovenia. His interests lie in the area of infinitary computability, forcing and large cardinals.