TY  - RPRT
TI  - Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
AU  - Rohan Bahl
PY  - 2024
UR  - https://arxiv.org/abs/2410.01972
ID  - 2410.01972
ER  -