Assuming the existence of a weakly compact cardinal, we build a forcing extension in which GCH holds and every $\aleph_2$-Aronszajn tree is special. This answers a well-known question from the 1970’s. I will present the proof of this theorem, with as many details as possible. This is joint work with Mohammad Golshani.

URL:https://www.imj-prg.fr/spip.php?article189 END:VEVENT END:VCALENDAR