Forcing over choiceless models and generic absoluteness

Daisuke Ikegami, Philipp Schlicht

We develop a toolbox for forcing over arbitrary models of set theory without the axiom of choice. In particular, we introduce a variant of the countable chain condition and prove a…