Models of the Weak König Lemma

DOI Web Site 参考文献14件
  • WONG Tin Lok
    Kurt Gödel Research Center for Mathematical Logic, University of Vienna

書誌事項

公開日
2017
DOI
  • 10.4288/jafpos.25.0_25
公開者
科学基礎論学会

この論文をさがす

説明

<p> This paper surveys the model-theoretic aspects of two topics initiated by Kazuyuki Tanaka related to the Weak König Lemma: self-embedding, and conservativity for sentences of the form ∀X ∃!Y θ(X,Y), where θ(X,Y) is an arithmetical formula. It includes a few recent developments and proof sketches. </p>

収録刊行物

参考文献 (14)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