Permutation model
http://dbpedia.org/resource/Permutation_model an entity of type: Person
In mathematical set theory, a permutation model is a model of set theory with atoms (ZFA) constructed using a group of permutations 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 Fraenkel and developed further by Mostowski. Symmetric models were introduced by Paul Cohen.
rdf:langString
rdf:langString
Permutation model
xsd:integer
43782287
xsd:integer
1046296625
rdf:langString
In mathematical set theory, a permutation model is a model of set theory with atoms (ZFA) constructed using a group of permutations 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 Fraenkel and developed further by Mostowski. Symmetric models were introduced by Paul Cohen.
xsd:nonNegativeInteger
2626