Till sidans topp

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

Tipsa en vän
Utskriftsversion

Transplendent models : Ex… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Transplendent models : Expansions omitting a type

Artikel i vetenskaplig tidskrift
Författare Fredrik Engström
Richard W. Kaye
Publicerad i Notre Dame Journal of Formal Logic
Volym 53
Nummer/häfte 3
Sidor 413-428
ISSN 0029-4527
Publiceringsår 2012
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 413-428
Språk en
Länkar engstrom.morot.org/material/transpl...
Ämnesord models of arithmetic; resplendent models; standard cut; satisfaction classes
Ämneskategorier Logik, Matematisk logik

Sammanfattning

We expand the notion of resplendency to theories of the kind T + p, where T is a first-order theory and p expresses that the type p is omitted. We investigate two different formulations and prove necessary and suffcient conditions for countable recursively saturated models of PA. Some of the results in this paper can be found in one of the author's doctoral thesis.

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?