任意射影层级上的可定义极小坍缩函数

通过对 Uri Abraham 的极小 $\varDelta^1_3$ 坍缩函数进行非 Laver 型修改，我们定义了一个由实数 $a$ 生成的脱殊扩张 $L[a]$，其中，对于给定的 $n\ge3$，$\{a\}$ 是一个 lightface $\varPi^1_n$ 独点集，$a$ 有效地编码了一个在 $L$ 上极小的共尾映射 $\omega\to\omega_1^L$，而每个 $\varSigma^1_n$ 集 $X\subseteq\omega$ 仍然是可构成的。