Collapse Result for Extensions of the Presburger Arithmetic by a Unary Function Compatible with Addition

Earlier, Belegradek, Stolboushkin, and Taitslin proved that the collapse result holds in the theory of natural numbers with addition, i.e., each locally generic query using addition can be written without it. In this paper, we use the sufficient conditions of the collapse result obtained by Taitslin to prove that it holds in any extensions of the Presburger arithmetic by a unary function compatible with addition. The notion of a function compatible with addition was proposed by A. L. Semenov.     

Model theory of finite and pseudofinite groups

This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first-order theory of finite groups. The focus is on concepts from stability theory and generalisations in the context of pseudofinite groups, and on the information this might provide for finite group theory.     

The Krull–Gabriel Dimension of a Serial Ring

Abstract

We prove that every serial ring R has the isolation property: every isolated point in any theory of modules over R is isolated by a minimal pair. Using this we calculate the Krull–Gabriel dimension of the module category over serial rings. For instance, we show that this dimension cannot be equal to 1.     

Independence, measure and pseudofinite fields

We give a measure-theoretic refinement of the Independence Theorem in pseudofinite fields.     

Higher index theory for certain expanders and Gromov monster groups,II

In this paper, the second of a series of two, we continue the study of higher index theory for expanders. We prove that if a sequence of graphs has girth tending to infinity, then the maximal coarse Baum–Connes assembly map is an isomorphism for the associated metric space X. As discussed in the first paper in this series, this has applications to the Baum–Connes conjecture for ‘Gromov monster’ groups.We also introduce a new property, ‘geometric property (T)’. For the metric space associated to a sequence of graphs, this property is an obstruction to the maximal coarse assembly map being an isomorphism. This enables us to distinguish between expanders with girth tending to infinity, and, for example, those constructed from property (T) groups.     

耦合Burgers方程的Painleve分析和相关性质

为研究耦合Burgers方程的可积性,利用WTC测试方法,给出了第一类Burgers方程的Painleve性质和第二类Burgers方程的条件Painleve性质．进而得到了第一类方程的变量分离解和第二类方程的（N2＋3N＋6/2）-参数Lie点对称群．     

Star-regularity and regular completions

In this paper we establish a new characterisation of star-regular categories, using a property of internal reflexive graphs, which is suggested by a recent result due to O. Ngaha Ngaha and the first author. We show that this property is, in a suitable sense, invariant under regular completion of a category in the sense of A. Carboni and E.M. Vitale. Restricting to pointed categories, where star-regularity becomes normality in the sense of the second author, this reveals an unusual behaviour of the exactness property of normality (i.e. the property that regular epimorphisms are normal epimorphisms) compared to other closely related exactness properties studied in categorical algebra.     

A secondary semantics for Second Order Intuitionistic Propositional Logic

In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

单调函数在具有可选服务的M/M/1排队模型研究中的应用

运用函数的导数与单调性之间的关系证明具有可选服务的M/M/1排队模型的主算子的豫解集研究中出现的三个不等式.由此推出,在虚轴上除了零外其它所有点都属于该模型的主算子的豫解集.     

耦合Burgers方程的Painleve分析和相关性质

为研究耦合Burgers方程的可积性，利用WTC测试方法，给出了第一类Burgers方程的Painleve性质和第二类Burgers方程的条件Painleve性质．进而得到了第一类方程的变量分离解和第二类方程的（N2＋3N＋6/2）-参数Lie点对称群．     

Infinitesimal Lifting and Jacobi Criterion for Smoothness on Formal Schemes

This a first step to develop a theory of smooth, étale, and unramified morphisms between Noetherian formal schemes. Our main tool is the complete module of differentials, which is, a coherent sheaf whenever the map of formal schemes is of pseudofinite type. Among our results, we show that these infinitesimal properties of a map of usual schemes carry over into the completion with respect to suitable closed subsets. We characterize unramifiedness by the vanishing of the module of differentials. Also we see that a smooth morphism of Noetherian formal schemes is flat and its module of differentials is locally free. The article closes with a version of Zariski's Jacobian criterion.     

关于单位球面的子流形的一个Pinching定理

