{"id":"arxiv/2609.29708","url":"https://arxiv.org/abs/2609.29708","tags":["math.LO"],"score":0,"title":"Completeness of the Gödel--Löb Provability Logic for Finite Derived Ordinal Topologies","domain":"math.LO","source":"arxiv","authors":["Mohammad Golshani"],"reviews":0,"subject":"math.LO","summary":"We study the Gödel--Löb provability logic $\\mathbf{GL}$ for finite derived topologies on the ordinals. Assuming GCH and the existence of a measurable cardinal $κ$ which carries a coherent sequence of normal measures $\\vec{U}$ with $o^{\\vec{U}}(κ)\\geqκ$, we obtain a cofinality and GCH preserving generic extension in which $\\text{Log}_d(κ,τ_n)=\\mathbf{GL}$ for every $n<ω$, where $τ_n$ is the $n$-th derived topology. The result answers a well-know open question. Extending Beklemishev's theorem, we show that in the same model, for every $k<ω$, $ \\text{Log}_d(κ;τ_{2k},τ_{2k+1})=\\mathbf{GLP}_2, $…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-31","reactions":{}}