A groupoid formulation of the Baire Category Theorem
From MaRDI portal
Publication:5420359
DOI10.4064/fm226-2-2zbMath1341.03067arXiv1209.2912OpenAlexW2963485021MaRDI QIDQ5420359
Jonathan H. Brown, Lisa Orloff Clark
Publication date: 12 June 2014
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1209.2912
Baire category theoremeffective groupoidprinciple of dependent choicetopologically principal groupoid
Baire category, Baire spaces (54E52) Topological groupoids (including differentiable and Lie groupoids) (22A22) Axiom of choice and related propositions (03E25)
This page was built for publication: A groupoid formulation of the Baire Category Theorem