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

Kazuyuki Tanaka

doi:10.1016/S0168-0072(95)00058-5

The self-embedding theorem of WKL₀ and a non-standard method

Kazuyuki Tanaka

SCI - Mathematics

Research output: Contribution to journal › Article › peer-review

16 Citations (Scopus)

Abstract

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

Original language	English
Pages (from-to)	41-49
Number of pages	9
Journal	Annals of Pure and Applied Logic
Volume	84
Issue number	1
DOIs	https://doi.org/10.1016/S0168-0072(95)00058-5
Publication status	Published - 1997 Mar 6

ASJC Scopus subject areas

Logic

Access to Document

10.1016/S0168-0072(95)00058-5

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

@article{aad081a3fbf24f06afac9f5663a175fa,

title = "The self-embedding theorem of WKL0 and a non-standard method",

abstract = "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.",

author = "Kazuyuki Tanaka",

year = "1997",

month = mar,

day = "6",

doi = "10.1016/S0168-0072(95)00058-5",

language = "English",

volume = "84",

pages = "41--49",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

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

AU - Tanaka, Kazuyuki

PY - 1997/3/6

Y1 - 1997/3/6

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0031555815&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031555815&partnerID=8YFLogxK

U2 - 10.1016/S0168-0072(95)00058-5

DO - 10.1016/S0168-0072(95)00058-5

M3 - Article

AN - SCOPUS:0031555815

VL - 84

SP - 41

EP - 49

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 1

ER -