| 2007 |
|---|
| 20 | EE | 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 | EE | Henryk Kotlarski,
Bozena Piekart:
Some variations of the Hardy hierarchy.
Math. Log. Q. 51(4): 417-434 (2005) |
| 2004 |
|---|
| 18 | EE | Henryk Kotlarski:
The incompleteness theorems after 70 years.
Ann. Pure Appl. Logic 126(1-3): 125-138 (2004) |
| 2000 |
|---|
| 17 | EE | 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 | EE | 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) |
