「一階の理論」を解説文に含む見出し語の検索結果(1～10/33件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/07/23 00:04 UTC 版)「p進閉体」の記事における「一階の理論」の解説p-進閉体に関する一階の理論は完全（英語版...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:10 UTC 版)「決定可能性」の記事における「決定可能な理論の例」の解説決定可能な理論を以下に挙げる。 ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:10 UTC 版)「決定可能性」の記事における「決定不能な理論の例」の解説決定不能な理論を以下に挙げる 一...
決定可能（けっていかのう、英: decidable）は、数理論理学または現代論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定...
決定可能（けっていかのう、英: decidable）は、数理論理学または現代論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定...
決定可能（けっていかのう、英: decidable）は、数理論理学または現代論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/30 05:51 UTC 版)「レーヴェンハイム–スコーレムの定理」の記事における「例と帰結」の解説自然数を N、実数...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:10 UTC 版)「決定可能性」の記事における「理論の決定可能性」の解説理論は論理式の集合であり、論理的帰...
レーヴェンハイム-スコーレムの定理（Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論...
数学における p-進閉体（pしんへいたい、英: p-adically closed field）は、ちょうど形式的に実な体が実閉（英語版）であることの p-進的な対応物として、適当な拡大性質で閉じてい...
< 前の結果 | 次の結果 >