Marcus Tressl

Publication Activity (10 Years)

Years Active: 2004-2020
Publications (10 Years): 2

Top Topics

Top Venues

Ann. Pure Appl. Log.

Publications

Luck Darnière, Marcus Tressl
Defining integer-valued functions in rings of continuous definable functions over a topological field. J. Math. Log. 20 (3) (2020)
Uri Abraham, Lev D. Beklemishev, Paola D'Aquino, Marcus Tressl
Preface. Ann. Pure Appl. Log. 167 (10) (2016)
Salma Kuhlmann, Marcus Tressl
Comparison of exponential-logarithmic and logarithmic-exponential series. Math. Log. Q. 58 (6) (2012)
Marcus Tressl
Heirs of box types in polynomially bounded structures. J. Symb. Log. 74 (4) (2009)
Marcus Tressl
Pseudo completions and completions in stages of o-minimal structures. Arch. Math. Log. 45 (8) (2006)
Marcus Tressl
Model completeness of o-minimal structures expanded by Dedekind cuts. J. Symb. Log. 70 (1) (2005)
Marcus Tressl
The elementary theory of Dedekind cuts in polynomially bounded structures. Ann. Pure Appl. Log. 135 (1-3) (2005)
Vincent Astier, Marcus Tressl
Axiomatization of local-global principles for pp-formulas in spaces of orderings. Arch. Math. Log. 44 (1) (2005)
Marcus Tressl
Valuation theoretic content of the Marker-Steinhorn theorem. J. Symb. Log. 69 (1) (2004)