2 papers
math.LO2022
63 Years of the MacDowell-Specker Theorem
Roman Kossak
In September of 1959, at the conference on Infinitistic Methods in Warsaw, Ernst Specker presented a joint paper with Robert MacDowell in which the authors proved that every model…
math.LO2018
Disjunctions with stopping condition
Roman Kossak, Bartosz Wcisło
We introduce a tool for analysing models of , the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan's theorem that arithmetical…