Zofia Adamowicz, professor
Ph. D.: Univ. Warsaw 1975, habilitation: IM PAN 1981
My field of research is Foundations of Arithmetic. I am interested in
independence questions concerning fragments of Peano Arithmetic, mainly
concerning Bounded Arithmetic and the Bounded Matiayasevič Conjecture.
Selected Publications:

with
Paweł Zbierski
Logic of mathematics.
A modern course of classical logic.
Pure and Applied Mathematics.
A WileyInterscience Publication.
John Wiley & Sons, Inc., New York,
1997. x+260 pp. ISBN: 0471060267
 Endextending models of IΔ_{0}+exp+ BΣ_{1}.
Fund. Math.
136,
no. 3,
133145, 1990.

On maximal theories.
J. Symbolic Logic
56,
no. 3,
885890, 1991.

A sharp version of the bounded Matijasevich conjecture and the endextension problem.
J. Symbolic Logic
57(2),
597616, 1992.
 A contribution to the endextension problem and the Π_{1}
conservativeness problem, Ann. Pure Appl. Logic 61, pp. 348, 1993.

The power of exponentiation in arithmetic.
First European Congress of Mathematics, Vol. I (Paris, 1992),
Progr. Math., 119,
Birkhäuser, Basel, 1994.
 Existentially Closed Structures and Gödel's Second Incompleteness Theorem (with T. Bigorajska), J. Symb. Log, 66(1), pp. 349356, 2001.

On Herbrand consistency in weak arithmetic (with P. Zbierski),
Arch. Math. Logic, 40(6), pp. 399413, 2001
 Herbrand Consistency and Bounded Arithmetic, Fundamenta Mathematica, 171, pp. 279292, 2002, dvi file

On complexity reduction of Σ_{1} formulas (with P.
Zbierski), Arch.
Math. Logic 42(1), pp. 4558, 2003.
 Wellbehaved principles alternative to bounded induction (with L. A. Kołodziejczyk), Theor. Comput. Sci. 322(1), pp. 516, 2004, pdf file.
 Partial collapses of the Sigma_{1} complexity hierarchy in models for fragments of bounded arithmetic (with L. A. Kołodziejczyk and P. Zbierski), Ann. Pure Appl. Logic, 145(1), pp. 9195, 2007, pdf file.
 Lower bounds for the unprovability of Herbrand consistency in weak arithmetics (with K. Zdanowski), submitted, pdf file.
 Parameter free polynomial induction versus linear induction Zofia Adamowicz, pdf file.