Iterations of Satisfaction Classes and Models of Peano Arithmetic

Roman Murawski. Iterations of Satisfaction Classes and Models of Peano Arithmetic. Math. Log. Q., 38(1):59-84, 1992. [doi]

Abstract

Abstract is missing.