✦ LIBER ✦

Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts

✍ Scribed by Henryk Kotlarski; Bozena Piekart

Publisher: John Wiley and Sons
Year: 1995
Tongue: English
Weight: 306 KB
Volume: 41
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19950410112

No coin nor oath required. For personal study only.

✦ Synopsis

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 )

📜 SIMILAR VOLUMES

A Galois correspondence for countable sh

A Galois correspondence for countable short recursively saturated models of PA

✍ Erez Shochat 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 207 KB

## Abstract In this paper we investigate the properties of automorphism groups of countable short recursively saturated models of arithmetic. In particular, we show that Kaye's Theorem concerning the closed normal subgroups of automorphism groups of countable recursively saturated models of arithme