Zofia Adamowicz

19 papers Journal 19
YearRankTypeTitle / Venue / Authors
2016 J jnl
Existentially Closed Models in the Framework of Arithmetic.
J. Symb. Log.
Zofia Adamowicz, Andrés Cordón-Franco, Francisco Félix Lara Martín
2012 J jnl
Truth definitions without exponentiation and the Σ₁ collection scheme.
J. Symb. Log.
Zofia Adamowicz, Leszek Aleksander Kolodziejczyk, Jeff B. Paris
2010 J jnl
A note on the Sigma
Math. Log. Q.
Zofia Adamowicz, Leszek Aleksander Kolodziejczyk
2007 J jnl
Partial collapses of the Sigma
Ann. Pure Appl. Log.
Zofia Adamowicz, Leszek Aleksander Kolodziejczyk
2004 J jnl
Editorial.
Ann. Pure Appl. Log.
Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski
2004 J jnl
Well-behaved principles alternative to bounded induction.
Theor. Comput. Sci.
Zofia Adamowicz, Leszek Aleksander Kolodziejczyk
2003 J jnl
On complexity reduction of Sigma
Arch. Math. Log.
Zofia Adamowicz, Pawel Zbierski
2001 J jnl
Existentially Closed Structures and Gödel's Second Incompleteness Theorem.
J. Symb. Log.
Zofia Adamowicz, Teresa Bigorajska
2001 J jnl
On Herbrand consistency in weak arithmetic.
Arch. Math. Log.
Zofia Adamowicz, Pawel Zbierski
1993 J jnl
A Contribution to the End-Extension Problem and the Pi
Ann. Pure Appl. Log.
Zofia Adamowicz
1992 J jnl
A Sharp Version of the Bounded Matijasevich Conjecture and the End-Extension Problem.
J. Symb. Log.
Zofia Adamowicz
1991 J jnl
On A Problem Concerning Parameter Free Induction.
Math. Log. Q.
Zofia Adamowicz, Costas Dimitracopoulos
1991 J jnl
On Maximal Theories.
J. Symb. Log.
Zofia Adamowicz
1988 J jnl
A Note on BΣ
Math. Log. Q.
Zofia Adamowicz, Roman Kossak
1987 J jnl
Open Induction and the True Theory of Rationals.
J. Symb. Log.
Zofia Adamowicz
1985 J jnl
A Recursive Model for Arithmetic with Weak Induction.
J. Symb. Log.
Zofia Adamowicz, Guillermo Morales-Luna
1977 J jnl
On Finite Lattices of Degrees of Constructibility.
J. Symb. Log.
Zofia Adamowicz
1976 J jnl
On Finite Lattices of Degrees of Constructibility of Reals.
J. Symb. Log.
Zofia Adamowicz
1976 J jnl
One More Aspect of Forcing and Omitting Types.
J. Symb. Log.
Zofia Adamowicz