{"id":"arxiv/2607.08352","url":"https://arxiv.org/abs/2607.08352","tags":["math.LO"],"score":0,"title":"Splendid extensions","domain":"math.LO","source":"arxiv","authors":["Shimon Garti"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-09","reactions":{}}