TY  - RPRT
TI  - Medvedev Logic is Not Decidable. It is π01 -complete. Who Would Have Guessed?
AU  - Pawel Pawlowski
PY  - 2026
UR  - https://arxiv.org/abs/2609.11576
ID  - 2609.11576
ER  -