Sökning: "T Hajek"

Hittade 1 avhandling innehållade orden T Hajek.

1. 1. Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility

   Författare :Rasmus Blanck; Göteborgs universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; arithmetic; incompleteness; flexibility; independence; non-standard models; partial conservativity; interpretability;

   Sammanfattning : This thesis concerns the incompleteness phenomenon of first-order arithmetic: no consistent, r.e. theory T can prove every true arithmetical sentence. The first incompleteness result is due to Gödel; classic generalisations are due to Rosser, Feferman, Mostowski, and Kripke. LÄS MER