Gunter Fuchs, Philipp Lücke. Iteratively Changing the Heights of Automorphism Towers. Notre Dame Journal of Formal Logic, 53(2):155-174, 2012. [doi]
@article{FuchsL12, title = {Iteratively Changing the Heights of Automorphism Towers}, author = {Gunter Fuchs and Philipp Lücke}, year = {2012}, url = {http://projecteuclid.org/euclid.ndjfl/1336588247}, researchr = {https://researchr.org/publication/FuchsL12}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {53}, number = {2}, pages = {155-174}, }