All Questions

Definition: (Todorcevic) A subset $A$ of a topological space $X$ is called universally meager if for every Baire space $Y$ and every continuous $f : Y \to X$ which is nowhere constant (not constant on ...

Let $\kappa$ be a measurable cardinal. We give the Stone space of all ultrafilters on $\kappa$ the usual topology, where each $x\subseteq\kappa$ determines a basic open $[x]=\{U;x\in U\}$. The ...

Gelfand duality tells us that the category of compact Hausdorff spaces (with continuous maps as morphisms) is contravariantly equivalent to the category of commutative, unital $C^\ast$-algebras (with $...

Let $A_{n}=(\{1,\dots,2^{n}\},*_{n})$ be the $n$-th classical Laver table. Then $*_{n}$ is the unique operation on $\{1,\dots,2^{n}\}$ where $x*_{n}(y*_{n}z)=(x*_{n}y)*_{n}(x*_{n}z)$ and $x*_{n}1=x+1\...