2003 |
4 | EE | Teresa Bigorajska:
Strongly maximal subgroups determined by elements in interstices.
Math. Log. Q. 49(1): 101-108 (2003) |
2001 |
3 | | Zofia Adamowicz,
Teresa Bigorajska:
Existentially Closed Structures and Gödel's Second Incompleteness Theorem.
J. Symb. Log. 66(1): 349-356 (2001) |
1995 |
2 | | Teresa Bigorajska:
On Sigma1-definable Functions Provably Total in I-Pi1-.
Math. Log. Q. 41: 135-137 (1995) |
1994 |
1 | | Teresa Bigorajska:
Universal Induction and True Universal Arithmetic.
Math. Log. Q. 40: 103-105 (1994) |