Skip to content
Preprint

Splendid extensions

Jul 2026 · 0 citations · 18 references
Mathematics

Abstract

Let $\kappa$ be a successor cardinal. We force a universe in which every model of PA of size $\kappa$ 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.

View source