Satisfaction Classes and Combinatorial Sentences Independent From PA. - Zygmunt Ratajczyk (Math. Log. Q., 1982)

Inductive Full Satisfaction Classes. - Henryk Kotlarski; Zygmunt Ratajczyk (Ann. Pure Appl. Log., 1990)

More on induction in the language with a satisfaction class. - Henryk Kotlarski; Zygmunt Ratajczyk (Math. Log. Q., 1990)

Subsystems of True Arithmetic and Hierarchies of Functions. - Zygmunt Ratajczyk (Ann. Pure Appl. Log., 1993)