## Weak theories of truth and explicit mathematics. Submitted for publication. 19

by
Sebastian Eberhard
,
Thomas Strahm

Citations: | 2 - 2 self |

### BibTeX

@MISC{Eberhard_weaktheories,

author = {Sebastian Eberhard and Thomas Strahm},

title = {Weak theories of truth and explicit mathematics. Submitted for publication. 19},

year = {}

}

### OpenURL

### Abstract

We study weak theories of truth over combinatory logic and their relationship to weak systems of explicit mathematics. In particular, we consider two truth theories TPR and TPT of primitive recursive and feasible strength. The latter theory is a novel abstract truth-theoretic setting which is able to interpret expressive feasible subsystems of explicit mathematics. 1