Henryk Kotlarski

Publication Activity (10 Years)

Years Active: 1973-2009
Publications (10 Years): 0

Publications

Henryk Kotlarski, Konrad Zdanowski
On a question of Andreas Weiermann. Math. Log. Q. 55 (2) (2009)
Henryk Kotlarski, Bozena Piekart, Andreas Weiermann
More on lower bounds for partitioning alpha-large sets. Ann. Pure Appl. Log. 147 (3) (2007)
Henryk Kotlarski, Bozena Piekart
Some variations of the Hardy hierarchy. Math. Log. Q. 51 (4) (2005)
Henryk Kotlarski
The incompleteness theorems after 70 years. Ann. Pure Appl. Log. 126 (1-3) (2004)
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) (2000)
Richard Kaye, Henryk Kotlarski
On Models Constructed by Means of the Arithmetized Completeness Theorem. Math. Log. Q. 46 (4) (2000)
Henryk Kotlarski
Other Proofs of Old Results. Math. Log. Q. 44 (1998)
Nicholas Bamber, Henryk Kotlarski
On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic. Math. Log. Q. 43 (1997)
Henryk Kotlarski
An Addition to Rosser's Theorem. J. Symb. Log. 61 (1) (1996)
Henryk Kotlarski
Automorphisms of Countable Recursively Saturated Models of PA: a Survey. Notre Dame J. Formal Log. 36 (4) (1995)
Henryk Kotlarski, Bozena Piekart
Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts. Math. Log. Q. 41 (1995)
Bozena Piekart, Henryk Kotlarski
Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely. Math. Log. Q. 40 (1994)
Henryk Kotlarski
On the Incompleteness Theorems. J. Symb. Log. 59 (4) (1994)
Henryk Kotlarski, Richard Kaye
Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups. Notre Dame J. Formal Log. 35 (1) (1994)
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) (1993)
Roman Kossak, Henryk Kotlarski
Game Approximations of Satisfaction Classes Models. Math. Log. Q. 38 (1) (1992)
Henryk Kotlarski
Full Satisfaction Classes: A Survey. Notre Dame J. Formal Log. 32 (4) (1991)
Richard Kaye, Roman Kossak, Henryk Kotlarski
Automorphisms of Recursively Saturated Models of Arithmetic. Ann. Pure Appl. Log. 55 (1) (1991)
Henryk Kotlarski, Zygmunt Ratajczyk
More on induction in the language with a satisfaction class. Math. Log. Q. 36 (5) (1990)
Henryk Kotlarski, Zygmunt Ratajczyk
Inductive Full Satisfaction Classes. Ann. Pure Appl. Log. 47 (3) (1990)
Henryk Kotlarski
). Math. Log. Q. 35 (5) (1989)
Henryk Kotlarski
Bounded Induction and Satisfaction Classes. Math. Log. Q. 32 (31-34) (1986)
Henryk Kotlarski
The Recursively Saturated Part of Models of Peano Arithmetic. Math. Log. Q. 32 (19-24) (1986)
Henryk Kotlarski
Some Remarks on Initial Segments in Models of Peano Arithmetic. J. Symb. Log. 49 (3) (1984)
Henryk Kotlarski
On Cofinal Extensions of Models of Arithmetic. J. Symb. Log. 48 (2) (1983)
Henryk Kotlarski
On Skolem Ultrapowers and Their Non-Standard Variant. Math. Log. Q. 26 (14-18) (1980)
Henryk Kotlarski
Some Simple Results on Automorphisms of Models. Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys. 21 (6) (1973)