Mattias Granberg Olsson

A Model-Theoretic Proof of Gödel's Theorem : Kripke's Notion of Fulfilment

2017

The notion of fulfilment of a formula by a sequence of numbers, an approximation of truth due to Kripke, is presented and subsequently formalised in the weak arithmetic theory IΣ1, in some detail. ...