TY  - RPRT
TI  - First-order separation over countable ordinals
AU  - Thomas Colcombet
AU  - Sam van Gool
AU  - Rémi Morvan
PY  - 2022
UR  - https://arxiv.org/abs/2201.03089
ID  - 2201.03089
ER  -