TY  - RPRT
TI  - On definable Skolem functions and trichotomy
AU  - Bruno Dinis
AU  - Mário J. Edmundo
PY  - 2022
UR  - https://arxiv.org/abs/2207.11339
ID  - 2207.11339
ER  -