More on extending automorphisms of models of Peano Arithmetic
Continuing the earlier research [Fund. Math. 129 (1988) and 149 (1996)] we give some information about extending automorphisms of models of PA to cofinal extensions.
Continuing the earlier research [Fund. Math. 129 (1988) and 149 (1996)] we give some information about extending automorphisms of models of PA to cofinal extensions.
We consider the question of when , where is the elementary submodel topology on X ∩ M, especially in the case when is compact.