𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the structure of initial segments of models of arithmetic

✍ Scribed by Jan Krajíček; Pavel Pudlák

Publisher
Springer
Year
1989
Tongue
English
Weight
382 KB
Volume
28
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the structure of kripke models of hey
On the structure of kripke models of heyting arithmetic
✍ Zoran Marković 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 456 KB 👁 1 views

## Abstract Since in Heyting Arithmetic (HA) all atomic formulas are decidable, a Kripke model for HA may be regarded classically as a collection of classical structures for the language of arithmetic, partially ordered by the submodel relation. The obvious question is then: are these classical str

ON AUTOMORPHISMS OF RESPLENDENT MODELS O
ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC
✍ Zofia Seremet 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 225 KB

In this paper we show theorems concerning automorphisms of models of Peano Arithmetic. These results were obtained by KOTLARSKI [ 2 ] , 5 4 (as K~TLARSKI informed the author, at least part of these results were obtained by ALENA VENCOVSKA (unpublished) and CRAIG SMORYNSKI [4]). KoTLARbKI asked the a

Some More Remarks on Expandability of In
Some More Remarks on Expandability of Initial Segments
✍ Roman Murawski 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 340 KB

## I ) This paper was written when I was a fellow of the Alexander von Humboldt Stiftung arid worked at the University of Heidelberg under the direction of Professor GERT H. MULLER. I express heie lily appreciation to him. 1 thank also Dr. HEKRYK KOTLARSKI from Warsaw for correspondence and helpt