Games for truth

PD Welch

doi:10.2178/bsl/1255526080

Games for truth

PD Welch

Research output: Contribution to journal › Article (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 language	English
Pages (from-to)	410 - 427
Number of pages	18
Journal	Bulletin of Symbolic Logic
Volume	15, number 4
DOIs	https://doi.org/10.2178/bsl/1255526080
Publication status	Published - Dec 2009

Access to Document

10.2178/bsl/1255526080

http://projecteuclid.org/euclid.bsl/1255526080

Handle.net

Persistent link

AN ANALYSIS OF SPECTOR CLASSES ASSOCIATED WITH QUASI-INDUCTIVE DEFINITIONS
Welch, P. D. (Principal Investigator)
1/10/08 → 1/10/09
Project: Research

Cite this

@article{ac069f6eb4f5414389ce8c99db0a97d4,

title = "Games for truth",

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.",

author = "PD Welch",

year = "2009",

month = dec,

doi = "10.2178/bsl/1255526080",

language = "English",

volume = "15, number 4",

pages = "410 -- 427",

journal = "Bulletin of Symbolic Logic",

issn = "1079-8986",

publisher = "Association for Symbolic Logic",

}

TY - JOUR

T1 - Games for truth

AU - Welch, PD

PY - 2009/12

Y1 - 2009/12

N2 - 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.

AB - 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.

U2 - 10.2178/bsl/1255526080

DO - 10.2178/bsl/1255526080

M3 - Article (Academic Journal)

SN - 1079-8986

VL - 15, number 4

SP - 410

EP - 427

JO - Bulletin of Symbolic Logic

JF - Bulletin of Symbolic Logic

ER -

Games for truth

Abstract

Access to Document

Handle.net

Fingerprint

Projects

AN ANALYSIS OF SPECTOR CLASSES ASSOCIATED WITH QUASI-INDUCTIVE DEFINITIONS

Cite this