余有限群与射影良序
Cofinitary groups and projective well-orders
AI总结：
本文引入紧余有限群概念以刻画极大余有限群在多种力迫偏序下的不可毁性，并利用新的稳健编码技术证明 $\mathfrak{a}_g=\mathfrak{d}<\mathfrak{c}=\aleph_2$ 与实数 $Δ^1_3$-良序及余解析见证的相对一致性。
摘要：
我们引入紧余有限群的概念，该概念刻画了极大余有限群在包括Cohen、Sacks、Miller、Miller分拆力迫以及Shelah用于对角化极大理想的偏序在内的一长串偏序下的力迫不可毁性。通过引入一种新的稳健编码技术，我们建立了 $\mathfrak{a}_g=\mathfrak{d}<\mathfrak{c}=\aleph_2$ 的相对一致性，同时存在实数的 $Δ^1_3$-良序以及 $\mathfrak{a}_g$ 的余解析见证。
英文摘要：
We introduce the notion of a tight cofinitary group, which captures forcing indestructibility of maximal cofinitary groups for a long list of partial orders, including Cohen, Sacks, Miller, Miller partition forcing and Shelah's poset for diagonalizing maximal ideal. Introducing a new robust coding technique, we establish the relative consistency of $\mathfrak{a}_g=\mathfrak{d}<\mathfrak{c}=\aleph_2$ alongside the existence of a $Δ^1_3$-wellorder of the reals and a co-analytic witness for $\mathfrak{a}_g$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
