✦ LIBER ✦

On two questions concerning the automorphism groups of countable recursively saturated models of PA

✍ Scribed by Roman Kossak; Nicholas Bamber

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Automorphism Group of a Countable Re

✍ Kaye, R. 📂 Article 📅 1992 🏛 Oxford University Press 🌐 English ⚖ 435 KB

Automorphisms of Countable Recursively S

✍ Henryk Kotlarski; Bozena Piekart 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 306 KB

Let M be a countable recursively saturated model of PA and H an open subgroup of G = Aut(M). We prove that I ( H ) = sup{b E M : (3f E G \ H )