设Ｍ是单位球面的一个浸入子流形，ＵＭ＝∪ＵＭｘ是Ｍ的单位切丛.本文研究函数ｆ（ｘ）＝ｍａｘ－Ｂ（ｕ，ｕ）－Ｂ（ｖ，ｖ）２。其中Ｂ是Ｍ的第二基本形式．当Ｍ具平行平均曲率时，我们给出关于第二基本形式的一个Ｐｉｎｃｈｉｎｇ定理．对Ｍ是极小的情形，我们有相同的讨论．     

解y"=g(x,y)初值问题含参数线性多步方法的相容阶和收敛阶

1 引 言对于直接积分二阶常微分方程的初值问题 y"=g(x,y) y (x_0)=y_0,y'(x_0)=y"_0,x_0 x T,(1)     

The finite-dimensional decomposition property in non-Archimedean Banach spaces

A non-Archimedean Banach space has the orthogonal finite-dimensional decomposition property（OFDDP） if it is the orthogonal direct sum of a sequence of finite-dimensional subspaces.This property has an influence in the non-Archimedean Grothendieck＇s approximation theory,where an open problem is the following： Let E be a non-Archimedean Banach space of countable type with the OFDDP and let D be a closed subspace of E.Does D have the OFDDP？ In this paper we give a negative answer to this question; we construct a Banach space of countable type with the OFDDP having a one-codimensional subspace without the OFDDP.Next we prove that,however,for certain classes of Banach spaces of countable type,the OFDDP is preserved by taking finite-codimensional subspaces.     

On sets with Baire property in topological spaces

Steinhaus [9] prove that if a set A has a positive Lebesgue measure in the line then its distance set contains an interval. He obtained even stronger forms of this result in [9], which are concerned with mutual distances between points in an infinite sequence of sets. Similar theorems in the case we replace distance by mutual ratio were established by Bose-Majumdar [1]. In the present paper, we endeavour to obtain some results related to sets with Baire property in locally compact topological spaces, particular cases of which yield the Baire category analogues of the above results of Steinhaus [9] and their corresponding form for ratios by Bose-Majumdar [1].     

第二积分中值定理当x→+∞中间点的渐近性

讨论了积分区间为[a,x]的第二积分中值定理当x→+∞中间点的渐近性态,得到了两个相关的结果,并给出了简洁的证明.     

On Products of Property b1

In this note,we present that:(1)Let X=σ{Xα:α∈A} be|A|-paracompact (resp.,hereditarily |A|-paracompact).If every finite subproduct of {Xα:α∈A} has property b1 (resp.,hereditarily property b1),then so is X.(2) Let X be a P-space and Y a metric space.Then,X×Y has property b1 iff X has property b1.(3) Let X be a strongly zero-dimensional and compact space.Then,X×Y has property b1 iff Y has property b1.     

Sharp Gaussian regularity on the circle, and applications to the fractional stochastic heat equation

A sharp regularity theory is established for homogeneous Gaussian fields on the unit circle. Two types of characterizations for such a field to have a given almost-sure uniform modulus of continuity are established in a general setting. The first characterization relates the modulus to the field's canonical metric; the full force of Fernique's zero-one laws and Talagrand's theory of majorizing measures is required. The second characterization ties the modulus to the field's random Fourier series representation. As an application, it is shown that the fractional stochastic heat equation has, up to a non-random constant, a given spatial modulus of continuity if and only if the same property holds for a fractional antiderivative of the equation's additive noise; a random Fourier series characterization is also given.     

Some Weak Specification Properties and Strongly Mixing

In this paper,the authors first construct a dynamical system which is strongly mixing but has no weak specification property.Then the authors introduce two new concepts which are called the quasi-weak specification property and the semi-weak specification property in this paper,respectively,and the authors prove the equivalence of quasi-weak specification property,semi-weak specification property and strongly mixing.     

关于 ``Banach spaces failing the almost isometric universal extension property'' 的一个注记

D.M. Speegle 在文献[1] 中给出了具有常数 $\alpha$的性质${\cal A}$ 的定义,并且证明了任意无限维的可分一致光滑Banach空间都具有这样的性质,而且常数 $\alpha\in [0,1)$.本文给出了一个使得无限维可分Banach空间具有这种性质的充分条件,以及几个关于文献[1] 的注解.