Uniformisation of Regular Relations in First-Order Logic with Two Variables
Nathan Lhote, Vincent Michielini, Michał Skrzypczak · 2024
A uniformisation of a binary relation is a functional relation contained in it, with the same domain. The uniformisation problem asks whether such a uniformisation can be defined in a given formalism.