“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
Paper IPM / M / 16022  


Abstract:  
Tanaka (1997) proved a powerful generalization of Friedmanâs selfembedding theorem that states that given a countable nonstandard
model (M;A) of the subsystem WKL0 of second order arithmetic,
and any element m of M, there is a selfembedding j of (M;A) onto
a proper initial segment of itself such that j fixes every predecessor of
m.
Download TeX format 

back to top 