Sacks 模型中的 $\Sigma^1_3$ 集
机器学习
2026-03-03 v3
摘要
我们证明，在以可构建宇宙为基础的迭代 Sacks 模型中，Mansfield-Solovay 定理对 集成立。特别是，每个 集都是 Marczewski 可测的，而 Bernstein 集的最优复杂度为 。基于 Kanovei 的结果，我们还简要地展示了如何在 projectivity 层级的非平凡水平上分离 Mansfield-Solovay 定理。
引用
@article{arxiv.2506.15307,
title = {SecP-Tuning: Efficient Privacy-Preserving Prompt Tuning for Large Language Models via MPC},
author = {Jinglong Luo and Zhuo Zhang and Yehong Zhang and Shiyu Liu and Ye Dong and Hui Wang and Yue Yu and Xun Zhou and Zenglin Xu},
journal= {arXiv preprint arXiv:2506.15307},
year = {2026}
}
备注
ICLR 2026