3 papers
math.GR2024
Metric ultraproducts of groups -- simplicity, perfectness and torsion
Jakub Gismatullin, Krzysztof Majcher, Martin Ziegler
We characterise the simplicity of metric ultraproducts of a family of metric groups. We also present several new examples of simple groups, such as metric ultraproducts of finite a…
math.LO2024
Noetherian theories
Amador Martin-Pizarro, Martin Ziegler
A first-order theory is Noetherian with respect to the collection of formulae if every definable set is a Boolean combination of instances of formulae in $\mathcal{F}…
math.NA2024
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Sewon Park, Franz BrauÃe, Pieter Collins +7
We propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides…