TY  - RPRT
TI  - Definability over $\mathrm BΣ^0_2$-models
AU  - Chi Tat Chong
AU  - Tin Lok Wong
PY  - 2025
UR  - https://arxiv.org/abs/2510.18490
ID  - 2510.18490
ER  -