Leszek Aleksander Kolodziejczyk

	2013
j13		Emil Jerábek, Leszek Aleksander Kolodziejczyk: Real closures of models of weak arithmetic. Arch. Math. Log. 52(1-2): 143-157 (2013)
	2012
j12		Zofia Adamowicz, Leszek Aleksander Kolodziejczyk, Jeff Paris: Truth definitions without exponentiation and the Σ₁ collection scheme. J. Symb. Log. 77(2): 649-655 (2012)
	2011
j11		Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Neil Thapen: The provably total NP search problems of weak second order bounded arithmetic. Ann. Pure Appl. Logic 162(6): 419-446 (2011)
j10		Leszek Aleksander Kolodziejczyk: Independence results for variants of sharply bounded induction. Ann. Pure Appl. Logic 162(12): 981-990 (2011)
c2		Mikolaj Bojanczyk, Leszek Aleksander Kolodziejczyk, Filip Murlak: Solutions in XML data exchange. ICDT 2011: 102-113
	2010
j9		Sedki Boughattas, Leszek Aleksander Kolodziejczyk: The strength of sharply bounded induction requires MSP. Ann. Pure Appl. Logic 161(4): 504-510 (2010)
j8		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)
	2009
j7		Leszek Aleksander Kolodziejczyk, Neil Thapen: The polynomial and linear time hierarchies in V0. Math. Log. Q. 55(5): 509-514 (2009)
	2008
j6		Leszek Aleksander Kolodziejczyk, Neil Thapen: The polynomial and linear hierarchies in models where the weak pigeonhole principle fails. J. Symb. Log. 73(2): 578-592 (2008)
	2007
j5		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)
c1		Leszek Aleksander Kolodziejczyk, Neil Thapen: The Polynomial and Linear Hierarchies in V0. CiE 2007: 408-415
	2006
j4		Leszek Aleksander Kolodziejczyk: On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories. J. Symb. Log. 71(2): 624-638 (2006)
	2004
j3		Leszek Aleksander Kolodziejczyk: Truth definitions in finite models. J. Symb. Log. 69(1): 183-200 (2004)
j2		Leszek Aleksander Kolodziejczyk: A finite model-theoretical proof of a property of bounded query classes within PH. J. Symb. Log. 69(4): 1105-1116 (2004)
j1		Zofia Adamowicz, Leszek Aleksander Kolodziejczyk: Well-behaved principles alternative to bounded induction. Theor. Comput. Sci. 322(1): 5-16 (2004)

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 07:16:25 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page