“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 self-embedding 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 | |
