TY  - RPRT
TI  - Solovay's Relative Consistency Proof for FIM and BI
AU  - Joan Rand Moschovakis
PY  - 2021
UR  - https://arxiv.org/abs/2101.05878
ID  - 2101.05878
ER  -