Mostowski collapse lemma
http://dbpedia.org/resource/Mostowski_collapse_lemma an entity of type: WikicatLemmas
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.
rdf:langString
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.
rdf:langString
数理論理学におけるモストフスキ崩壊(潰し,収縮とも)補題とは、集合論の命題でアンジェイ・モストフスキの名に因む。
rdf:langString
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.
rdf:langString
在数理逻辑中，Mostowski 塌陷引理声称对任何结构 S，它带有良基关系 R 使得对 S 的每个元素 x 有 {y : y R x} 是集合，并且使得 R 满足外延性，则存在一个传递类 C(可能是真类)，它在成员关系下的结构同构于 S。这个同构映射 S 的每个元素 x 到 S 的有着 y R x 的元素 y 的像的集合。它得名于（Andrzej Mostowski)。
rdf:langString
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.
rdf:langString
rdf:langString
Mostowski-Kollaps
rdf:langString
Lemme de contraction de Mostowski
rdf:langString
Lemma del collasso di Mostowski
rdf:langString
モストフスキ崩壊補題
rdf:langString
Mostowski collapse lemma
rdf:langString
모스토프스키 붕괴 보조정리
rdf:langString
Kolaps Mostowskiego
rdf:langString
莫斯托夫斯基塌陷引理
xsd:integer
1251604
xsd:integer
1108319878
rdf:langString
Andrzej Mostowski
rdf:langString
John C. Shepherdson
rdf:langString
John
rdf:langString
Andrzej
rdf:langString
Shepherdson
rdf:langString
Mostowski
xsd:integer
1949
1953
rdf:langString
theorem 3
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
数理論理学におけるモストフスキ崩壊(潰し,収縮とも)補題とは、集合論の命題でアンジェイ・モストフスキの名に因む。
rdf:langString
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.
rdf:langString
在数理逻辑中，Mostowski 塌陷引理声称对任何结构 S，它带有良基关系 R 使得对 S 的每个元素 x 有 {y : y R x} 是集合，并且使得 R 满足外延性，则存在一个传递类 C(可能是真类)，它在成员关系下的结构同构于 S。这个同构映射 S 的每个元素 x 到 S 的有着 y R x 的元素 y 的像的集合。它得名于（Andrzej Mostowski)。
xsd:nonNegativeInteger
4667