Henryk Kotlarski (1949 – 2008) published over forty research articles, most of them devoted to model theory of Peano arithmetic. He studied nonstandard satisfaction classes, automorphisms of models of Peano arithmetic, clasification of elementary cuts, ordinal combinatorics of finite sets in the style of Ketonen and Solovay, and independence results.
