Universal Induction and True Universal Arithmetic. - Teresa Bigorajska (Math. Log. Q., 1994)

On Sigma1-definable Functions Provably Total in I-Pi1-. - Teresa Bigorajska (Math. Log. Q., 1995)

Existentially Closed Structures and Gödel's Second Incompleteness Theorem. - Zofia Adamowicz; Teresa Bigorajska (J. Symb. Log., 2001)

Strongly maximal subgroups determined by elements in interstices. - Teresa Bigorajska (Math. Log. Q., 2003)