TY  - RPRT
TI  - Serial Properties, Selector Proofs, and the Provability of Consistency
AU  - Sergei Artemov
PY  - 2024
UR  - https://arxiv.org/abs/2403.12272
ID  - 2403.12272
ER  -