Kotlarski, Henryk Adamowicz, Zofia (ed.); Bigorajska, Teresa (ed.); Zdanowski, Konrad (ed.) A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski. (English) Zbl 1471.03001 Trends in Logic – Studia Logica Library 51. Cham: Springer (ISBN 978-3-030-28920-1/hbk; 978-3-030-28921-8/ebook). xiv, 109 p. (2019). Reviewer: Valery Plisko (Moskva) MSC: 03-02 03F30 03F40 03C62 03F15 PDFBibTeX XMLCite \textit{H. Kotlarski} et al., A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski. Cham: Springer (2019; Zbl 1471.03001) Full Text: DOI
Kossak, Roman; Kotlarski, Henryk More on extending automorphisms of models of Peano arithmetic. (English) Zbl 1149.03025 Fundam. Math. 200, No. 2, 133-143 (2008). Reviewer: Roman Murawski (Poznań) MSC: 03C62 03F30 03H15 PDFBibTeX XMLCite \textit{R. Kossak} and \textit{H. Kotlarski}, Fundam. Math. 200, No. 2, 133--143 (2008; Zbl 1149.03025) Full Text: DOI EuDML
Kaye, Richard; Kotlarski, Henryk On models constructed by means of the arithmetized completeness theorem. (English) Zbl 0963.03061 Math. Log. Q. 46, No. 4, 505-516 (2000). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{R. Kaye} and \textit{H. Kotlarski}, Math. Log. Q. 46, No. 4, 505--516 (2000; Zbl 0963.03061) Full Text: DOI
Bigorajska, Teresa; Kotlarski, Henryk; Schmerl, James H. On regular interstices and selective types in countable arithmetically saturated models of Peano arithmetic. (English) Zbl 0920.03069 Fundam. Math. 158, No. 2, 125-146 (1998). Reviewer: R.A.Herrmann (Annapolis) MSC: 03H15 03C62 PDFBibTeX XMLCite \textit{T. Bigorajska} et al., Fundam. Math. 158, No. 2, 125--146 (1998; Zbl 0920.03069) Full Text: EuDML
Bamber, Nicholas; Kotlarski, Henryk On interstices of countable arithmetically saturated models of Peano arithmetic. (English) Zbl 0884.03042 Math. Log. Q. 43, No. 4, 525-540 (1997). Reviewer: R.Kossak (New York) MSC: 03C62 03C50 03H15 PDFBibTeX XMLCite \textit{N. Bamber} and \textit{H. Kotlarski}, Math. Log. Q. 43, No. 4, 525--540 (1997; Zbl 0884.03042) Full Text: DOI
Kossak, Roman; Kotlarski, Henryk Game approximations of satisfaction classes and the problem of rather classless models. (English) Zbl 0801.03029 Z. Math. Logik Grundlagen Math. 38, No. 1, 21-26 (1992). Reviewer: A.Enayat (Washington) MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{R. Kossak} and \textit{H. Kotlarski}, Z. Math. Logik Grundlagen Math. 38, No. 1, 21--26 (1992; Zbl 0801.03029) Full Text: DOI
Kotlarski, Henryk On the end extension problem for \(\Delta _ 0\)-PA(S). (English) Zbl 0692.03035 Z. Math. Logik Grundlagen Math. 35, No. 5, 391-397 (1989). Reviewer: R.Kossak MSC: 03H15 03F30 03C62 PDFBibTeX XMLCite \textit{H. Kotlarski}, Z. Math. Logik Grundlagen Math. 35, No. 5, 391--397 (1989; Zbl 0692.03035) Full Text: DOI
Kotlarski, Henryk Bounded induction and satisfaction classes. (English) Zbl 0622.03025 Z. Math. Logik Grundlagen Math. 32, 531-544 (1986). Reviewer: R.Kossak MSC: 03H15 03C62 PDFBibTeX XMLCite \textit{H. Kotlarski}, Z. Math. Logik Grundlagen Math. 32, 531--544 (1986; Zbl 0622.03025) Full Text: DOI
Kotlarski, Henryk The recursively saturated part of models of Peano arithmetic. (English) Zbl 0622.03024 Z. Math. Logik Grundlagen Math. 32, 365-370 (1986). Reviewer: R.Kossak MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{H. Kotlarski}, Z. Math. Logik Grundlagen Math. 32, 365--370 (1986; Zbl 0622.03024) Full Text: DOI
Kotlarski, Henryk Bounded induction and satisfaction classes. (English) Zbl 0586.03053 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 70, 143-167 (1985). Reviewer: A.Ursini MSC: 03H15 03C62 PDFBibTeX XMLCite \textit{H. Kotlarski}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 70, 143--167 (1985; Zbl 0586.03053)
Kotlarski, Henryk Some remarks on initial segments in models of Peano arithmetic. (English) Zbl 0574.03052 J. Symb. Log. 49, 955-960 (1984). Reviewer: P.Clote MSC: 03H15 03C62 03C52 PDFBibTeX XMLCite \textit{H. Kotlarski}, J. Symb. Log. 49, 955--960 (1984; Zbl 0574.03052) Full Text: DOI
Kotlarski, Henryk On elementary cuts in recursively saturated models of Peano arithmetic. (English) Zbl 0572.03016 Fundam. Math. 120, 205-222 (1984). Reviewer: R.Kossak MSC: 03C62 03C57 03H15 03C50 03C52 PDFBibTeX XMLCite \textit{H. Kotlarski}, Fundam. Math. 120, 205--222 (1984; Zbl 0572.03016) Full Text: DOI EuDML
Kotlarski, Henryk On cofinal extensions of models of arithmetic. (English) Zbl 0537.03051 J. Symb. Log. 48, 253-262 (1983). Reviewer: K.Čuda MSC: 03H15 PDFBibTeX XMLCite \textit{H. Kotlarski}, J. Symb. Log. 48, 253--262 (1983; Zbl 0537.03051) Full Text: DOI
Kotlarski, H.; Krajewski, S.; Lachlan, A. H. Construction of satisfaction classes for nonstandard models. (English) Zbl 0471.03054 Can. Math. Bull. 24, 283-293 (1981). MSC: 03H15 PDFBibTeX XMLCite \textit{H. Kotlarski} et al., Can. Math. Bull. 24, 283--293 (1981; Zbl 0471.03054) Full Text: DOI
Kotlarski, Henryk On elementary cuts in models of arithmetic. (English) Zbl 0471.03053 Bull. Acad. Pol. Sci., Sér. Sci. Math. 29, 419-423 (1981). MSC: 03H15 03C50 PDFBibTeX XMLCite \textit{H. Kotlarski}, Bull. Acad. Pol. Sci., Sér. Sci. Math. 29, 419--423 (1981; Zbl 0471.03053)