A theory of formal truth arithmetically equivalent to ID1
Andrea Cantini · Journal of Symbolic Logic · 1990
Abstract We present a theory VF of partial truth over Peano arithmetic and we prove that VF and ID1, have the same arithmetical content. The semantics of VF is inspired by van Fraassen's notion of supervaluation.