Zofia Adamowicz

	2012
16		Zofia Adamowicz, Leszek Aleksander Kolodziejczyk, Jeff Paris: Truth definitions without exponentiation and the Σ₁ collection scheme. J. Symb. Log. 77(2): 649-655 (2012)
	2010
15		Zofia Adamowicz, Leszek Aleksander Kolodziejczyk: A note on the Sigma1 collection scheme and fragments of bounded arithmetic. Math. Log. Q. 56(2): 126-130 (2010)
	2007
14		Zofia Adamowicz, Leszek Aleksander Kolodziejczyk: Partial collapses of the Sigma1 complexity hierarchy in models for fragments of bounded arithmetic. Ann. Pure Appl. Logic 145(1): 91-95 (2007)
	2004
13		Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski: Editorial. Ann. Pure Appl. Logic 126(1-3): 3-4 (2004)
12		Zofia Adamowicz, Leszek Aleksander Kolodziejczyk: Well-behaved principles alternative to bounded induction. Theor. Comput. Sci. 322(1): 5-16 (2004)
	2003
11		Zofia Adamowicz, Pawel Zbierski: On complexity reduction of Sigma1 formulas. Arch. Math. Log. 42(1): 45-58 (2003)
	2001
10		Zofia Adamowicz, Pawel Zbierski: On Herbrand consistency in weak arithmetic. Arch. Math. Log. 40(6): 399-413 (2001)
9		Zofia Adamowicz, Teresa Bigorajska: Existentially Closed Structures and Gödel's Second Incompleteness Theorem. J. Symb. Log. 66(1): 349-356 (2001)
	1993
8		Zofia Adamowicz: A Contribution to the End-Extension Problem and the Pi1 Conservativeness Problem. Ann. Pure Appl. Logic 61(1-2): 3-48 (1993)
	1992
7		Zofia Adamowicz: A Sharp Version of the Bounded Matijasevich Conjecture and the End-Extension Problem. J. Symb. Log. 57(2): 597-616 (1992)
	1991
6		Zofia Adamowicz: On Maximal Theories. J. Symb. Log. 56(3): 885-890 (1991)
	1987
5		Zofia Adamowicz: Open Induction and the True Theory of Rationals. J. Symb. Log. 52(3): 793-801 (1987)
	1985
4		Zofia Adamowicz, Guillermo Morales-Luna: A Recursive Model for Arithmetic with Weak Induction. J. Symb. Log. 50(1): 49-54 (1985)
	1977
3		Zofia Adamowicz: On Finite Lattices of Degrees of Constructibility. J. Symb. Log. 42(3): 349-371 (1977)
	1976
2		Zofia Adamowicz: One More Aspect of Forcing and Omitting Types. J. Symb. Log. 41(1): 73-80 (1976)
1		Zofia Adamowicz: On Finite Lattices of Degrees of Constructibility of Reals. J. Symb. Log. 41(2): 313-322 (1976)

Coauthor Index

1	Sergei N. Artëmov	[13]
2	Teresa Bigorajska	[9]
3	Leszek Aleksander Kolodziejczyk	[12] [14] [15] [16]
4	Guillermo Morales-Luna	[4]
5	Damian Niwinski	[13]
6	Ewa Orlowska	[13]
7	Jeff Paris	[16]
8	Anna B. Romanowska	[13]
9	Jan Wolenski	[13]
10	Pawel Zbierski	[10] [11]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page