Spectral spaces M Dickmann, N Schwartz, M Tressl
Cambridge University Press, 2019
115 2019 Elementary properties of minimal and maximal points in Zariski spectra N Schwartz, M Tressl
Journal of Algebra 323 (3), 698-728, 2010
60 2010 The uniform companion for large differential fields of characteristic 0 M Tressl
Transactions of the American Mathematical Society 357 (10), 3933-3951, 2005
48 2005 Super real closed rings M Tressl
Fund. Math 194 (2), 121-177, 2007
31 2007 Axiomatization of local-global principles for pp-formulas in spaces of orderings V Astier, M Tressl
Archive for Mathematical Logic 44 (1), 77-95, 2005
23 2005 The real spectrum of continuous definable functions in o-minimal structures M Tressl
Séminaire de Structures Algébriques Ordonnées 1998, 68, 1997
17 1997 Valuation theoretic content of the Marker-Steinhorn Theorem M Tressl
The Journal of Symbolic Logic 69 (1), 91-93, 2004
16 2004 Comparison of exponential‐logarithmic and logarithmic‐exponential series S Kuhlmann, M Tressl
Mathematical Logic Quarterly 58 (6), 434-448, 2012
14 2012 Comparison of Exponential-Logarithmic and Logarithmic-Exponential series M Tressl, S Kuhlmann
arXiv preprint arXiv:1112.4189, 2011
14 * 2011 The prime spectrum and the extended prime spectrum of noncommutative rings I Klep, M Tressl
Algebras and representation theory 10 (3), 257-270, 2007
13 2007 On the strength of some topological lattices M Tressl
Ordered algebraic structures and related topics 697, 325-347, 2018
12 2018 Model Completeness of o-minimal Structures expanded by Dedekind Cuts M Tressl
The Journal of Symbolic Logic 70 (1), 29-60, 2005
12 2005 A structure theorem for differential algebras M Tressl
Banach Center Publications 58 (1), 201-206, 2002
12 2002 Bounded super real closed rings M Tressl
Logic Colloquium 35, 220-237, 2007
11 2007 Non-axiomatizability of real spectra in T Mellor, M Tressl
Annales de la Faculté des sciences de Toulouse: Mathématiques 21 (2), 343-358, 2012
10 2012 Non-axiomatizability of real spectra in 多∞ λ T Mellor, M Tressl
10 * 2011 Computation of the z-radical in C (X) M Tressl
Advances in Geometry 6 (1), 139-175, 2006
10 2006 Commutative Algebra M Tressl
Notes from fil e ComAlg. tex 24, 25, 2015
9 2015 Definable functions M Tressl
Notes from file functdef. tex 6, 22, 2015
8 2015 Definable continuous functions M Tressl
Notes from file functc. tex 26, 2015
8 2015