Open Research Index

Ultrafilter Extensions for Veltman Semantics

Fèlix Frigola González, Joost J. Joosten, Vicent Navarro Arroyo, Cosimo Perini Brogi

arXivarxiv/2603.16754Mar 17, 2026math.LOscore 0

In this paper, we present a first-order frame condition for interpretability logic and show that the condition is not modally definable. Yet, the frame condition holds both on ILM and on ILP frames and, hence, is of potential importance for the long-standing open problem about the interpretability logic of all reasonable arithmetical theories. In the light of the Goldblatt-Thomason Theorem, the modally inexpressible frame condition serves as motivation to develop ultrafilter extensions for interpretability logic. We develop the necessary algebraic tools to define these ultrafilter extensions…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2603.16754
curl -X POST /api/v1/records/arxiv/2603.16754/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.16754/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'