On expandability of models of arithmetic and set theory to models of weak second-order theories Matt Kaufmann (1984) Fundamenta Mathematicae
On the relation of Σ -reducibility between admissible sets. Morozov, A.S. (2004) Sibirskij Matematicheskij Zhurnal
On Σ -subsets of naturals over abelian groups. Khisamiev, A.N. (2006) Sibirskij Matematicheskij Zhurnal