The self-embedding theorem of WKL0 and a non-standard method

研究成果: Article査読

16 被引用数 (Scopus)

抄録

We prove that every countable non-standard model of WKL0 has a proper initial part isomorphic to itself. This theorem enables us to carry out non-standard arguments over WKL0.

本文言語English
ページ(範囲)41-49
ページ数9
ジャーナルAnnals of Pure and Applied Logic
84
1
DOI
出版ステータスPublished - 1997 3 6

ASJC Scopus subject areas

  • Logic

フィンガープリント 「The self-embedding theorem of WKL<sub>0</sub> and a non-standard method」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル