Open Access
Winter 1994 Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups
Richard Kaye, Henryk Kotlarski
Notre Dame J. Formal Logic 35(1): 1-14 (Winter 1994). DOI: 10.1305/ndjfl/1040609291

Abstract

Let M be a countable recursively saturated model of Th($\mathbb{N}$), and let G$=$Aut(M), considered as a topological group. We examine connections between initial segments of M and subgroups of G. In particular, for each of the following classes of subgroups H$<$G, we give characterizations of the class of terms of the topological group structure of H as a subgroup of G.

(a) $\{ H : H =G_{(K)}$ for some $K\prec_{\rm e} M \}$

(b) $\{ H : H =G_{\{K\}}$ for some $K\prec_{\rm e} M \}$

(c) $\{ H : H =G_{\{M(a)\}}$ for some $ a\in M \}$

(d) $\{ H : H =G_{\{M(a)\}}=G_a$ for some $ a\in M \}$

(Here, M(a) denotes the smallest $I\prec_{\rm e}$M containing a, $G_{\{A\}}=\{g \in G: A=\{gx: x\in A\} \}$, $G_{(A)}=\{g\in G: \forall a\in A\:ga=a\}$, and $G_a=\{g\in G: ga=a\}$.)

Citation

Download Citation

Richard Kaye. Henryk Kotlarski. "Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups." Notre Dame J. Formal Logic 35 (1) 1 - 14, Winter 1994. https://doi.org/10.1305/ndjfl/1040609291

Information

Published: Winter 1994
First available in Project Euclid: 22 December 2002

zbMATH: 0824.03016
MathSciNet: MR1271695
Digital Object Identifier: 10.1305/ndjfl/1040609291

Subjects:
Primary: 03C62
Secondary: 03C15 , 03H15 , 20B27 , 22A05 , 54H11

Rights: Copyright © 1994 University of Notre Dame

Vol.35 • No. 1 • Winter 1994
Back to Top