Browsing Master's Theses by Author "Kardos, Michael"
-
First Order Definition of Rings Using Group of Units
Kardos, Michael (East Carolina University, 2023-05-03)We discuss the technical background and relevant research regarding the undecidability of $O_{\mathbb{Q}^{\text{ab}}}$. Given an algebraic extension $K/\mathbb{Q}$, we consider the subring defined by $$R_K=\{x\in O_K\,|\,\forall ...