This HTML5 document contains 85 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n15https://global.dbpedia.org/id/
n10http://matwbn.icm.edu.pl/ksiazki/fm/fm36/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Mostowski_collapse_lemma
rdf:type
yago:Proposition106750804 yago:Communication100033020 yago:WikicatLemmas yago:Lemma106751833 yago:WikicatMathematicalTheorems yago:Abstraction100002137 yago:Message106598915 yago:Theorem106752293 yago:Statement106722453
rdfs:label
Mostowski-Kollaps 莫斯托夫斯基塌陷引理 Kolaps Mostowskiego Lemme de contraction de Mostowski Lemma del collasso di Mostowski Mostowski collapse lemma 모스토프스키 붕괴 보조정리 モストフスキ崩壊補題
rdfs:comment
在数理逻辑中，Mostowski 塌陷引理声称对任何结构 S，它带有良基关系 R 使得对 S 的每个元素 x 有 {y : y R x} 是集合，并且使得 R 满足外延性，则存在一个传递类 C(可能是真类)，它在成员关系下的结构同构于 S。这个同构映射 S 的每个元素 x 到 S 的有着 y R x 的元素 y 的像的集合。它得名于（Andrzej Mostowski)。 Kolaps Mostowskiego (kolaps przechodni) – zbiór przechodni, który wraz z relacją należenia jest izomorficzny z daną ufundowaną relacją ekstensjonalną. Termin kolaps Mostowskiego jest też używany na określenie samego izomorfizmu z wyjściowego zbioru z relacją na zbiór przechodni. Izomorfizm ten był użyty przez Kurta Gödla w 1937 w niebezpośredniej formie. Samodzielne twierdzenie o istnieniu kolapsów przechodnich było sformułowane i udowodnione przez Andrzeja Stanisława Mostowskiego w 1949. Twierdzenie o kolapsie Mostowskiego jest nazywane także twierdzeniem o ściąganiu. 数理論理学におけるモストフスキ崩壊(潰し,収縮とも)補題とは、集合論の命題でアンジェイ・モストフスキの名に因む。 En théorie des ensembles le lemme de contraction de Mostowski, dû à Andrzej Mostowski, associe à un ensemble muni d'une relation bien fondée un unique ensemble transitif, de façon que, si celui-ci est muni de l'appartenance, cette application est un morphisme. Si de plus la relation bien fondée sur l'ensemble de départ est extensionnelle, l'application est un isomorphisme. L'ensemble image est appelé contracté, ou collapse de Mostowski de l'ensemble muni de la relation bien fondée. Il intervient pour la construction de modèles de la théorie des ensembles, par exemple dans le cas du forcing. Der Mostowski-Kollaps (auch: Mostowski’scher Isomorphiesatz) ist ein Satz aus der Mengenlehre, der zuerst 1949 von dem polnischen Mathematiker Andrzej Mostowski formuliert wurde. Er ist vor allem bei der Konstruktion von Modellen ein wichtiges Hilfsmittel. In mathematical logic, the Mostowski collapse lemma, also known as the Shepherdson–Mostowski collapse, is a theorem of set theory introduced by Andrzej Mostowski and.
dcterms:subject
dbc:Lemmas_in_set_theory dbc:Wellfoundedness dbc:Lemmas
dbo:wikiPageID
1251604
dbo:wikiPageRevisionID
1108319878
dbo:wikiPageWikiLink
dbr:Proper_class dbr:Zermelo–Fraenkel_set_theory dbr:Model_theory dbr:Mathematical_logic dbr:Binary_relation dbr:Set_theory dbr:Aczel's_anti-foundation_axiom dbc:Wellfoundedness dbc:Lemmas_in_set_theory dbr:Well-founded_relation dbr:Non-well-founded_set_theory dbr:Axiom_of_extensionality dbr:Axiom_of_regularity dbr:Fundamenta_Mathematicae dbr:Springer-Verlag dbr:Homomorphism dbc:Lemmas dbr:Bisimulation dbr:Journal_of_Symbolic_Logic dbr:Transitive_set dbr:Transitive_model
dbo:wikiPageExternalLink
n10:fm36120.pdf
owl:sameAs
dbpedia-pl:Kolaps_Mostowskiego wikidata:Q138596 freebase:m.04m7tl n15:Pqiy dbpedia-it:Lemma_del_collasso_di_Mostowski yago-res:Mostowski_collapse_lemma dbpedia-de:Mostowski-Kollaps dbpedia-fr:Lemme_de_contraction_de_Mostowski dbpedia-ko:모스토프스키_붕괴_보조정리 dbpedia-ja:モストフスキ崩壊補題 dbpedia-zh:莫斯托夫斯基塌陷引理
dbp:wikiPageUsesTemplate
dbt:Citation dbt:Set_theory dbt:Mathematical_logic dbt:Short_description dbt:Harvs
dbp:authorlink
Andrzej Mostowski John C. Shepherdson
dbp:first
John Andrzej
dbp:last
Shepherdson Mostowski
dbp:year
1953 1949
dbp:loc
theorem 3
dbo:abstract
Der Mostowski-Kollaps (auch: Mostowski’scher Isomorphiesatz) ist ein Satz aus der Mengenlehre, der zuerst 1949 von dem polnischen Mathematiker Andrzej Mostowski formuliert wurde. Er ist vor allem bei der Konstruktion von Modellen ein wichtiges Hilfsmittel. 在数理逻辑中，Mostowski 塌陷引理声称对任何结构 S，它带有良基关系 R 使得对 S 的每个元素 x 有 {y : y R x} 是集合，并且使得 R 满足外延性，则存在一个传递类 C(可能是真类)，它在成员关系下的结构同构于 S。这个同构映射 S 的每个元素 x 到 S 的有着 y R x 的元素 y 的像的集合。它得名于（Andrzej Mostowski)。 Kolaps Mostowskiego (kolaps przechodni) – zbiór przechodni, który wraz z relacją należenia jest izomorficzny z daną ufundowaną relacją ekstensjonalną. Termin kolaps Mostowskiego jest też używany na określenie samego izomorfizmu z wyjściowego zbioru z relacją na zbiór przechodni. Izomorfizm ten był użyty przez Kurta Gödla w 1937 w niebezpośredniej formie. Samodzielne twierdzenie o istnieniu kolapsów przechodnich było sformułowane i udowodnione przez Andrzeja Stanisława Mostowskiego w 1949. Twierdzenie o kolapsie Mostowskiego jest nazywane także twierdzeniem o ściąganiu. In mathematical logic, the Mostowski collapse lemma, also known as the Shepherdson–Mostowski collapse, is a theorem of set theory introduced by Andrzej Mostowski and. 数理論理学におけるモストフスキ崩壊(潰し,収縮とも)補題とは、集合論の命題でアンジェイ・モストフスキの名に因む。 En théorie des ensembles le lemme de contraction de Mostowski, dû à Andrzej Mostowski, associe à un ensemble muni d'une relation bien fondée un unique ensemble transitif, de façon que, si celui-ci est muni de l'appartenance, cette application est un morphisme. Si de plus la relation bien fondée sur l'ensemble de départ est extensionnelle, l'application est un isomorphisme. L'ensemble image est appelé contracté, ou collapse de Mostowski de l'ensemble muni de la relation bien fondée. Le lemme se généralise aux classes, moyennant que les antécédents d'un élément de la classe par la relation bien fondée considérée — cette relation étant elle-même une classe — forment un ensemble. Il intervient pour la construction de modèles de la théorie des ensembles, par exemple dans le cas du forcing.
gold:hypernym
dbr:Statement
prov:wasDerivedFrom
wikipedia-en:Mostowski_collapse_lemma?oldid=1108319878&ns=0
dbo:wikiPageLength
4667
foaf:isPrimaryTopicOf
wikipedia-en:Mostowski_collapse_lemma