5 citations · 7 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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.LO2022★ 1 cited
Undefinability and Absolute Undefinability in Arithmetic
Roman Kossak
This is a survey of results on definability and undefinability in models of arithmetic. The goal is to present a stark difference between undefinability results in the standard mod…