{"id":"palomar/PALOMAR-2026-10-28-000029","url":"https://github.com/Arthur742Ramos/Math-Formalization/tree/cd0eda5641493e1cbfe3801a8f1cd3ec8f32b3fc/topology/baire-measurable-regularization","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-28-000029-v1.json","repo":"https://github.com/Arthur742Ramos/Math-Formalization","tags":["math.GN","math.LO","msc:54H05","msc:54E52","msc:03E15"],"score":0,"title":"Baire-measurable regularization on comeagre G-delta subspaces","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":"For any topological source and second countable target, open inverse images have the property of Baire exactly when the function restricts continuously to some comeagre G-delta subspace. A Baire-source corollary also proves density. The countable basis synchronization and converse relative-open argument are proved internally.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-28","reactions":{},"formalized":true,"formalizes":[{"title":"Baire Category","identifier":"https://homepages.math.uic.edu/~rosendal/WebpagesMathCourses/MATH511-notes/DST%20notes%20-%20Kuratowski-Ulam08.pdf","relationship":"formalizes"}]}