✦ LIBER ✦

Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely

✍ Scribed by Henryk Kotlarski; Bożena Piekart

Publisher: John Wiley and Sons
Year: 1994
Tongue: English
Weight: 420 KB
Volume: 40
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19940400113

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We show that if M is a countable recursively saturated model of True Arithmetic, then G = Aut(M) has nonmaximal open subgroups with unique extension to a maximal subgroup of Aut(M).

Mathematics Subject Classification: 03C62, 03C50.

📜 SIMILAR VOLUMES

Automorphisms of Models of True Arithmet

Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely

✍ Henryk Kotlarski; Bożena Piekart 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 239 KB

Continuing the earlier research in [14] we give some more information about nonmaximal open subgroups of G = Aut(M) with unique maximal extension, where M is a countable recursively saturated model of True Arithmetic.