Till sidans topp

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

Tipsa en vän
Utskriftsversion

Flexibility in Fragments … - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Flexibility in Fragments of Peano Arithmetic

Kapitel i bok
Författare Rasmus Blanck
Publicerad i Studies in Weak Arithmetics, Volume 3/ eds. Patrick Cégielski, Ali Enayat, Roman Kossak
Sidor 1-20
ISBN 978-1-57586-953-7
Förlag CSLI Publications
Förlagsort Stanford
Publiceringsår 2016
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 1-20
Språk en
Ämnesord arithmetic, incompleteness, flexible formulae, independent formulae
Ämneskategorier Logik, Matematisk logik

Sammanfattning

This paper concerns flexible formulae of arithmetic: formulae whose "extensions as sets are left undetermined by the formal system". Formally, this means that a formula γ(x) is flexible for a class of formulae X if, for each ξ(x) ϵ X, the theory T + ∀x(γ(x) ↔ ξ(x)) is consistent. We compare different kinds of flexibility results, and gauge the amount of induction needed for their proofs. By formalising these arguments, we are also able to derive their model-theoretic counterparts, assuring the existence of certain kinds of end-extensions of models of fragments of Peano arithmetic.

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?