Weblio 辞書 > 辞書・百科事典 > レーヴェンハイム=スコーレムの定理の解説 > レーヴェンハイム=スコーレムの定理の全文検索
「レーヴェンハイム=スコーレムの定理」を解説文に含む見出し語の検索結果(11~20/235件中)

Jump to navigationJump to searchコンパクト性定理(英: Compactness theorem)とは、一階述語論理の文の集合がモデルを持つこと(充足可能であるこ...
Jump to navigationJump to searchコンパクト性定理(英: Compactness theorem)とは、一階述語論理の文の集合がモデルを持つこと(充足可能であるこ...
数理論理学の一分野であるモデル理論において、同じシグネチャ σ の2つの構造 M と N が同じ一階σ-文を満たすとき、M と N は初等的同値であるという。N が M の部分構造であるとき、さらに強...
数理論理学の一分野であるモデル理論において、同じシグネチャ σ の2つの構造 M と N が同じ一階σ-文を満たすとき、M と N は初等的同値であるという。N が M の部分構造であるとき、さらに強...
数理論理学の一分野であるモデル理論において、同じシグネチャ σ の2つの構造 M と N が同じ一階σ-文を満たすとき、M と N は初等的同値であるという。N が M の部分構造であるとき、さらに強...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/02 05:56 UTC 版)「ペアノの公理」の記事における「存在と一意性」の解説集合論における標準的な構成によって、...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「記号論理」の解説レオポルト・レーヴェンハイム(1915)と...
レーヴェンハイム–スコーレムの定理(英: Löwenheim–Skolem theorem)とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ...
レーヴェンハイム–スコーレムの定理(英: Löwenheim–Skolem theorem)とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS