A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM

We give a simple game-theoretic proof of Silver's theorem that every analytic set is Ramsey. A set P of subsets of ω is called Ramsey if there exists an infinite set H such that either all infinite subsets of H are in P or all out of P. Our proof clarifies a strong connection between the Ramsey property of partitions and the determinacy of infinite games.     

On nice equivalence relations on <Superscript>λ</Superscript>2

Let E be an equivalence relation on the powerset of an uncountable set, which is reasonably definable. We assume that any two subsets with symmetric difference of size exactly 1 are not equivalent. We investigate whether for E there are many pairwise non equivalent sets. I would like to thank Alice Leonhardt for the beautiful typing.This research was supported by The Israel Science Foundation. Publication 724. Mathematics Subject Classification (2000): 03E47, 03E35; 20K20, 20K35     

Existence of stationary equilibrium strategies in non-zero sum discounted stochastic games with uncountable state space and state-independent transitions

Non-zero sum discounted stochastic games with uncountable state space and state in-dependent transitions have stationary equilibrium strategies.     

某类实解析与复解析分歧问题的R-有限决定及K-有限决定问题的注记

该文给出了某类实解析与复解析分歧问题是不能R-有限决定的．并利用上述结果证明了一类分岐问题是不能K-有限决定的．同时给出了一个K-有限决定但不能R-有限决定的个例子,它说明在分岐问题中R-有限决定与K-有限决定不是互为充要的条件．     

On Finite and InfiniteCk-A-Determinacy

Let f: (Rⁿ,0) (R^p,0) be a C map-germ. We define f to be finitely,or -, A-determined, if there exists an integer m such that allgerms g with j^mg(0) = j^mf(0), or if all germs g with the sameinfinite Taylor series as f, respectively, are A-equivalentto f. For any integer k, 0 k < , we can consider A' sC^kcounterpart (consisting of C^k diffeomorphisms) A^(k), and wecan define the notion of finite, or -,A^(k)-determinacy in asimilar manner. Consider the following conditions for a C germf: (a_k) f is -A^(k)-determined, (b_k) f is finitely A^(k)-determined,(t) , (g) there exists a representative f : U R^p defined on some neighbourhood U of 0 in Rⁿ such thatthe multigerm of f is stable at every finite set , and (g') every f' with j f'(0)=j f(0) satisfiescondition (g). We also define a technical condition which willimply condition (g) above. This condition is a collection ofp+1 Lojasiewicz inequalities which express that the multigermof f is stable at any finite set of points outside 0 and onlybecomes unstable at a finite rate when we approach 0. We willdenote this condition by (e). With this notation we prove thefollowing. For any C map germ f:(Rⁿ,0) (R^p,0) the conditions(e), (t), (g') and (a) are equivalent conditions. Moreover,each of these conditions is equivalent to any of (a_k) (p+1 k < , (b_k) (p+1 k < ). 1991 Mathematics Subject Classification:58C27.     

GO-空间的仿紧性

早在1 95 4年,Gillman和Henriksen就证明了一个GO-空间是仿紧空间的充分必要条件,那么,更一般地,任给一个正则不可数基数κ,GO-空间是κ-仿紧空间的充分必要条件是什么呢?本文回答了这个问题.     

<Emphasis Type="Italic">G</Emphasis>-linear sets and torsion points in definably compact groups

Let G be a definably compact group in an o-minimal expansion of a real closed field. We prove that if dim(G\X) < dim G for some definable then X contains a torsion point of G. Along the way we develop a general theory for the so-called G-linear sets, and investigate definable sets which contain abstract subgroups of G. M. Otero was Partially supported by GEOR MTM2005-02568 and Grupos UCM 910444.     

GO-空间乘积的子空间仿紧性的充分必要条件

我们知道,GO-空间乘积的子空间不一定仿紧.在2000年,数学家N.Kemoto,K.Tamano和Y.Yajima证明了两个特殊的GO-空间-序数乘积子空间的仿紧性的一个充分必要条件.把这个定理进行了推广,到了两个一般的GO-空间乘积的任意子空间仿紧性的一个充分必要条件.     

Notes on Smooth Map Germs

ＮｏｔｅｓｏｎＳｍｏｏｔｈＭａｐＧｅｒｍｓＹｕＬｉ（余立）；ＺｈａｎｇＧｕｏｂｉｎ（张国滨）（ＺｈａｎｊｉａｎｇＴｅａｃｈｅｒｓＣｏｌｌｅｇｅ，Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｓｔｕｄｙｔｈｅｄｅｔｅｒｍｉｎａｃｙｏｆｒｅａ...     

不可数多个GO-空间乘积的k-仿紧性

证明了不可数多个GO-空间的乘积是k-仿紧空间(相似文献   

两个GO-空间乘积的正规性

本文是在日本数学家Ｋｅｍｏｔｏ １９９３年所作的关于一个ＧＯ－空间（广义线性序空间）和一个正则不可数基数乘积正规性的结果的基础上作了进一步的推广,得到了两个ＧＯ－空间乘积的正规性的一个更一般的结果．     

Orthogonal polynomials and analytic functions associated to positive definite matrices

For a positive definite infinite matrix A, we study the relationship between its associated sequence of orthonormal polynomials and the asymptotic behaviour of the smallest eigenvalue of its truncation An of size n×n. For the particular case of A being a Hankel or a Hankel block matrix, our results lead to a characterization of positive measures with finite index of determinacy and of completely indeterminate matrix moment problems, respectively.