One More Aspect of Forcing and Omitting Types. - Zofia Adamowicz (J. Symb. Log., 1976)

On Finite Lattices of Degrees of Constructibility of Reals. - Zofia Adamowicz (J. Symb. Log., 1976)

On Finite Lattices of Degrees of Constructibility. - Zofia Adamowicz (J. Symb. Log., 1977)

A Recursive Model for Arithmetic with Weak Induction. - Zofia Adamowicz; Guillermo Morales-Luna (J. Symb. Log., 1985)

Open Induction and the True Theory of Rationals. - Zofia Adamowicz (J. Symb. Log., 1987)

A Note on BΣn and an Intermediate Induction Schema. - Zofia Adamowicz; Roman Kossak (Math. Log. Q., 1988)

On Maximal Theories. - Zofia Adamowicz (J. Symb. Log., 1991)

On A Problem Concerning Parameter Free Induction. - Zofia Adamowicz; Costas Dimitracopoulos (Math. Log. Q., 1991)

A Sharp Version of the Bounded Matijasevich Conjecture and the End-Extension Problem. - Zofia Adamowicz (J. Symb. Log., 1992)

A Contribution to the End-Extension Problem and the Pi1 Conservativeness Problem. - Zofia Adamowicz (Ann. Pure Appl. Log., 1993)

On Herbrand consistency in weak arithmetic. - Zofia Adamowicz; Pawel Zbierski (Arch. Math. Log., 2001)

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

On complexity reduction of Sigma1 formulas. - Zofia Adamowicz; Pawel Zbierski (Arch. Math. Log., 2003)

Editorial. - Zofia Adamowicz; Sergei N. Artëmov; Damian Niwinski; Ewa Orlowska; Anna B. Romanowska; Jan Wolenski (Ann. Pure Appl. Log., 2004)

Well-behaved principles alternative to bounded induction. - Zofia Adamowicz; Leszek Aleksander Kolodziejczyk (Theor. Comput. Sci., 2004)

Partial collapses of the Sigma1 complexity hierarchy in models for fragments of bounded arithmetic. - Zofia Adamowicz; Leszek Aleksander Kolodziejczyk (Ann. Pure Appl. Log., 2007)

A note on the Sigma1 collection scheme and fragments of bounded arithmetic. - Zofia Adamowicz; Leszek Aleksander Kolodziejczyk (Math. Log. Q., 2010)

Truth definitions without exponentiation and the Σ₁ collection scheme. - Zofia Adamowicz; Leszek Aleksander Kolodziejczyk; Jeff B. Paris (J. Symb. Log., 2012)

Existentially Closed Models in the Framework of Arithmetic. - Zofia Adamowicz; Andrés Cordón-Franco; Francisco Félix Lara Martín (J. Symb. Log., 2016)