Iteratively Changing the Heights of Automorphism Towers

Gunter Fuchs, Philipp Lücke. Iteratively Changing the Heights of Automorphism Towers. Notre Dame Journal of Formal Logic, 53(2):155-174, 2012. [doi]

Abstract

Abstract is missing.