Homepage of Marcus Tressl

University of Manchester,School of Mathematics, Oxford Road, Manchester M13 9PL, UK
Office: Alan Turing Building, 2.118      E-Mail:


2016/2017, Semester 1: Real Analysis (MATH20111)
2016/2017, Semester 1: Mathematical Logic (MATH33011)
2016/2017, Semester 2: Gödel's Theorems (MATH43042/63042)
MSc in Pure Mathematics and Mathematical Logic
Office hour in semester 1: Tuesday 2.30-3.30

E-learning (and teaching):   Campus Solutions  eProg  MyStudents  MyManchester (Portal)

Latin abbreviations in mathematics   Greek alphabet



  1. (with Tim Mellor) Non-axiomatizability of real spectra in L∞λ. Annales de la Faculté des Sciences de Toulouse, Vol. XXI, no. Spécial, 2012, pp. 131--146
  2. (with Salma Kuhlmann) Comparison of Exponential-Logarithmic and Logarithmic-Exponential series. 2012.
  3. (with Niels Schwartz) Elementary properties of minimal and maximal points in Zariski spectra. Journal of Algebra 323 (2010) 698-728.
  4. Bounded super real closed rings. Logic Colloquium 2007, volume 35 of Lect. Notes Log., pages 220--237. Assoc. Symbol. Logic, La Jolla, CA, 2010.
  5. Heirs of box types in polynomially bounded structures. The Journal of Symbolic Logic, vol 74, No. 4, p.1225-1263 (2009).
  6. Super real closed rings. Fundamenta Mathematicae 194 (2007), no. 2, 121-177.
  7. (with Igor Klep) The Prime Spectrum and the Extended Prime Spectrum of non commutative Rings. Algebras and Representation Theory (2007), vol. 10, no. 3, 257 -- 270.
  8. Pseudo Completions and Completions in Stages of o-minimal structures. Arch. Math. Logic (2006), vol 45, no. 8, 983-1009.
  9. Computation of the z-radical in C(X). Advances in Geometry 6 (2006), no. 1, 139-175.
  10. The elementary theory of Dedekind cuts in polynomially bounded structures. Annals of Pure and Applied Logic, Volume 135, Issues 1-3, September 2005, Pages 113-134.
  11. The uniform companion for large differential fields of characteristic 0. Transactions of the American Mathematical Society 357 (2005), no. 10, 3933-3951.
  12. Valuation theoretic content of the Marker-Steinhorn Theorem. The Journal of Symbolic Logic, vol. 69, No. 1, p.91-93 (2004).
  13. (with Vincent Astier) Axiomatization of local-global principles for pp-formulas in spaces of orderings. Arch. Math. Logic 44 (2005), no. 1, 77--95.
  14. Model Completeness of o-minimal Structures expanded by Dedekind Cuts. Journal of Symbolic Logic 70 (2005), no. 1, pp. 29--60.
  15. (with Thomas Grill and Manfred Knebusch) An existence theorem for systems of implicit differential equations. Banach Center Publications, vol. 58, Warszawa 2002, p.75-77.
  16. A Structure Theorem for Differential Algebras. Banach Center Publications, vol. 58, Warszawa 2002, p.201-206.
  17. The real spectrum of continuous definable functions in o-minimal structures. Séminaire de Structures Algébriques Ordonnées 1997-1998, No. 68, Mars 1999, p. 1-15.

Preprints and work in progress:

  1. Interpreting formulas of divisible lattice ordered abelian groups. 2016. pdf
  2. On the strength of some topological lattices. 2016. pdf
  3. (with Nicolas Guzy) pd-adically closed rings. Extended abstract as published in Séminaire de Structures Algébriques Ordonnées 2008.
  4. Decidability questions for real closed rings.
  5. Spectral spaces. Book in preparation, jointly with Max Dickmann and Niels Schwartz.

Thesis: Dedekind cuts in polynomially bounded, o-minimal expansions of real closed fields.


Model Theory Preprint Server
Logic Seminar Manchester
Lancashire Yorkshire Model Theory Seminar
Real Algebraic and Analytic Geometry - Preprint Server

Manual HTML     Automatic HTML             Manual CSS     Automatic CSS             Manual Links     Automatic Links

Site maintained by Marcus Tressl. Last modified: Friday, 23rd September 2016.
Local time: 2016-09-25 14:55:15