The basic Fraenkel model is a model of the set theoryZFA that doesn’t satisfy the axiom of choice. It was one of the first examples of a permutation model? of set theory.

Fraenkel’s description used the language of material set theory, and indeed most set theorists would give the description of the Fraenkel model using this language, but it can be described quite simply from a structural perspective, and then the original version can be recovered by considering pure sets (allowing atoms).

The model is given by the topos of sets with an action of an opensubgroup of the group$Aut(\mathbb{N})$ for a certain topology on this group. A basis for the open subgroups is given by the subgroups which fix a finite subset $I \subset \mathbb{N}$. Arrows in this topos are allowed to be equivariant for an open (possibly proper) subgroup of the groups acting on the domain and codomain.

Created on November 19, 2012 07:41:05
by David Roberts
(192.43.227.18)