Permutation model: Difference between revisions

Revision as of 22:17, 10 September 2014

Revision as of 02:49, 11 September 2014

Line 1:

In mathematical [[set theory]], a '''permutation model''' is a [[model (mathematical logic)|model]] of set theory with atoms (ZFA) constructed using a group of permutations[[permutation]]s of the atoms.

Permutation models were introduced by {{harvs|txt|last=Fraenkel|year=1922}} and developed further by {{harvs|txt|last=Mostowski|year=1938}}. One application is to show the independence of the [[axiom of choice]] from various other axioms in set theory with atoms.