Let $U$ be an open semi-algebraic subset of $\mathbf{R}^n$ and let $X$ be a closed analytic subset of $U$ which is also a semi-algebraic set (e.g., $U = \mathbf{R}^n ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...