Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02772522n
Noun Named Entity
Categories: トアルフ・スコーレム, モデル理論, エポニム, 数学基礎論の定理, 数学に関する記事
JA
レーヴェンハイム-スコーレムの定理  レーヴェンハイム–スコーレムの定理  レーヴェンハイム・スコーレムの定理  レーヴェンハイム＝スコーレムの定理  レーヴェンハイム·スコの定理
JA
レーヴェンハイム–スコーレムの定理（英: Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。 Wikipedia
Definitions
Relations
Sources
JA
レーヴェンハイム–スコーレムの定理（英: Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。 Wikipedia
IS A
定理
PART OF
数理論理学
モデル理論
NAMED AFTER
トアルフ・スコーレム
Leopold löwenheim
Wikipedia
JA
レーヴェンハイム–スコーレムの定理
Wikidata
JA
レーヴェンハイム-スコーレムの定理
Wikipedia Redirections
JA
レーヴェンハイム-スコーレムの定理, レーヴェンハイム・スコーレムの定理, レーヴェンハイム＝スコーレムの定理
Wikidata Alias
JA
レーヴェンハイム・スコーレムの定理, レーヴェンハイム＝スコーレムの定理
Wikipedia Translations
JA
レーヴェンハイム·スコの定理

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License