Till sidans topp

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

Tipsa en vän
Utskriftsversion

Fixed points of self-embe… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Fixed points of self-embeddings of models of arithmetic

Artikel i vetenskaplig tidskrift
Författare Saeideh Bahrami
Ali Enayat
Publicerad i Annals of Pure and Applied Logic
Volym 169
Nummer/häfte 6
Sidor 487-513
ISSN 0168-0072
Publiceringsår 2018
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 487-513
Språk en
Länkar front.math.ucdavis.edu/1703.02588
https://doi.org/10.1016/j.apal.2018...
Ämnesord Peano Arithmetic, Nonstandard model, Self-embedding, Fixed point, Strong cut
Ämneskategorier Logik, Algebra och logik

Sammanfattning

We investigate the structure of fixed point sets of self-embeddings of models of arithmetic. In particular, given a countable nonstandard model M of a modest fragment of Peano arithimetic, we provide complete characterizations of (a) the initial segments of M that can be realized as the longest initial segment of fixed points of a nontrivial self-embedding of M onto a proper initial segment of M; and (b) the initial segments of M that can be realized as the fixed point set of some nontrivial self-embedding of M onto a proper initial segment of M. Moreover, we demonstrate the the standard cut is strong in M iff there is a self-embedding of M onto a proper initial segment of itself that moves every element that is not definable in M by an existential formula.

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?

Denna text är utskriven från följande webbsida:
http://www.gu.se/forskning/publikation/?languageId=100000&disableRedirect=true&returnUrl=http%3A%2F%2Fwww.gu.se%2Fenglish%2Fresearch%2Fpublication%2F%3FpublicationId%3D264054&publicationId=264054
Utskriftsdatum: 2019-12-12