且从大基数可以推出它在”测度为正“的全体集合域集合上成立，但也仅此而已。
问题：是否有有趣的适合描述集合论的全体集合域？
我认为可构成集l是一个，k也是一个，但是洛杉矶学派认为这些答案是错的，没有管它们，当然，争论不会平息，但是给出这个问题具体的带有启发性的答案却是有趣且可行的。自然我会去考虑其他回答这个问题的全体集合域。注意，精细结构（fine structure）也是语法的，它的不少推论却不是语法的，因此：
问题：在应用中需要多大的语法成分？比如可构成集l中的组合性质需要精细结构吗？
对jensen而言，精细结构是主要要点，diamond定理和square定理只是副产品，也许精细结构最容易向忽视它的人证明它的价值。就我个人而言，我宁愿不用精细结构去得到精细结构的这些推论，但不是喜欢去找另外的所谓纯粹证明。问题是，当我们想走得更远，哪一条道路是更好的？当然，对于语法性的陈述，你需要精细结构。
问题：这些组合性质是否是彻底的？比如，足以得出可构成集l里的组合性推论。
当然不是，在这个方向仍然可能会有正面的结果。
问题：真理会处在下面两个极端情况之间的什么位置？1.可构成集l中的每个组合性的陈述都是可判定的。2.我们应该有一种类似力迫法的技术，在zfc＋可构成公理框架下或皮亚诺算术等框架下，来得到像孪生素数猜想之类问题的独立性的结果。
这两种情况我都很喜欢，但我这方面知识却不多，组合意味的不是语法而是语义，组合会令协调性的强度减弱，即使它的变形版本也是如此。
话题 d：感兴趣的集合论对象
自然数!
实数!
实数集!!!!!
特殊集合!!!!!!!
大基数!!!
我对自然数也有理想化的强烈兴趣，但不是作为一个集合论学家。我将在话题d.讨论关于射影集的问题，在话题d.讨论关于连续统基数不变量的问题，在话题d.讨论关于匈牙利学派一般划分关系和基数算术法则，在话题d.讨论大基数的划分关系，对于模型论，我将在话题d.讨论一些逻辑结构上的句子上的0-1律，在话题d.讨论有理数可构成集等的阿列夫1势模型的研究，在话题d.讨论模型分类理论，在话题d.讨论某些框架下的语句的los问题，在话题d.讨论波莱尔线性序和波莱尔点。如果你和我一样对这次会议的主题实数集非常感兴趣，那么下面的问题是核心的：
问题：如果连续统的势等于阿列夫3会得到什么结果？大于等于阿列夫3会得到什么结果？
根据有限支持迭代，所有大于阿列夫1的正则基数都是相同的大小。而可数支持