TY  - RPRT
TI  - Skolem, Gödel, and Hilbert fibrations
AU  - Davide Trotta
AU  - Jonathan Weinberger
AU  - Valeria de Paiva
PY  - 2024
UR  - https://arxiv.org/abs/2407.15765
ID  - 2407.15765
ER  -