{"id":"palomar/PALOMAR-2026-10-20-000002","url":"https://github.com/Arthur742Ramos/Math-Formalization/tree/0e3676798fe19b23d17defe9d732977d9f913f11/topology/kuratowski-ulam","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-20-000002-v1.json","repo":"https://github.com/Arthur742Ramos/Math-Formalization","tags":["math.GN","msc:54E52","msc:54B10","general-topology","baire-category","products"],"score":0,"title":"Kuratowski–Ulam category theorem for countable pi-base spaces","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 arbitrary topological spaces X and Y, if Y has a countable pi-base, a nowhere dense subset of X × Y has nowhere dense vertical sections outside a meagre subset of X. Meagre subsets likewise have meagre sections for residually many parameters, and residual subsets have residual sections. No Baire, separation or nonemptiness assumption is required for these forward results. For sets with the property of Baire, assuming both factors are Baire, meagreness and residuality are each equivalent to the corresponding generic section property. The product of two Baire spaces is consequently Baire…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-20","reactions":{},"formalized":true,"formalizes":[{"title":"Game Approach to Universally Kuratowski-Ulam Spaces, arXiv:math/0605469v1","identifier":"https://arxiv.org/pdf/math/0605469v1","relationship":"formalizes"}]}