Abstract | ||
---|---|---|
Some axiomatic theories of truth and related subsystems of second-order arithmetic are surveyed and shown to be conservative over their respective base theory. In particular, it is shown by purely finitistically means that the theory PA ÷ "there is a satisfaction class" and the theory FS? of [2] are conservative over PA. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1023/A:1005148426909 | Studia Logica |
Keywords | Field | DocType |
truth,satisfaction class,cut elimination | Coherence theory of truth,Axiom,Algorithm,Calculus,Mathematics | Journal |
Volume | Issue | ISSN |
62 | 3 | 1572-8730 |
Citations | PageRank | References |
8 | 1.12 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Volker Halbach | 1 | 87 | 10.29 |