■(x)与C(x)的初等等价问题

Jensen在[1]中提出了一个问题:■(x)与C(x)是否初等等价,其中■是全体代数数构成的数域,C是复数域,■(x)与C(x)分别是■与C上的一个变数x的有理函数域。本文将利用共轭复数概念证明■(x)与C (x)不是初等等价的。为了叙述上的方便,以下设N,Q,■,C分别表示自然数集,有理数域,全体代数数构成的域,复数域;F(x)表示数域F上一个变数x的有理函数域。1■(x)与C(x)的初等等价问题为了证明主要定理,先列举一些有关的概念及引理。定义1 设F是一个数域,如果F■■_x■_Y■(x~2+Y~2=z~2),则称F是一个Pythagoras数域。     

两个初等等价的不同构的有限格值模型

在二值模型论中，２个初等等价的有限模型必定同构，但本文构作一个反例证明同样的结论在格值模型论中不成立，因而Ｋｅｉｓｌｅｒ－Ｓｈｅｌａｈ同构定理也不成立。     

关于基本初等函数的等价表征

运用微积分的方法,对基本初等函数的若干特征性质进行了证明,从而给出了基本初等函数的等价表征.     

初等交换P-群的模糊子群的等价类数

依据模糊子群等价类的构造特点，通过研究P^n阶初等交换群的合成群列和子群列，给出了其极大模糊子群和模糊子群的等价类之个数的求解公式。     

L（Q）格值模型的完全弱理论

对有限的线性序,文章证明了完全弱理论T和模型完全弱理论的一些等价条件,并给出了完全弱理论T的一个判定定理.     

关于初等函数的连续问题

对初等函数连续性的两种提法进行了分析，论证了其中一种提法是错误的。     

L(Q)逻辑的完全理论

对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论 ,用构造性证明方法证明了完全理论T和模型完全的一些等价条件 ,还给出了完全理论T的一种判定定理 ,为今后对L(Q)逻辑模型论做进一步研究提供了理论基础     

关于C2（H）上的初等算子△（X）=AXB＋MXN

设Ｈ为复Ｈｉｂｅｒｔ空间,Ｂ（Ｈ）为Ｈ上所有界线性算子构成的空间,Ｃ２（Ｈ）表示Ｈ上所有Ｈｉｌｂｅｒｔ－Ｓｃｈｉｄｔ类算子,安（Ｘ,Ｙ）＝ｔｒ（Ｙ＊Ｘ）构成Ｈｉｂｌｅｒｔ空间。在Ｃ２（Ｈ）中,定义算子△：Ｘ→ＡＸＢ＋ＭＸＮ。文中给出了算子△为θ类算子的充分必要条件。     

关于矩阵行等价的几个问题

系统地总结了矩阵行等价在不同层面上的应用，并对矩阵行简化阶梯矩阵的唯一性给出了一个新的证明。     

无限集合的有限子集理论的等价转化

利用Ehrenfeucht博奕 ,证明了任一无限集合的有限子集理论与自然数集合的有限子集理论是初等等价的     

△f与df的等价条件

讨论了ｎ元实函数（ｆ（ｘ１，ｘ２，…，ｘｎ）的△ｆ与ｄｆ的等价条件，所得结果是一元函数相应结果的推广。     

等价变换与数学问题解决

等价变换方法是解决数学问题的基本方法之一。当解决原命题比较困难时可设法解决其等价命题成立。     

度量等价与一致等价的判别

如果同一集合X上的2个度量ρ与ρ′诱导出X上的同一拓扑,那么称ρ与ρ′是等价的.对2个度量等价和一致等价的判别问题进行了讨论,并给出若干应用的例子.     

关于M(x)=o(x)的一个初等证明

本文的主要结果为:设μ(n)是M?bius函数,x>0为实数,若M(x)=■,则M(x)=o(x),x→∞.完成了该定理的初等证明.     

谈初等几何中欧拉（Euler）定理的教学

本文系统地阐述了初等几何中欧拉（Euler)定理的思想来源，证明方法 以及由Euler示性数对曲面进行分类等问题，以期对中学数学教师教学借鉴。     

孪生组合恒等式（九）——等价类型

等价类型的孪生组合恒等式分为直接等价、间接等价以及自身等价等3种,每种各举2例,其中包含重要公式nr=n-1r+n-1r-1 的等价公式.     

不定方程y2=x3-13的初等解

给出了不定方程y2=x3-13仅有解x=17,y=±70的初等解法.