Models in Which AC Fails
摘要
In Chapter 8 we have constructed models of Set Theory in which the Axiom of Choice failed. However, these models were models of Set Theory with atoms, denoted ZFA, where atoms are objects which do not have any elements but are distinct from the empty set.