Algebraic structures lie at the heart of modern quantum theory, providing the language for observables, symmetries and state spaces. Operator algebras, notably C*-algebras and von Neumann algebras, ...

Model theory of valued fields investigates algebraic structures equipped with a valuation—a function measuring the “size” or divisibility of elements—through the lens of first-order logic. Central ...