TY  - RPRT
TI  - The $Π^1_2$ Consequences of a Theory
AU  - Juan P. Aguilera
AU  - Fedor Pakhomov
PY  - 2021
UR  - https://arxiv.org/abs/2109.11652
ID  - 2109.11652
ER  -