Web-only material
Here are some things not intended to be published (but I assert copyright).
Use at your own risk! And rather than cite anything here in your own work, please try to give more authoritative citations.
Kruskal's theorem and Nash-Williams theory
Ian Hodkinson, after Wilfrid Hodges
Counterexamples for hybrid bisimulation theorem
Ian Hodkinson, July 2024
This note will probably not be published as is, but will form part of an upcoming paper.