Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Unifying the model theory of first-order and second-order arithmetic via WKL*_0

Artikel i vetenskaplig tidskrift
Författare Ali Enayat
Tin Lok Wong
Publicerad i Annals of Pure and Applied Logic
Volym 30
Nummer/häfte 6
Sidor 1247-1283
ISSN 0168-0072
Publiceringsår 2017
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 1247-1283
Språk en
Länkar dx.doi.org/10.1016/j.apal.2016.12.0...
Ämnesord Nonstandard models, first order arithmetic, second order arithmetic
Ämneskategorier Algebra och logik, Matematik, Logik

Sammanfattning

We develop machinery to make the Arithmetized Completeness Theorem more effective in the study of many models of IΔ0+BΣ1+exp, including all countable ones, by passing on to the conservative extension View the MathML source of IΔ0+BΣ1+exp. Our detailed study of the model theory of View the MathML source leads to the simplification and improvement of many results in the model theory of Peano arithmetic and its fragments pertaining to the construction of various types of end extensions and initial segments.

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?