Zofia Adamowicz

According to our database, Zofia Adamowicz authored at least 19 papers between 1976 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

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

2012

Truth definitions without exponentiation and the Σ₁ collection scheme.

Zofia Adamowicz, Leszek Aleksander Kolodziejczyk, Jeff B. Paris

J. Symb. Log., 2012

2010

A note on the Sigma₁ collection scheme and fragments of bounded arithmetic.

Zofia Adamowicz, Leszek Aleksander Kolodziejczyk

Math. Log. Q., 2010

2007

Partial collapses of the Sigma₁ complexity hierarchy in models for fragments of bounded arithmetic.

Zofia Adamowicz, Leszek Aleksander Kolodziejczyk

Ann. Pure Appl. Log., 2007

2004

Well-behaved principles alternative to bounded induction.

Zofia Adamowicz, Leszek Aleksander Kolodziejczyk

Theor. Comput. Sci., 2004

Editorial.

Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski

Ann. Pure Appl. Log., 2004

2003

On complexity reduction of Sigma₁ formulas.

Zofia Adamowicz, Pawel Zbierski

Arch. Math. Log., 2003

2001

Existentially Closed Structures and Gödel's Second Incompleteness Theorem.

Zofia Adamowicz, Teresa Bigorajska

J. Symb. Log., 2001

On Herbrand consistency in weak arithmetic.

Zofia Adamowicz, Pawel Zbierski

Arch. Math. Log., 2001

1993

A Contribution to the End-Extension Problem and the Pi₁ Conservativeness Problem.

Zofia Adamowicz

Ann. Pure Appl. Log., 1993

1992

A Sharp Version of the Bounded Matijasevich Conjecture and the End-Extension Problem.

Zofia Adamowicz

J. Symb. Log., 1992

1991

On A Problem Concerning Parameter Free Induction.

Zofia Adamowicz, Costas Dimitracopoulos

Math. Log. Q., 1991

On Maximal Theories.

Zofia Adamowicz

J. Symb. Log., 1991

1988

A Note on BΣ_<i>n</i> and an Intermediate Induction Schema.

Zofia Adamowicz, Roman Kossak

Math. Log. Q., 1988

1987

Open Induction and the True Theory of Rationals.

Zofia Adamowicz

J. Symb. Log., 1987

1985

A Recursive Model for Arithmetic with Weak Induction.

Zofia Adamowicz, Guillermo Morales-Luna

J. Symb. Log., 1985

1977

On Finite Lattices of Degrees of Constructibility.

Zofia Adamowicz

J. Symb. Log., 1977

1976

On Finite Lattices of Degrees of Constructibility of Reals.

Zofia Adamowicz

J. Symb. Log., 1976

One More Aspect of Forcing and Omitting Types.

Zofia Adamowicz

J. Symb. Log., 1976