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

Research output: Contribution to journalArticlepeer-review

16 Citations (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.

Original languageEnglish
Pages (from-to)41-49
Number of pages9
JournalAnnals of Pure and Applied Logic
Issue number1
Publication statusPublished - 1997 Mar 6

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'The self-embedding theorem of WKL<sub>0</sub> and a non-standard method'. Together they form a unique fingerprint.

Cite this