Changing the Heights of Automorphism Towers by Forcing with Souslin Trees over L
Abstract
We prove that there are groups in the constructible universe whose automorphism towers are highly malleable by forcing. This is a consequence of the fact that, under a suitable diamond hypothesis, there are sufficiently many highly rigid non-isomorphic Souslin trees whose isomorphism relation can be precisely controlled by forcing.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- February 2007
- arXiv:
- arXiv:math/0702768
- Bibcode:
- 2007math......2768F
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Group Theory;
- 03E35;
- 20F28
- E-Print:
- 23 pages