TY  - RPRT
TI  - Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
AU  - Daichi Hayashi
PY  - 2024
DO  - 10.1016/j.apal.2024.103510
UR  - https://arxiv.org/abs/2404.05899
ID  - 2404.05899
ER  -