| http://dbpedia.org/ontology/abstract
|
In mathematical set theory, a permutation … 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.tric models were introduced by Paul Cohen.
|
| http://dbpedia.org/ontology/wikiPageID
|
43782287
|
| http://dbpedia.org/ontology/wikiPageLength
|
2626
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1046296625
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Permutation_group +
, http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Permutation +
, http://dbpedia.org/resource/Paul_Cohen_%28mathematician%29 +
, http://dbpedia.org/resource/Poset +
, http://dbpedia.org/resource/Axiom_of_choice +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Atom_%28set_theory%29 +
, http://dbpedia.org/resource/Model_%28mathematical_logic%29 +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Harvs +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Short_description +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Set_theory +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Model +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Permutation_model?oldid=1046296625&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Permutation_model +
|
| owl:sameAs |
http://dbpedia.org/resource/Permutation_model +
, http://www.wikidata.org/entity/Q18085712 +
, https://global.dbpedia.org/id/kEqU +
, http://rdf.freebase.com/ns/m.011sr2nr +
|
| rdf:type |
http://dbpedia.org/ontology/Person +
|
| rdfs:comment |
In mathematical set theory, a permutation … 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.tric models were introduced by Paul Cohen.
|
| rdfs:label |
Permutation model
|
