Completeness of the Gödel--Löb Provability Logic for Finite Derived Ordinal Topologies
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, $…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.29708
curl -X POST /api/v1/records/arxiv/2609.29708/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.29708/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'