Explore les endomorphismes et les automorphismes de groupes compacts locaux totalement déconnectés, mettant l'accent sur les homomorphismes surjectifs et les groupes abeliens libres.
Couvre la structure logique des principes équivalents au choix et à l'induction de barre, en se concentrant sur le choix dépendant généralisé et ses implications en mathématiques.
