This HTML5 document contains 66 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n10http://www.math.uwaterloo.ca/~snburris/htdocs/WWW/PDF/
dcthttp://purl.org/dc/terms/
template-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n9http://www.math.uwaterloo.ca/~snburris/htdocs/LOGIC/LOGICIANS/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n6http://ja.dbpedia.org/resource/Category:
n8http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
n12http://www.math.psu.edu/simpson/notes/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q1068283
owl:sameAs
dbpedia-ja:レーヴェンハイム–スコーレムの定理
Subject Item
dbpedia-ja:エルブラン化
dbo:wikiPageWikiLink
dbpedia-ja:レーヴェンハイム–スコーレムの定理
Subject Item
dbpedia-ja:トアルフ・スコーレム
dbo:wikiPageWikiLink
dbpedia-ja:レーヴェンハイム–スコーレムの定理
Subject Item
dbpedia-ja:レーヴェンハイム–スコーレムの定理
rdfs:label
レーヴェンハイム–スコーレムの定理
rdfs:comment
レーヴェンハイム–スコーレムの定理(英: Löwenheim–Skolem theorem)とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。
dct:subject
n6:数学に関する記事 n6:モデル理論 n6:数学基礎論の定理 n6:メタ定理 n6:トアルフ・スコーレム n6:数学のエポニム
dbo:wikiPageID
1558349
dbo:wikiPageRevisionID
91214461
dbo:wikiPageWikiLink
n6:トアルフ・スコーレム dbpedia-ja:ゲーデルの不完全性定理 dbpedia-ja:ゲーデルの完全性定理 n6:モデル理論 dbpedia-ja:数理論理学 dbpedia-ja:一階述語論理 dbpedia-ja:ペアノの公理 n6:数学基礎論の定理 dbpedia-ja:トアルフ・スコーレム dbpedia-ja:モデル理論 dbpedia-ja:Alex_Sakharov dbpedia-ja:コンパクト性定理 dbpedia-ja:選択公理 dbpedia-ja:絶対的 n6:メタ定理 n6:数学に関する記事 dbpedia-ja:スコーレム標準形 dbpedia-ja:アルフレト・タルスキ n6:数学のエポニム dbpedia-ja:Eric_W._Weisstein dbpedia-ja:アリティ dbpedia-ja:実閉体 dbpedia-ja:オズワルド・ヴェブレン dbpedia-ja:濃度_(数学) dbpedia-ja:論理的帰結 dbpedia-ja:スコーレムのパラドックス dbpedia-ja:初等部分構造
dbo:wikiPageExternalLink
n9:notes2.pdf n10:downward.pdf n12:master.pdf
prop-en:wikiPageUsesTemplate
template-en:Citation template-en:Google_books template-en:Harvtxt template-en:Metalogic template-en:Lang-en-short template-en:Logic template-en:Mathworld template-en:Reflist template-en:仮リンク
prop-en:author
Sakharov, Alex and Weisstein, Eric W.
prop-en:id
Loewenheim-SkolemTheorem
prop-en:title
Löwenheim-Skolem Theorem
dbo:abstract
レーヴェンハイム–スコーレムの定理(英: Löwenheim–Skolem theorem)とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。
dbo:wikiPageLength
9536
prov:wasDerivedFrom
n8:レーヴェンハイム–スコーレムの定理?oldid=91214461&ns=0
foaf:isPrimaryTopicOf
n8:レーヴェンハイム–スコーレムの定理
Subject Item
dbpedia-ja:レーヴェンハイム-スコーレムの定理
dbo:wikiPageWikiLink
dbpedia-ja:レーヴェンハイム–スコーレムの定理
dbo:wikiPageRedirects
dbpedia-ja:レーヴェンハイム–スコーレムの定理
Subject Item
dbpedia-ja:レーヴェンハイム・スコーレムの定理
dbo:wikiPageWikiLink
dbpedia-ja:レーヴェンハイム–スコーレムの定理
dbo:wikiPageRedirects
dbpedia-ja:レーヴェンハイム–スコーレムの定理
Subject Item
dbpedia-ja:レーヴェンハイム=スコーレムの定理
dbo:wikiPageWikiLink
dbpedia-ja:レーヴェンハイム–スコーレムの定理
dbo:wikiPageRedirects
dbpedia-ja:レーヴェンハイム–スコーレムの定理
Subject Item
n8:レーヴェンハイム–スコーレムの定理
foaf:primaryTopic
dbpedia-ja:レーヴェンハイム–スコーレムの定理