In this note we axiomatize the Πk+1Πk+1-consequences in the set theory KPΠNKPΠN for ΠNΠN-reflecting universes in terms of iterations of ΠiΠi-recursively Mahlo operations for 1≤k≤i<N1≤k≤i<N.
生成讲解博客的中文版本
生成AI智能校验的中文版本