Infinitary Noetherian constructions II. Transfinite words and the regular subword topology

DOI10.4064/cm8793-3-2023arXiv2202.05047MaRDI QIDQ6086115

Simon Halfon, Aliaume Lopez, Jean Goubault-Larrecq

Publication date: 9 November 2023

Published in: Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2202.05047

zbMATH Keywords

infinite wordsNoetherian spaceswell-quasi-orders

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Peculiar topological spaces (54G99)

Cites Work

• Unnamed Item
• Unnamed Item
• Theory of relations. Transl. from the French by P. Clote
• Sur les premeilleurs ordres. (On prémeilleurs orderings)
• Forward Analysis for WSTS, Part II: Complete WSTS
• The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings
• Forward analysis for WSTS, part I: completions
• Non-Hausdorff Topology and Domain Theory
• Infinitary Noetherian constructions I. Infinite words
• Program termination and well partial orderings