Open Research Index

Splendid extensions

Shimon Garti

arXivarxiv/2607.08352Jul 9, 2026math.LOscore 0

Let $κ$ be a successor cardinal. We force a universe in which every model of PA of size $κ$ extends to a model M of the same size, where M has no splendid extensions. If there is an ineffable cardinal then this statement holds at some cardinal below it, in ZFC.

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