43 citations · 278 across the 46 of their papers we have counts for
52 papers
Algorithmic Cost in "Exact Real Computation"
Jihoon Hyun, Holger Thies, Martin Ziegler
Turing completeness of a programming language or system characterizes its expressive power; and the strong Church-Turing hypo-/thesis refines such from qualitative to polynomial-ti…
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}…
Degrees of Second and Higher-Order Polynomials
Donghyun Lim, Martin Ziegler
Second-order polynomials generalize classical first-order ones in allowing for additional variables that range over functions rather than values. We are motivated by their applicat…
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…
Distality in valued fields and related structures
Matthias Aschenbrenner, Artem Chernikov, Allen Gehret +1
We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian gr…
Quantitative Coding and Complexity Theory of Continuous Data
Donghyun Lim, Martin Ziegler
Specifying a computational problem requires fixing encodings for input and output: encoding graphs as adjacency matrices, characters as integers, integers as bit strings, and vice…