Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

A New Proof of Tanaka's T… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

A New Proof of Tanaka's Theorem

Paper i proceeding
Författare Ali Enayat
Publicerad i New Studies in Weak Arithmetics. Patrick Cégielski, Charalampos Cornaros, and Costas Dimitracopoulos (eds.). CSLI Lectures Notes, No.211
Sidor 93-102
ISBN 9781575867236
Publiceringsår 2013
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 93-102
Språk en
Länkar https://gup.ub.gu.se/file/167548
Ämnesord Self-embedding, nonstandard models of arithmetic
Ämneskategorier Matematisk logik, Logik

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?