燃气管网安全运行问题探讨

随着现代社会的不断进步和发展,燃气越来越成为城市居民生活重要的组成部分,因此,确保城市燃气管网的安全高效运行,是每一个燃气行业工作人员的责任,这不仅仅关乎燃气事业发展,更关乎整个和谐社会的建设。本文将在分析燃气管网运行存在的问题的基础上,探讨解决措施。     

归纳环及归纳域

提出了归纳环的概念(即:含1且适合1阶Peano归纳公理的环),指出其意义并提出下列关于确定归纳环代数结构的问题:是否每一归纳环都与由整数环的一族剩余类环及特征数0的代数闭域所作的一个超积初等等价?首先给出了有关归纳环及归纳域的一些基本事实.然后着重在代数范围内进行讨论,得到下列的结果:每个有限次实代数数域都不是归纳域;代数整数环的每个子环都不是归纳环.还证明了很多有限次代数数域不与上述的超积初等等价.     

模型论弱力迫的证明论特征

推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。     

群的部分初等等价性(Ⅰ)

两个群当适合形式语言■={·,1}中完全相同的形状为(■x_1…x_n)Ψ(x_1…x_n)(ψ中无量词)的语句时,称为■_n-等价的。其他“部分初等等价性”可仿此定义。本文给出了两个群为■_n-等价的代数条件。讨论了一些常见的由二元生成的群,证明它们每一个都只与自身为■_2-等价,(其中包括dihedral群,dicyclic群,quaternion群等)。     

不可能只用Peano公理组证明3x+1猜想

在本文中,我们用模型论方法证明了:存在一个Peano公理组的模型,在其中3x+1猜想不成立.从而可知:不可能只用Peano公理组证明3x+1猜想.     

一些5次数环的具有Goldbach性质的扩环

用数论和模型论方法证明了:对于很多5次代数整数环,存在着具有 Goldbach 性质的扩环.