All Questions

In set theory, are there approaches to fine structure that give fine-structural models that do not satisfy the axiom of choice? We can build fine-structural models above a given set (such as $\mathbb ...

Below, given a formula $\varphi$ which $\mathsf{ZF}$ proves defines a set of reals and an inner model $W$, I'll write "$\varphi^W$" and "$L(\varphi^W)$" for "$\{x:W\models\...