TY  - RPRT
TI  - Jensen $\varDelta^1_3$ reals by means of ZFC$^-$ or second order Peano arithmetic
AU  - Vladimir Kanovei
PY  - 2023
UR  - https://arxiv.org/abs/2305.12486
ID  - 2305.12486
ER  -