Roman Murawski. Iterations of Satisfaction Classes and Models of Peano Arithmetic. Math. Log. Q., 38(1):59-84, 1992. [doi]
@article{Murawski92, title = {Iterations of Satisfaction Classes and Models of Peano Arithmetic}, author = {Roman Murawski}, year = {1992}, doi = {10.1002/malq.19920380106}, url = {http://dx.doi.org/10.1002/malq.19920380106}, researchr = {https://researchr.org/publication/Murawski92}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {38}, number = {1}, pages = {59-84}, }