Abstract
We prove that the Baire Category Theorem is equivalent to the following: Let G be a topological groupoid such that the unit space is a complete metric space, and there is a countable cover of G by neighbourhood bisections. If G is effective, then G is topologically principal.
| Original language | English |
|---|---|
| Pages (from-to) | 123-130 |
| Number of pages | 8 |
| Journal | Fundamenta Mathematicae |
| Volume | 226 |
| Issue number | 2 |
| DOIs | |
| State | Published - 1 Jan 2014 |
| Externally published | Yes |
Keywords
- Baire category theorem
- Effective groupoid
- Principle of dependent choice
- Topologically principal groupoid
ASJC Scopus subject areas
- Algebra and Number Theory