Strong completeness of the logic J
We prove that the polymodal logic $\mathsf{J}$ is strongly complete with respect to \textit{$\mathsf{J}$-bouquets}, a topological refinement of its Kripke semantics. In particular, it is strongly topologically complete. This yields the following completeness result for the provability logic $\mathsf{GLP}$: a countable set of formulae $Γ$ is consistent with $\mathsf{GLP}$ if and only if there is a $\mathsf{J}$-bouquet $B$ and $r\in B$ such that $B, r\Vdash \mathsf{GLP}$ and $B, r\VdashΓ$. In contrast, we exhibit counterexamples showing that $\mathsf{GLP}$ is not strongly complete with respect…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.07166
curl -X POST /api/v1/records/arxiv/2608.07166/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.07166/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'