8 citations · 23 across the 11 of their papers we have counts for
6 papers · 1 filter
Defining integer valued functions in rings of continuous definable functions over a topological field
Luck Darnière, Marcus Tressl
Let K be an expansion of either an ordered field or a valued field. Given a definable set X K<sup>m</sup> let C(X) be the ring of continuous definable functions from X…
A Model Theoretic Perspective on Matrix Rings
Igor Klep, Marcus Tressl
In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings in the language of rings expanded by two unary functions, naming the t…
Interpreting formulas of divisible lattice ordered abelian groups
Marcus Tressl
We show that a large class of divisible abelian -groups (lattice ordered groups) of continuous functions is interpretable (in a certain sense) in the lattice of the zero sets…
On the strength of some topological lattices
Marcus Tressl
We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak…
Comparison of Exponential-Logarithmic and Logarithmic-Exponential series
Marcus Tressl, Salma Kuhlmann
We explain how the field of logarithmic-exponential series constructed in \cite{DMM1} and \cite {DMM2} embeds as an exponential field in any field of exponential-logarithmic series…
The elementary theory of Dedekind cuts in polynomially bounded structures
Marcus Tressl
Let M be a polynomially bounded, o-minimal structure with archimedean prime model, for example if M is a real closed field. Let C be a convex and unbounded subset of M. We determin…