뢰벤하임-스콜렘 정리(Löwenheim - Skolem theorem, -定理)는 수리논리학의 정리로, 독일 수리논리학자 레오폴트 뢰벤하임(Leopold Löwenheim)과 노르웨이 수리논리학자 토랄프 스콜렘(Thoralf Skolem)의 이름이 붙어 있다. 1915년 처음 제출되었다.

PropertyValue
dbpedia-owl:abstract
  • 뢰벤하임-스콜렘 정리(Löwenheim - Skolem theorem, -定理)는 수리논리학의 정리로, 독일 수리논리학자 레오폴트 뢰벤하임(Leopold Löwenheim)과 노르웨이 수리논리학자 토랄프 스콜렘(Thoralf Skolem)의 이름이 붙어 있다. 1915년 처음 제출되었다.
  • 모형 이론에서, 뢰벤하임-스콜렘 정리(Löwenheim-Skolem定理, 영어: Löwenheim–Skolem theorem)는 논리적 언어의 특정한 크기를 갖는 모형의 존재에 대한 정리다. 1차 논리의 중요한 특성 가운데 하나이다.
dbpedia-owl:wikiPageID
  • 577659 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1755 (xsd:integer)
  • 6437 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 24 (xsd:integer)
  • 35 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 10438170 (xsd:integer)
  • 14195091 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-ko:doi
  • 10.101600 (xsd:double)
  • 10.230700 (xsd:double)
prop-ko:id
  • Loewenheim-SkolemTheorem
  • SkolemParadox
prop-ko:isbn
  • 978 (xsd:integer)
prop-ko:jstor
  • 421203 (xsd:integer)
prop-ko:mr
  • 1782347 (xsd:integer)
prop-ko:title
  • Löwenheim-Skolem theorem
  • Skolem paradox
prop-ko:url
  • http://ncatlab.org/nlab/show/Skolem's+paradox
  • http://plato.stanford.edu/entries/paradox-skolem/
  • http://legacy.earlham.edu/~peters/courses/logsys/low-skol.htm
  • http://ncatlab.org/nlab/show/Löwenheim-Skolem+theorem
prop-ko:wikiPageUsesTemplate
prop-ko:zbl
  • 976.030020 (xsd:double)
  • 1107.030010 (xsd:double)
prop-ko:공저자
  • Heinz-Dieter Ebbinghaus
prop-ko:날짜
  • 2002 (xsd:integer)
  • 2007 (xsd:integer)
  • 2014-11-11 (xsd:date)
prop-ko:성
  • Ebbinghaus
  • Bays
  • Suber
  • Van Dalen
prop-ko:언어
  • en
prop-ko:언어고리
  • en
  • en
prop-ko:이름
  • Peter
  • Timothy
  • Dirk
  • Heinz-Dieter
prop-ko:작품명
  • Stanford Encyclopedia of Philosophy
  • nLab
prop-ko:장
  • Löwenheim-Skolem theorems
  • The Mathematics of Skolem’s Paradox
prop-ko:장url
  • https://www3.nd.edu/~tbays/papers/spmath.pdf
prop-ko:저널
  • The Bulletin of Symbolic Logic
prop-ko:제목
  • Löwenheim-Skolem theorem
  • Philosophy of logic
  • Skolem's paradox
  • Skolem’s paradox
  • The Löwenheim-Skolem theorem
  • Zermelo and the Skolem paradox
prop-ko:쪽
  • 145 (xsd:integer)
  • 587 (xsd:integer)
  • 615 (xsd:integer)
prop-ko:총서
  • Handbook of the Philosophy of Science
prop-ko:출판사
  • North-Holland
prop-ko:편집자
  • Dale Jacquette
dcterms:subject
rdfs:comment
  • 뢰벤하임-스콜렘 정리(Löwenheim - Skolem theorem, -定理)는 수리논리학의 정리로, 독일 수리논리학자 레오폴트 뢰벤하임(Leopold Löwenheim)과 노르웨이 수리논리학자 토랄프 스콜렘(Thoralf Skolem)의 이름이 붙어 있다. 1915년 처음 제출되었다.
  • 모형 이론에서, 뢰벤하임-스콜렘 정리(Löwenheim-Skolem定理, 영어: Löwenheim–Skolem theorem)는 논리적 언어의 특정한 크기를 갖는 모형의 존재에 대한 정리다. 1차 논리의 중요한 특성 가운데 하나이다.
rdfs:label
  • 뢰벤하임-스콜렘 정리
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is prop-ko:knownFor of
is foaf:primaryTopic of