Games for truth

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

14 Citations (Scopus)


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.
Translated title of the contributionGames for truth
Original languageEnglish
Pages (from-to)410 - 427
Number of pages18
JournalBulletin of Symbolic Logic
Volume15, number 4
Publication statusPublished - Dec 2009


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

Cite this