Games for truth

Research output: Contribution to journalArticle (Academic Journal)

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.
Translated title of the contributionGames for truth
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