| 2007 |
|---|
| 14 | EE | Zofia Adamowicz,
Leszek Aleksander Kolodziejczyk:
Partial collapses of the Sigma1 complexity hierarchy in models for fragments of bounded arithmetic.
Ann. Pure Appl. Logic 145(1): 91-95 (2007) |
| 2004 |
|---|
| 13 | EE | Zofia Adamowicz,
Sergei N. Artëmov,
Damian Niwinski,
Ewa Orlowska,
Anna B. Romanowska,
Jan Wolenski:
Editorial.
Ann. Pure Appl. Logic 126(1-3): 3-4 (2004) |
| 12 | EE | Zofia Adamowicz,
Leszek Aleksander Kolodziejczyk:
Well-behaved principles alternative to bounded induction.
Theor. Comput. Sci. 322(1): 5-16 (2004) |
| 2003 |
|---|
| 11 | EE | Zofia Adamowicz,
Pawel Zbierski:
On complexity reduction of Sigma1 formulas.
Arch. Math. Log. 42(1): 45-58 (2003) |
| 2001 |
|---|
| 10 | EE | Zofia Adamowicz,
Pawel Zbierski:
On Herbrand consistency in weak arithmetic.
Arch. Math. Log. 40(6): 399-413 (2001) |
| 9 | | Zofia Adamowicz,
Teresa Bigorajska:
Existentially Closed Structures and Gödel's Second Incompleteness Theorem.
J. Symb. Log. 66(1): 349-356 (2001) |
| 1993 |
|---|
| 8 | | Zofia Adamowicz:
A Contribution to the End-Extension Problem and the Pi1 Conservativeness Problem.
Ann. Pure Appl. Logic 61(1-2): 3-48 (1993) |
| 1992 |
|---|
| 7 | | Zofia Adamowicz:
A Sharp Version of the Bounded Matijasevich Conjecture and the End-Extension Problem.
J. Symb. Log. 57(2): 597-616 (1992) |
| 1991 |
|---|
| 6 | | Zofia Adamowicz:
On Maximal Theories.
J. Symb. Log. 56(3): 885-890 (1991) |
| 1987 |
|---|
| 5 | | Zofia Adamowicz:
Open Induction and the True Theory of Rationals.
J. Symb. Log. 52(3): 793-801 (1987) |
| 1985 |
|---|
| 4 | | Zofia Adamowicz,
Guillermo Morales-Luna:
A Recursive Model for Arithmetic with Weak Induction.
J. Symb. Log. 50(1): 49-54 (1985) |
| 1977 |
|---|
| 3 | | Zofia Adamowicz:
On Finite Lattices of Degrees of Constructibility.
J. Symb. Log. 42(3): 349-371 (1977) |
| 1976 |
|---|
| 2 | | Zofia Adamowicz:
One More Aspect of Forcing and Omitting Types.
J. Symb. Log. 41(1): 73-80 (1976) |
| 1 | | Zofia Adamowicz:
On Finite Lattices of Degrees of Constructibility of Reals.
J. Symb. Log. 41(2): 313-322 (1976) |
