Intermediate logics and the de Jongh property
Dick H. J. de Jongh, Rineke Verbrugge, Albert Visser · UvA-DARE (University of Amsterdam) · 2009
Abstract. We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property. Dedicated to Petr Hájek, on the occasion of his 70th Birthday 1. Preface The three authors of this paper have enjoyed Petr Hájek’s acquaintance since the late eighties, when a lively community interested in the metamathematics of arithmetic shared ideas and traveled among the beautiful cities of Prague, Moscow, Amsterdam, Utrecht, Siena, Oxford and Manchester. At that time, Petr Hájek and Pavel Pudlák were writing their landmark book Metamathematics of First-Order Arithmetic [HP91], which Petr Hájek tried out on a small group of eager graduate students in Siena in the months of February and March 1989. Since then, Petr Hájek has been a role model to us in many ways. First of all, we have always been impressed by Petr’s meticulous and clear use of correct notation, witness all his different types of dots and corners, for example in the Tarskian ‘snowing’-snowing lemmas [HP91]. But also as a human being, Petr has been a role model by his example of living in truth, even in averse circumstances [Hav89]. The tragic story of the Logic Colloquium 1980, which was planned to be held in Prague and of which Petr Hájek was the driving force, springs to mind [DvDLS82]. Finally, we were moved by Petr’s open-mindedness when coming to terms with a situation that turned out to look disconcertingly unlike the ‘standard model ’ 1. Therefore, in this paper, we would like to pay homage to Petr Hájek. Unfortunately, we cannot hope to emulate his correct use of dots and corners. Instead, we do our best to provide some pleasing non-standard models and non-classical arithmetics. 2.