Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups

Henryk Kotlarski, Richard Kaye. Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups. Notre Dame Journal of Formal Logic, 35(1):1-14, 1994.

Abstract

Abstract is missing.