Revision without ordinals

Abstract

We show that Herzberger’s and Gupta’s revision theories of truth can be recast in purely inductive terms, without any appeal neither to the transfinite ordinal numbers nor to the axiom of Choice. The result is presented in an abstract and general setting, emphasising both its validity for a wide range of revision-theoretic constructions and its independence from truth-theoretic assumptions.