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.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Mostowski-Kollaps (de)
- Lemme de contraction de Mostowski (fr)
- Lemma del collasso di Mostowski (it)
- モストフスキ崩壊補題 (ja)
- Mostowski collapse lemma (en)
- 모스토프스키 붕괴 보조정리 (ko)
- Kolaps Mostowskiego (pl)
- 莫斯托夫斯基塌陷引理 (zh)
|
| rdfs:comment
| - 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. (de)
- 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)
- 数理論理学におけるモストフスキ崩壊(潰し,収縮とも)補題とは、集合論の命題でアンジェイ・モストフスキの名に因む。 (ja)
- 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. (pl)
- 在数理逻辑中，Mostowski 塌陷引理声称对任何结构 S，它带有良基关系 R 使得对 S 的每个元素 x 有 {y : y R x} 是集合，并且使得 R 满足外延性，则存在一个传递类 C(可能是真类)，它在成员关系下的结构同构于 S。这个同构映射 S 的每个元素 x 到 S 的有着 y R x 的元素 y 的像的集合。它得名于（Andrzej Mostowski)。 (zh)
- 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. (fr)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| authorlink
| - Andrzej Mostowski (en)
- John C. Shepherdson (en)
|
| first
| |
| last
| - Shepherdson (en)
- Mostowski (en)
|
| year
| |
| loc
| |
| has 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. (de)
- 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)
- 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. (fr)
- 数理論理学におけるモストフスキ崩壊(潰し,収縮とも)補題とは、集合論の命題でアンジェイ・モストフスキの名に因む。 (ja)
- 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. (pl)
- 在数理逻辑中，Mostowski 塌陷引理声称对任何结构 S，它带有良基关系 R 使得对 S 的每个元素 x 有 {y : y R x} 是集合，并且使得 R 满足外延性，则存在一个传递类 C(可能是真类)，它在成员关系下的结构同构于 S。这个同构映射 S 的每个元素 x 到 S 的有着 y R x 的元素 y 的像的集合。它得名于（Andrzej Mostowski)。 (zh)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)