Sato, Kentaro; Walker, Jan (2023). Finitist Axiomatic Truth. The journal of symbolic logic, 88(1), pp. 22-73. Cambridge University Press 10.1017/jsl.2022.65
