TY - JOUR
T1 - The self-embedding theorem of WKL0 and a non-standard method
AU - Tanaka, Kazuyuki
N1 - Copyright:
Copyright 2017 Elsevier B.V., All rights reserved.
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 -