Noetherian spaces, wqos, and their statures

Those are the documents that I used for my invited talk at the TACL 2021 conference (Topology, Algebra, Categories and Logic) in Coimbra, Portugal, June 2022.

The full slides, with all animation steps; the shorter presentation, without them.

The videos:

  1. Introduction, introduction, well-quasi-orderings (2:13)
  2. Wqos in verification (8:05)
  3. Noetherian spaces, and examples (12:54)
  4. Topological WSTS (9:26)
  5. Sobrifications, and representations (6:14)
  6. Statures of Noetherian spaces (16:44)
  7. Conclusion (0:48)


  1. Jean Goubault-Larrecq. Non-Hausdorff topology and domain theory, selected topics in point-set topology. Cambridge University Press, May 2013. Noetherian spaces covered in Section 9.7.
  2. Alain Finkel and Jean Goubault-Larrecq. Forward analysis for WSTS I. Completions. Mathematical Structures in Computer Science Volume 30 Issue 7, August 2020, pages 752 – 832.
  3. Jean Goubault-Larrecq. Infinitary Noetherian constructions I. Infinite words. Colloquium Mathematicum, published online, January 2022.
  4. Jean Goubault-Larrecq, Simon Halfon, and Aliaume Lopez. Infinitary Noetherian constructions II. Transfinite words and the regular subword topology. Submitted, 2022.
  5. Jean Goubault-Larrecq and Bastien Laboureix. Statures and sobrification ranks of Noetherian spaces. Submitted, 2022.

Jean Goubault-Larrecq