Models of ZFA in which every linearly ordered set can be well ordered

We provide a general criterion for Fraenkel-Mostowski models of ZFA (i.e. Zermelo- Fraenkel set theory weakened to permit the existence of atoms) which implies every linearly ordered set can be well ordered (LW), and look at six models for ZFA which satisfy this criterion (and thus LW is true in these models) and every Dedekind finite set is finite (DF = F) is true, and also consider various forms of choice for well ordered families of well orderable sets in these models. In Model 1, the axiom of multiple choice for countably infinite families of countably infinite sets (MC?0?0) is false. It was the open question of whether or not such a model exists (from Howard and Tachtsis On metrizability and compactness of certain products without the Axiom of Choice) that provided the motivation for this paper. In Model 2, which is constructed by first choosing an uncountable regular cardinal in the ground model, a strong form of Dependent choice is true, while the axiom of choice for well-ordered families of finite sets (AC(fin)(WO)) is false. Also in this model the axiom of multiple choice for well-ordered families of well orderable sets fails. Model 3 is similar to Model 2 except for the status of ACWO fin which is unknown. Models 4 and 5 are variations of Model 3. In Model 4 AC(fin)(WO) is true. The construction of Model 5 begins by choosing a regular successor cardinal in the ground model. Model 6 is the only one in which 2m = m for every infinite cardinal number m. We show that the union of a well-ordered family of well orderable sets is well orderable in Model 6 and that the axiom of multiple countable choice is false.

Automated summary

This paper provides a general criterion for Fraenkel-Mostowski models of ZFA and explores six models that satisfy this criterion, which implies LW and DF = F. The paper also examines the choice for well ordered families of well orderable sets in these models. The existence of a model where AC(fin)(WO) is false motivated this study.