Publications

Articles

• Rauzy, Emmanuel, Multi-representation associated to the numbering of a subbasis and formal inclusion relations, Logical Methods in Computer Science 21:3 (2025)
• Rauzy, Emmanuel, Computability of finite quotients of finitely generated groups, Journal of Group Theory 25:2 (2022) 217-246
• Rauzy, Emmanuel, Obstruction to a Higman embedding theorem for residually finite groups with solvable word problem, Journal of Group Theory 24:3 (2021) 445-452

Electronic Repositories

• Brattka, Vasco and Rauzy, Emmanuel, Effective bases and notions of effective second countability in computable analysis, arXiv arXiv:2509.20266 (2025)
• Brattka, Vasco and Rauzy, Emmanuel, Computable bases, arXiv arXiv:2510.09850 (2025)

In Proceedings

• Brattka, Vasco and Rauzy, Emmanuel, Effective second countability in computable analysis, in: Beckmann, Arnold and Oitavem, Isabel and Manea, Florin (eds.), Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, vol. 15764 of Lecture Notes in Computer Science, Springer, Cham, 2025, pages 19-33

PhD Theses

• Rauzy, Emmanuel, Perspectives on an effective theory of groups, PhD thesis, Université de Paris, 2022