Revision as of 17:55, 9 September 2014 edit R.e.b. (talk \| contribs) Extended confirmed users, Pending changes reviewers 42,907 edits →References: Expanding article ← Previous edit		Revision as of 22:17, 10 September 2014 edit undo Michael Hardy (talk \| contribs) Administrators 210,577 edits →top Next edit →
Line 2: 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. [[Paul ~~COhen~~Cohen ~~leter~~(mathematician)\|Paul Cohen]] later used similar ideas to construct models of ZF not satisfying the axiom of choice, by replacing a group acting on a set of atoms by a group acting on a forcing poset. ==Construction of permutation models==

Permutation model: Difference between revisions