TY  - RPRT
TI  - Quantitative approximate definable choices
AU  - Antonio Lerario
AU  - Luca Rizzi
AU  - Daniele Tiberio
PY  - 2025
DO  - 10.1007/s00208-025-03128-3
UR  - https://arxiv.org/abs/2409.14869
ID  - 2409.14869
ER  -