{"id":"arxiv/2608.07166","url":"https://arxiv.org/abs/2608.07166","tags":["math.LO"],"score":0,"title":"Strong completeness of the logic J","domain":"math.LO","source":"arxiv","authors":["Juan P. Aguilera","Grigorii Stepanov"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-07","reactions":{}}