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 ...