{"id":"palomar/PALOMAR-2026-10-28-000027","url":"https://github.com/Arthur742Ramos/Math-Formalization/tree/7884a11c340dd99521c3f43363dbbb59634126be/topology/pettis-automatic-continuity","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-28-000027-v1.json","repo":"https://github.com/Arthur742Ramos/Math-Formalization","tags":["math.GN","math.GR","msc:22A05","msc:54H11","msc:54E52"],"score":0,"title":"Pettis automatic continuity for Baire-to-separable topological groups","trust":"high","domain":"math.GN","source":"palomar","authors":["Arthur Freitas Ramos","David Barros Hulak","Ruy Jose Guerra Barretto de Queiroz"],"reviews":0,"subject":"math.GN","summary":"A homomorphism from a Baire topological group to a separable topological group is continuous if every open inverse image has the property of Baire. The neighborhood lemma for nonmeagre BP sets and the countable right-translate cover are proved internally. No separation, source-Polish, injectivity or surjectivity hypothesis.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-28","reactions":{},"formalized":true,"formalizes":[{"title":"On Continuity and Openness of Homomorphisms in Topological Groups","identifier":"https://doi.org/10.2307/1969471","relationship":"formalizes"}]}