Intermediate models and Kinna--Wagner Principles

TL;DR

This paper proves the Kinna--Wagner Conjecture, showing that intermediate models of set-theoretic extensions satisfying Kinna--Wagner Principles are generated by a single set, and explores related principles in the set-theoretic multiverse.

Contribution

It proves the Kinna--Wagner Conjecture and extends it, providing new insights into intermediate models and Kinna--Wagner Principles within the set-theoretic multiverse.

Findings

Proof of the Kinna--Wagner Conjecture

Characterization of intermediate models satisfying Kinna--Wagner Principles

New results on Kinna--Wagner Principles in the multiverse of sets

Abstract

Kinna--Wagner Principles state that every set can be mapped into some fixed iterated power set of an ordinal, and we write $\mathsf{KWP}$ to denote that there is some $\alpha$ for which this holds. The Kinna--Wagner Conjecture, formulated by the first author in [9], states that if $V$ is a model of $\mathsf{ZF}+\mathsf{KWP}$ and $G$ is a $V$-generic filter, then whenever $W$ is an intermediate model of $\mathsf{ZF}$, that is $V\subseteq W\subseteq V[G]$, then $W=V(x)$ for some $x$ if and only if $W$ satisfies $\mathsf{KWP}$. In this work we prove the conjecture and generalise it even further. We include a brief historical overview of Kinna--Wagner Principles and new results about Kinna--Wagner Principles in the multiverse of sets.