菱形性质◇的推广

来源 :南京大学学报:数学半年刊 | 被引量 : 0次 | 上传用户:ting1991
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文把集合论中著名的菱形性质◇做了两种推广,即 和 .用力迫方法证明了它们分别相对于ZFC协调。还证明了, 在Godel可构成模型L中也成立。
其他文献
纵观农村改革的巨大变化,回顾供销社改革的历程,感慨万千。为什么同在一个农村的广阔天地里,整个农村的变化那么快,而我们供销社的路却越走越窄?我认为主要的原因是:一是观念的僵化
本文在frame的范畴形式推广——广义frame上引进点、素元与谱空间的概念,并且证明任意广义frame都是完备、余完备的Cartesian闭范畴.进而说明一个广义frame上全体点与该广义fra
给定A∈R^m×n,B∈Rm×p,D∈R^m×m,设S1={(X,Y,Z)∈Sr^n×n×SR^p×p×R^n×p|AXA^T+BYB^T+AZB^T=D},S2={(X,Z)∈SR^n×n×R^n×p|AXA^T+AZB
随着农业产业化建设的不断发展,县级供销社如何服务、推进农业产业化的发展,如何指导基层社参与农业产业化经营,是一个十分重要的问题。为了更好地发挥供销社的群体优势,我认为县
本文考虑了一带时滞的退化奇异抛物型方程的熄灭问题.通过使用正则化方法和上下解技巧,我们得到了该问题存在唯一古典解的结论.并且对q≥0,通过寻找一个特殊的上解和利用特殊
君子是中华传统优秀文化中的词汇,西方社会虽有与君子相类似的公民、绅士、骑士等称谓,但其内涵有着明显区别。实现中华民族伟大复兴的中国梦,坚定文化自信,就需要传承创新中
本文中,我们证明了一个minimax定理,利用这个定理,我们证明了一个新的非线性波动方程的边界值问题的解的存在唯一性定理.
针对有限总体的进化博弈,其内在的动态平衡可以描述为Moran过程或者Wright-Fisher过程.本文从有限总体的Moran过程和Wright-Fisher过程出发,讨论了当总体趋于无限时,对称博弈的进
图G的L(2,1).标号是一个从顶点集V(G)到非负整数集的函数f(x),使得若d(x,y)=1,则|f(x)-f(y)|≥2;若d(x,y)=2,则|f(x)-f(y)|≥1.图G的L(2,1)-标号数A(G)是使得G有max{f(v):v∈V(G)}=k的L(
本文利用加权Hardy空间中的原子分解与分子分解,证明了具有齐型核的分数次积分算子在加权Hardy空间中的有界性.