TY  - RPRT
TI  - Gödel incompleteness through Arithmetic Universes after A. Joyal
AU  - Joost van Dijk
AU  - Alexander Gietelink Oldenziel
PY  - 2020
UR  - https://arxiv.org/abs/2004.10482
ID  - 2004.10482
ER  -