Fixed points and Noetherian topologies

DOI10.1007/978-3-031-30829-1_22arXiv2207.07614MaRDI QIDQ6091211

Aliaume Lopez

Publication date: 24 November 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

topologyKruskal's theoreminitial algebrasNoetherian spacesHigman's Lemmawell-Quasi-orderings

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Well-quasi-order of relabel functions
• On well-quasi-ordering finite structures with labels
• Erratum to ``What's so special about Kruskal's theorem and the ordinal \(\Gamma_0\)? A survey of some results in proof theory
• A note on well quasi-orderings for powersets
• The theory of well-quasi-ordering: a frequently discovered concept
• Forward analysis for WSTS, part I: completions
• Noetherian Spaces in Verification
• Non-Hausdorff Topology and Domain Theory
• Gap Embedding for Well-Quasi-Orderings
• From Kruskal’s theorem to Friedman’s gap condition
• Infinitary Noetherian constructions I. Infinite words
• Ordering by Divisibility in Abstract Algebras
• Partial well‐ordering of sets of vectors
• Well-structured transition systems everywhere!
• Two applications of analytic functors

This page was built for publication: Fixed points and Noetherian topologies