@misc{indiciae110fe48bc14f, title = {Theories of Frege structure equivalent to Feferman's system \$\textbackslash{}mathsf\{T\}\_0\$}, author = {Daichi Hayashi}, year = {2024}, doi = {10.1016/j.apal.2024.103510}, url = {https://arxiv.org/abs/2404.05899}, note = {Source identifier: 2404.05899} }