Heyting代数的谱空间

来源 :数学进展 | 被引量 : 0次 | 上传用户:www_com_me
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文通过Heyting代数谱空间的刻画,给出了Heyting代数的拓扑表达。
其他文献
“昆仑山看你慨然倒下,一串串坚实的脚印映出美丽山河如画……”2005年时间年表才翻过新的一页,我又一次来到了青藏高原,天地苍茫,10多年前,我曾是青藏高原上的一名汽车兵,无数次地
本文证明了某些具有可变Calderon-Zygmund核和光滑位相函数的局产中多线性振荡奇异积分算子在L^p(R^n)空间上的有界性。
本文证明了下列定理:设{fn:D→D}是单位圆D到自身的、关于Poincaré度量的K拟共形调和映射序列,则序列{fn}中有一个在闭单位圆D上一致收敛的子序列,其极限函数也是Poincaré圆上的调和映射.
在非线性项系数无界的情形下,得到了一类半线性椭圆型方程爆破解的存在性。
流传于陕西安塞一带。安塞腰鼓源远流长,广为流传,不论城乡,不分男女,从白发老人到学龄儿童,大部分人都可以击鼓表演。安塞腰鼓的打法多样,有“三角阵”、“拜四方”、“白马分鬃”
几次回到西安,都说要去访问柳青生前生活、创作的基地——皇甫村,但一直未能成行。后来听说柳青死后埋在皇甫村了,这又勾起我对这位扎根农村的大作家的无限怀念,这次到西安,我下决心一定要走访皇甫村。    一    其实,只要下决心也没有什么难办的事。我坐上去长安县的公共汽车,一打听,都知道皇甫村,我不放心,又加了一句:“是柳青生活过的皇甫村?”“没错,方圆几百里就这一个皇甫村。”一乘客说。到了长安县,很
给出了不含非零对角元的n阶布尔矩阵的幂敛指数集的明显表达式,从而完全解决了布尔矩阵依赖于非零对角元个数的幂敛指数集的刻画问题。
青海玉树赛马会于每年7月25日在青海省歌舞之乡玉树藏族自治州的首府结古镇举行,是青海省规模最大的藏民族盛会,也是玉树具有悠久历史的传统节日。
大凡秦人多好秦腔。    漫步三秦,到处流曳着秦腔的旋律。相去二三里,村村高音喇叭播放的是秦腔;地畔路旁,秦人畅快淋漓吼的是秦腔;夜幕四合,“自乐班”闹的是秦腔,城镇剧院,高台演出的是秦腔。    三秦竞为大梨园    秦人饭食少盐寡醋可以凑合,生活中没有秦腔却没法过。生子呱呱坠地,满月时以秦腔迎接;成人过寿,都要请“自乐班”助兴;老者去世,更要唱大戏热热闹闹送行;乔迁新居,子女升学,也要唱折子祝
职业教育与成人教育联办初探迁安县职教中心刘国君,顾见广职业中学要稳步发展,必硕不断探索办学新路,增强办学活力.我样在办好三年制长班和开展短期培训的同时,又在职教与成教结合