Henryk Kotlarski

	2007
20		Henryk Kotlarski, Bozena Piekart, Andreas Weiermann: More on lower bounds for partitioning alpha-large sets. Ann. Pure Appl. Logic 147(3): 113-126 (2007)
	2005
19		Henryk Kotlarski, Bozena Piekart: Some variations of the Hardy hierarchy. Math. Log. Q. 51(4): 417-434 (2005)
	2004
18		Henryk Kotlarski: The incompleteness theorems after 70 years. Ann. Pure Appl. Logic 126(1-3): 125-138 (2004)
	2000
17		Henryk Kotlarski, Bozena Piekart: Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely. Math. Log. Q. 46(1): 111-120 (2000)
16		Richard Kaye, Henryk Kotlarski: On Models Constructed by Means of the Arithmetized Completeness Theorem. Math. Log. Q. 46(4): 505-516 (2000)
	1998
15		Henryk Kotlarski: Other Proofs of Old Results. Math. Log. Q. 44: 474-480 (1998)
	1997
14		Nicholas Bamber, Henryk Kotlarski: On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic. Math. Log. Q. 43: 525-540 (1997)
	1996
13		Henryk Kotlarski: An Addition to Rosser's Theorem. J. Symb. Log. 61(1): 285-292 (1996)
	1995
12		Henryk Kotlarski, Bozena Piekart: Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts. Math. Log. Q. 41: 138-142 (1995)
11		Henryk Kotlarski: Automorphisms of Countable Recursively Saturated Models of PA: a Survey. Notre Dame Journal of Formal Logic 36(4): 505-518 (1995)
	1994
10		Henryk Kotlarski: On the Incompleteness Theorems. J. Symb. Log. 59(4): 1414-1419 (1994)
9		Bozena Piekart, Henryk Kotlarski: Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely. Math. Log. Q. 40: 95-102 (1994)
8		Henryk Kotlarski, Richard Kaye: Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups. Notre Dame Journal of Formal Logic 35(1): 1-14 (1994)
	1993
7		Roman Kossak, Henryk Kotlarski, James H. Schmerl: On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA. Ann. Pure Appl. Logic 65(2): 125-148 (1993)
	1991
6		Richard Kaye, Roman Kossak, Henryk Kotlarski: Automorphisms of Recursively Saturated Models of Arithmetic. Ann. Pure Appl. Logic 55(1): 67-99 (1991)
5		Henryk Kotlarski: Full Satisfaction Classes: A Survey. Notre Dame Journal of Formal Logic 32(4): 573-579 (1991)
	1990
4		Henryk Kotlarski, Zygmunt Ratajczyk: Inductive Full Satisfaction Classes. Ann. Pure Appl. Logic 47(3): 199-223 (1990)
	1984
3		Henryk Kotlarski: Some Remarks on Initial Segments in Models of Peano Arithmetic. J. Symb. Log. 49(3): 955-960 (1984)
	1983
2		Henryk Kotlarski: On Cofinal Extensions of Models of Arithmetic. J. Symb. Log. 48(2): 253-262 (1983)
	1973
1		Henryk Kotlarski: Some Simple Results on Automorphisms of Models. Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys. 21(6): 503-508 (1973)

Coauthor Index

1	Nicholas Bamber	[14]
2	Richard Kaye	[6] [8] [16]
3	Roman Kossak	[6] [7]
4	Bozena Piekart	[9] [12] [17] [19] [20]
5	Zygmunt Ratajczyk	[4]
6	James H. Schmerl	[7]
7	Andreas Weiermann	[20]

Colors in the list of coauthors