Till sidans topp

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

Tipsa en vän
Utskriftsversion

Marginalia on a theorem o… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Marginalia on a theorem of Woodin

Artikel i vetenskaplig tidskrift
Författare Rasmus Blanck
Ali Enayat
Publicerad i Journal of Symbolic Logic
Volym 82
Nummer/häfte 1
Sidor 359-374
ISSN 0022-4812
Publiceringsår 2017
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 359-374
Språk en
Länkar https://doi.org/10.1017/jsl.2016.8
Ämnesord Turing machines, Peano arithmetic, nonstandard models, flexible predicates, Kolmogorov complexity.
Ämneskategorier Logik, Matematisk logik

Sammanfattning

Let ⟨Wn : n ∈ ω⟩ be a canonical enumeration of recursively enumerable sets, and suppose T is a recursively enumerable extension of PA (Peano Arithmetic) in the same language. Woodin (2011) showed that there exists an index e∈ω (that depends on T) with the property that if M is a countable model of T and for some M-finite set s, M satisfies We⊆s, then M has an end extension N that satisfies T + We=s. Here we generalize Woodin’s theorem to all recursively enumerable extensions T of the fragment IΣ1 of PA, and remove the countability restriction on M when T extends PA. We also derive model-theoretic consequences of a classic fixed-point construction of Kripke (1962) and compare them with Woodin’s theorem.

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?