{"id":"arxiv/2602.09470","url":"https://arxiv.org/abs/2602.09470","tags":["math.LO"],"score":0,"title":"Strong Completeness of Provability Logic for Uncountable Languages","domain":"math.LO","source":"arxiv","authors":["Mohammad Golshani","Grigorii Stepanov","Reihane Zoghifard"],"reviews":0,"subject":"math.LO","summary":"For an ordinal $λ>0$, we use the Erdős--Rado partition theorem to prove the failure of strong completeness of $\\mathsf{GL}$ for modal languages of cardinality $(2^{|λ|+\\aleph_0})^{+}$ with respect to models on ordinals equipped with the generalized Icard topologies $\\mathcal{I}_λ$ and ${τ_{c}}_{+λ}$. Specifically, we show that for such languages there exists a $\\mathsf{GL}$-consistent set of formulas having neither $(Θ, \\mathcal{I}_λ)$-model nor $(Θ, {τ_{c}}_{+λ})$-model. We also introduce two kinds of natural classes of topological spaces, called \\emph{ $λ$-bouquet spaces} and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-10","reactions":{}}