Połacik, Tomasz A semantic approach to conservativity. (English) Zbl 1414.03013 Stud. Log. 104, No. 2, 235-248 (2016). Reviewer: Valery Plisko (Moskva) MSC: 03F50 03B20 03F25 03F55 03F30 03E70 PDFBibTeX XMLCite \textit{T. Połacik}, Stud. Log. 104, No. 2, 235--248 (2016; Zbl 1414.03013) Full Text: DOI Link
Połacik, Tomasz Partially-elementary extension Kripke models and Burr’s hierarchy. (English) Zbl 0945.03087 Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 4, 207-213 (1999). MSC: 03F30 03C90 03F50 03H15 03C62 PDFBibTeX XMLCite \textit{T. Połacik}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 4, 207--213 (1999; Zbl 0945.03087)
Polacik, Tomasz Induction schemata valid in Kripke models of arithmetical theories. (English) Zbl 0957.03055 Rep. Math. Logic 33, 111-125 (1999). Reviewer: Roman Kossak (New York) MSC: 03F50 03F30 03C90 PDFBibTeX XMLCite \textit{T. Polacik}, Rep. Math. Logic 33, 111--125 (1999; Zbl 0957.03055)