初等毗连系统,初等算术和原语法系统

毗连运算是语法系统中最基本和最简单的运算。Tarski,Quine和Hermes等著名数理逻辑学者都曾对它作过非常有意义的讨论。但是他们的讨论都是非形式的,本文首先建立了关于毗连的初等形式系统C,并通过对C的展开,在C中形式地建立了Peano算术模型。最后,作为C的一个扩张,建立了Quine原语法的形式系统PS_0,同时证明宁PS_0可以嵌入到Peano算术中去。这样在可嵌入的意义下,毗连初等系统,Peano算术和原语法系统是等价的。这也证实了Church关于Quine原语法系统的猜想。     

偏序集上的滤子极大理想

在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains》(作者:G.Gierz,et al)中的一个图表的相关内容,填补了在分配的连续格情形该图表的一个未知内容,部分地回答了该文献中的一个问题。     

一个全局线性化的结论

本文给出了一个关于流的共轭的扩张的结论,并证明了如果奇点是渐近稳定的,那么奇点处的线性化可以扩张到奇点的最大吸引区域。     

中介公理集合论系统MS

本文概述中介公理集合论MS中有关“两种谓词的划分与定义”、“集合的运算”、“谓词与集合”、“小集与巨集”、“MS与ZFC的关系”、“逻辑数学悖论在MS中的解释方法”等文中的定义、引理和定理。     

Rn中单位球上的加权Plancherel公式

设ƒ是实n维单位球上的函数v∈C,SO₀(1,n)在ƒ上的作用T^v定义为T_g^vƒ(x)=ƒ(g·x)(det g＇(x))^v/2(n+1).导出了相应于T^v的不变Laplacian,并找到它的一簇特征函数,建立了相应的反演公式与Plancherel公式.     

模的结构

本文引进了投射根、半自反根概念,讨论了亚投射性、半自反性和无挠性之间的关系,并对环进行了分类。     

再论局部域上一类逼近恒同算子

在新近的文献[1]中我们给出局部域上一类逼近恒同算子f*K_ω(x),现继续这类算子的研究.主要讨论他们的逼近阶,逆逼近定理与相应的极大算子的型等.     

关于常微分方程中的一类反问题的应用举例

[1]中阐述了常微分方程中的一类反问题及其数值处理方法,并且给出了它在化学动力学方面的应用.本文提供若干实例,指出这类反问题在生物生态学和力学方面的某些应用,同时介绍一种适用于求解这类具体的反问题的数值方法.     

Gr—Morita对偶

[1,2]中讨论了G-分次（R-A）-双模RUA导出一个Gr-Morita对偶与Morita对偶的关系,本将进一步给出G-型分次（R-S）-双模RUS定义一个Gr-Morita对偶的充要条件。     

时间序列模型L1-估计量的极限分布:平稳自回归模型

时间序列模型的L1-估计问题是非常重要的.这些估计量的许多性质都被研究过.然而,仍有一些基本问题有待解决.本文将给出平稳自回归模型L1-估计量的极限分布.