Content deleted Content added
m per MOS:QUOTEMARK using AWB (10808) |
Citation bot (talk | contribs) Misc citation tidying. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Set theory | #UCB_Category 116/155 |
||
| (5 intermediate revisions by 5 users not shown) | |||
Line 1:
{{Short description|Model of set theory constructed using permutations}}
In mathematical [[set theory]], a '''permutation model''' is a [[model (mathematical logic)|model]] of set theory with [[Atom (set theory)|atoms]] (ZFA) constructed using a [[permutation group|group]] of [[permutation]]s of the atoms. A '''symmetric model''' is similar except that it is a model of ZF (without atoms) and is constructed using a group of permutations of a forcing [[poset]]. One application is to show the independence of the [[axiom of choice]] from the other axioms of ZFA or ZF.
Permutation models were introduced by {{harvs|txt|last=Fraenkel|year=1922}} and developed further by {{harvs|txt|last=Mostowski|year=1938}}.
Symmetric models were introduced by [[Paul Cohen (mathematician)|Paul Cohen]].
Line 16 ⟶ 17:
==Construction of filters on a group==
A filter on a group can be constructed from an invariant ideal on of the [[Boolean algebra]] of subsets of ''A'' containing all elements of ''A''. Here an ideal is a collection ''I'' of subsets of ''A'' closed under taking finite unions and subsets, and is called invariant if it is invariant under the action of the group ''G''. For each element ''S'' of the ideal one can take the subgroup of ''G'' consisting of all elements fixing every element ''S''. These subgroups generate a normal filter of ''G''.
==References==
*{{citation|last=Fraenkel|first= A.
|title=Der Begriff "definit" und die Unabhängigkeit des Auswahlaxioms|
|journal=Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften|year= 1922|pages= 253–257 }}
*{{citation|first= Andrzej |last=Mostowski|title= Über den Begriff einer Endlichen Menge|year=1938|journal= Comptes
[[Category:Set theory]]
| |||