TY  - RPRT
TI  - Unconditional $V^0_1$-independence of a certified hitting-set principle
AU  - Martin Kolář
PY  - 2026
UR  - https://arxiv.org/abs/2608.28813
ID  - 2608.28813
ER  -