11 citations · 37 across the 12 of their papers we have counts for
4 papers · 1 filter
A Note on Generic Types
Martin Ziegler
In a stable abelian group, we characterize generic types of cosets of type-definable subgroups.
On fields and colours
Andreas Baudisch, Amador Martin-Pizarro, Martin Ziegler
We exhibit a simplified version of the construction of a field of Morley rank p with a predicate of rank p-1, extracting the main ideas for the construction from previous papers an…
Real Computational Universality: The Word Problem for a class of groups with infinite presentation
Martin Ziegler, Klaus Meer
The word problem for discrete groups is well-known to be undecidable by a Turing Machine; more precisely, it is reducible both to and from and thus equivalent to the discrete Halti…
An Explicit Solution to Post's Problem over the Reals
Klaus Meer, Martin Ziegler
In the BCSS model of real number computations we prove a concrete and explicit semi-decidable language to be undecidable yet not reducible from (and thus strictly easier than) the…