December 2009 Games for truth
P. D. Welch
Bull. Symbolic Logic 15(4): 410-427 (December 2009). DOI: 10.2178/bsl/1255526080

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 $\Sigma_{0}^{3}$.

Citation

Download Citation

P. D. Welch. "Games for truth." Bull. Symbolic Logic 15 (4) 410 - 427, December 2009. https://doi.org/10.2178/bsl/1255526080

Information

Published: December 2009
First available in Project Euclid: 14 October 2009

zbMATH: 1193.03011
MathSciNet: MR2723558
Digital Object Identifier: 10.2178/bsl/1255526080

Keywords: determinacy , games , Theory of truth

Rights: Copyright © 2009 Association for Symbolic Logic

JOURNAL ARTICLE
18 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.15 • No. 4 • December 2009
Back to Top