article
A Model-Theoretic Proof of Gödel's Theorem : Kripke's Notion of Fulfilment
Research footprint
At a glance
- الاستشهادات
- 0
- المراجع
- 0
- Comments
- 0
Paper overview
Abstract
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. ...
Record transparency
Publication details
- OpenAlex
- W2810321050
- Document type
- article
- Language
- EN
- Last metadata update
Comments
تسجيل الدخول للانضمام إلى النقاش.