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:
- Introduction, introduction, well-quasi-orderings (2:13)
- Wqos in verification (8:05)
- Noetherian spaces, and examples (12:54)
- Topological WSTS (9:26)
- Sobrifications, and representations (6:14)
- Statures of Noetherian spaces (16:44)
- Conclusion (0:48)
References
- Jean Goubault-Larrecq. Non-Hausdorff topology and domain theory, selected topics in point-set topology. Cambridge University Press, May 2013. https://doi.org/10.1017/CBO9781139524438. Noetherian spaces covered in Section 9.7.
- 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. https://doi.org/10.1017/S0960129520000195
- Jean Goubault-Larrecq. Infinitary Noetherian constructions I. Infinite words. Colloquium Mathematicum, published online, January 2022. https://doi.org/10.4064/cm8077-4-2021
- Jean Goubault-Larrecq, Simon Halfon, and Aliaume Lopez. Infinitary Noetherian constructions II. Transfinite words and the regular subword topology. Submitted, 2022.
- Jean Goubault-Larrecq and Bastien Laboureix. Statures and sobrification ranks of Noetherian spaces. Submitted, 2022.
