↧
Answer by Harry West for Without choice, can every homomorphism from a...
There are two common definitions of what it means for a topological group to be profinite, which I’ll distinguish as “formally profinite” and “compact profinite”.Formally profinite: an inverse limit of...
View ArticleAnswer by BS. for Without choice, can every homomorphism from a profinite...
Saharon Shelah (elaborating on Solovay) proved that it is equiconsistent with ZF that there exists a model of ZF+DC (DC=dependent choice, ) in which all sets of reals have the Baire property. And...
View ArticleWithout choice, can every homomorphism from a profinite group to a finite...
In ZFC, some homomorphisms from profinite groups to finite groups are discontinuous. For instance, see the examples in this question. However, all three constructions given use consequences of the...
View Article