【摘 要】
：
I will prove that J.Moores L space has a non-Lindelof square.This will improve J.Moores result saying that the square is not hereditarily Lindelof and B.Tsa
论文部分内容阅读
I will prove that J.Moores L space has a non-Lindelof square.This will improve J.Moores result saying that the square is not hereditarily Lindelof and B.Tsaban and L.Zdomskyys result saying that some power of the L space is not Lindelof.Some related properties will also be discussed.
其他文献
写实油画创作的众多题材中,很多题材都会涉及多个人物的场景。如何处理人物造型使画面更为和谐美观,人物与人物之间的造型关系如何处理。本文通过三个小节,从三个不同方面去
微生物是土壤生态系统中的重要生物组成部分,是土壤有机物循环和利用的主要驱动力。土壤团聚体是由矿物质、有机质和生物质相互作用形成重要的土壤结构体,不同团聚体中养分分
近年来,超疏水材料因其所取得的一系列成就和广阔的应用前景受到人们的广泛关注。其制备方法包括化学气相沉积法、模板法、电化学法、自组装、等离子体刻蚀、溶胶-凝胶法等等
MEL型沸石分子筛膜拥有优良的孔道结构、较高的硅铝比、良好的热稳定性和选择吸附性，将其应用于渗透汽化分离混合溶液，具有高效、环保、节能等优势。本文制备了全硅及杂原子掺
本文建立了广义有理数基本理论，并用该理论得到了如下结论：(1)证明了到目前为止人们所采用的实数有序域的完备化方案是不科学的或者说是无意义的，从而从反面说明了我们的实
Regular path queries(RPQ)is a classical navigational query formalism for graph databases to specify constraints on labeled paths.Recently,RPQs have been ext
虫害严重威胁着中国水稻生产,每年因为虫害所造成的产量损失达到了10%。转Bt水稻产生的杀虫蛋白能够有效的杀死鳞翅目的害虫,而且不影响环境、节约成本。因此发展和推广转Bt抗虫基因水稻对我国粮食安全有重要的意义。本研究采用转Bt基因水稻品种MH63(cry1C*)、MH63(cry2A*)、Bt-SY63(cry1C*)、Bt-SY63(cry2A*)为研究对象,用MH63和SY63作为对照,在大田条
基于逻辑的知识表示与推理一直是理论计算机科学中人工智能研究的核心问题之一,大规模以及不完全知识库的快速涌现为知识库共享和不一致性处理提出了新的挑战.Lin和Reite
The conservation success of endangered trees may depend on re-establishing or replacing the mutualisms that were important in their native habitats.In this
自从直觉主义谓词演算HQC建立以来，围绕着它的合理性的讨论是直觉主义最重要的课题之一，然而该问题一直未得到系统的研究。本文从直觉主义逻辑“应该是什么”和HQC“事实上