A New Proof of Tanaka's Theorem

• We give a new proof of a theorem of Kazuyuki Tanaka, which states that every countable nonstandard model of WKL_0 has a self-embedding onto a proper initial segment of itself.

Ämnesord

HUMANIORA  -- Filosofi, etik och religion -- Filosofi (hsv//swe)

HUMANITIES  -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)

NATURVETENSKAP  -- Matematik -- Algebra och logik (hsv//swe)

NATURAL SCIENCES  -- Mathematics -- Algebra and Logic (hsv//eng)

Nyckelord

Self-embedding

nonstandard models of arithmetic

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)