Projects per year
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 language | English |
---|---|
Pages (from-to) | 410 - 427 |
Number of pages | 18 |
Journal | Bulletin of Symbolic Logic |
Volume | 15, number 4 |
DOIs | |
Publication status | Published - Dec 2009 |
Fingerprint
Dive into the research topics of 'Games for truth'. Together they form a unique fingerprint.Projects
- 1 Finished
-
AN ANALYSIS OF SPECTOR CLASSES ASSOCIATED WITH QUASI-INDUCTIVE DEFINITIONS
Welch, P. D. (Principal Investigator)
1/10/08 → 1/10/09
Project: Research