Zofia Adamowicz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2016

Existentially Closed Models in the Framework of ArithmeticZofia Adamowicz, Andrés Cordón-Franco, Francisco Félix Lara Martín. JSYML, 81(2):774-788, 2016. [doi]

2012

Truth definitions without exponentiation and the Σ₁ collection schemeZofia Adamowicz, Leszek Aleksander Kolodziejczyk, Jeff Paris. JSYML, 77(2):649-655, 2012. [doi]

2010

A note on the Sigma::1:: collection scheme and fragments of bounded arithmeticZofia Adamowicz, Leszek Aleksander Kolodziejczyk. mlq, 56(2):126-130, 2010. [doi]

2007

Partial collapses of the Sigma::1:: complexity hierarchy in models for fragments of bounded arithmeticZofia Adamowicz, Leszek Aleksander Kolodziejczyk. APAL, 145(1):91-95, 2007. [doi]

2004

EditorialZofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski. APAL, 126(1-3):3-4, 2004. [doi]

Well-behaved principles alternative to bounded inductionZofia Adamowicz, Leszek Aleksander Kolodziejczyk. TCS, 322(1):5-16, 2004. [doi]

2003

On complexity reduction of Sigma::1:: formulasZofia Adamowicz, Pawel Zbierski. AML, 42(1):45-58, 2003. [doi]

2001

Existentially Closed Structures and Gödel s Second Incompleteness TheoremZofia Adamowicz, Teresa Bigorajska. JSYML, 66(1):349-356, 2001.

On Herbrand consistency in weak arithmeticZofia Adamowicz, Pawel Zbierski. AML, 40(6):399-413, 2001. [doi]

1993

A Contribution to the End-Extension Problem and the Pi::1:: Conservativeness ProblemZofia Adamowicz. APAL, 61(1-2):3-48, 1993.

1992

A Sharp Version of the Bounded Matijasevich Conjecture and the End-Extension ProblemZofia Adamowicz. JSYML, 57(2):597-616, 1992.

1991

On Maximal TheoriesZofia Adamowicz. JSYML, 56(3):885-890, 1991.

On A Problem Concerning Parameter Free InductionZofia Adamowicz, Costas Dimitracopoulos. mlq, 37(23-24):363-366, 1991. [doi]

1988

n and an Intermediate Induction SchemaZofia Adamowicz, Roman Kossak. mlq, 34(3):261-264, 1988. [doi]

1987

Open Induction and the True Theory of RationalsZofia Adamowicz. JSYML, 52(3):793-801, 1987.

1985

A Recursive Model for Arithmetic with Weak InductionZofia Adamowicz, Guillermo Morales-Luna. JSYML, 50(1):49-54, 1985.

1977

On Finite Lattices of Degrees of ConstructibilityZofia Adamowicz. JSYML, 42(3):349-371, 1977.

1976

One More Aspect of Forcing and Omitting TypesZofia Adamowicz. JSYML, 41(1):73-80, 1976.

On Finite Lattices of Degrees of Constructibility of RealsZofia Adamowicz. JSYML, 41(2):313-322, 1976.

Sign in or sign up to see more results.

runs on WebDSL