Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Permutation_model> ?p ?o }
Showing triples 1 to 26 of
26
with 100 triples per page.
- Permutation_model abstract "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 (1922) and developed further by Mostowski (1938). Symmetric models were introduced by Paul Cohen.".
- Permutation_model wikiPageID "43782287".
- Permutation_model wikiPageLength "2527".
- Permutation_model wikiPageOutDegree "7".
- Permutation_model wikiPageRevisionID "646228482".
- Permutation_model wikiPageWikiLink Axiom_of_choice.
- Permutation_model wikiPageWikiLink Category:Set_theory.
- Permutation_model wikiPageWikiLink Paul_Cohen.
- Permutation_model wikiPageWikiLink Permutation.
- Permutation_model wikiPageWikiLink Set_theory.
- Permutation_model wikiPageWikiLink Structure_(mathematical_logic).
- Permutation_model wikiPageWikiLink Urelement.
- Permutation_model wikiPageWikiLinkText "Permutation model".
- Permutation_model wikiPageWikiLinkText "permutation model".
- Permutation_model wikiPageUsesTemplate Template:Citation.
- Permutation_model wikiPageUsesTemplate Template:Harvs.
- Permutation_model subject Category:Set_theory.
- Permutation_model hypernym Model.
- Permutation_model type Person.
- Permutation_model comment "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 (1922) and developed further by Mostowski (1938).".
- Permutation_model label "Permutation model".
- Permutation_model sameAs Q18085712.
- Permutation_model sameAs m.011sr2nr.
- Permutation_model sameAs Q18085712.
- Permutation_model wasDerivedFrom Permutation_model?oldid=646228482.
- Permutation_model isPrimaryTopicOf Permutation_model.