Ramified analysis and the minimal β-models of higher order arithmetics Zygmunt Vetulani (1984) Fundamenta Mathematicae
Reduced products of infinite forcing systems. Grulović, Milan Z. (2002) Novi Sad Journal of Mathematics
Results on automorphisms of recursively saturated models of PA Roman Kossak, Henryk Kotlarski (1988) Fundamenta Mathematicae