关于正则化缩减乘积的进一步研究
摘要：有限版本的方块原理square^{fin}_{lambda,D}揭示了以下结论的一致性：对于所有基数lambda上的正则滤子D，如果M_i和N_i是大小不超过lambda的等价语言模型，那么在prod_i M_i/D 和 prod_i N_i/D上的长度为lambda^+的Ehrenfeucht-Fraisse游戏中，第二位玩家有一个获胜策略。如果此外2^lambda = lambda^+且i < lambda暗示着|M_i| + |N_i| <= lambda^+，则说明超限势和同构力。
作者：Juliette Kennedy and Saharon Shelah
论文ID：math/0504200
分类：Logic
分类简称：math.LO
提交时间：2007-05-23