TY  - RPRT
TI  - Completeness of the Gödel--Löb Provability Logic for Finite Derived Ordinal Topologies
AU  - Mohammad Golshani
PY  - 2026
UR  - https://arxiv.org/abs/2609.29708
ID  - 2609.29708
ER  -