Games for truth

Research output: Contribution to journalArticle (Academic Journal)peer-review

14 Citations (Scopus)

Abstract

We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all sentences for which a player has a winning strategy in an infinite two person game. The classifications of the games considered here are simple, those over the natural model of arithmetic being all within the arithmetical class of Σ03.
Original languageEnglish
Pages (from-to)410 - 427
Number of pages18
JournalBulletin of Symbolic Logic
Volume15, number 4
DOIs
Publication statusPublished - Dec 2009

Fingerprint

Dive into the research topics of 'Games for truth'. Together they form a unique fingerprint.

Cite this