Zofia Adamowicz

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Existentially Closed Models in the Framework of Arithmetic.
J. Symb. Log., 2016

2012
Truth definitions without exponentiation and the Σ₁ collection scheme.
J. Symb. Log., 2012

2010
A note on the Sigma<sub>1</sub> collection scheme and fragments of bounded arithmetic.
Math. Log. Q., 2010

2007
Partial collapses of the Sigma<sub>1</sub> complexity hierarchy in models for fragments of bounded arithmetic.
Ann. Pure Appl. Log., 2007

2004
Well-behaved principles alternative to bounded induction.
Theor. Comput. Sci., 2004

Editorial.
Ann. Pure Appl. Log., 2004

2003
On complexity reduction of Sigma<sub>1</sub> formulas.
Arch. Math. Log., 2003

2001
Existentially Closed Structures and Gödel's Second Incompleteness Theorem.
J. Symb. Log., 2001

On Herbrand consistency in weak arithmetic.
Arch. Math. Log., 2001

1993
A Contribution to the End-Extension Problem and the Pi<sub>1</sub> Conservativeness Problem.
Ann. Pure Appl. Log., 1993

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

1991
On A Problem Concerning Parameter Free Induction.
Math. Log. Q., 1991

On Maximal Theories.
J. Symb. Log., 1991

1988
A Note on BΣ<sub><i>n</i></sub> and an Intermediate Induction Schema.
Math. Log. Q., 1988

1987
Open Induction and the True Theory of Rationals.
J. Symb. Log., 1987

1985
A Recursive Model for Arithmetic with Weak Induction.
J. Symb. Log., 1985

1977
On Finite Lattices of Degrees of Constructibility.
J. Symb. Log., 1977

1976
On Finite Lattices of Degrees of Constructibility of Reals.
J. Symb. Log., 1976

One More Aspect of Forcing and Omitting Types.
J. Symb. Log., 1976


  Loading...