Research of real algebraic geometry by model theory

研究了具有d -极小结构的函数，特别是解析函数环的代数性质，得到了以下结果：通过邀请比萨大学的Acquistapace和Broglia，我研究了全局半解析集族。我们试图证明族在取有限并、有限交补和对角分量的操作下是闭的。然后我们解决了维度为4的问题，并将发表在一篇文章中。2. 我访问了雷恩大学，并与种姓共同研究了可定义度量的紧化问题。在b -极小结构中，紧性和非紧性似乎没有区别。这个问题使这个想法具体化了。我们解决了这个问题，并写了一篇文章，将会发表。3. 邀请了巴黎第七大学的J.Bolte，与他一起研究Lojasiewicz不等式。这个不等式最初是由Lojasiewicz在本地案例中证明的。此后，许多数学家试图推广它。但任何结果本质上都是局部的。我们在全局和任意d极小结构中证明了它。这项工作将发表在某杂志上。4. 我和大叻大学的涂乐来共同研究了可定义解析函数的环。我们认为对于一般的o -极小结构没有研究方法，并采用可定义解析函数的复化是可定义的假设。然后给出了环的一些重要的代数性质，如环的非醚性、Hilbert 17问题和实Nallstellen Satz。我们会把它们写在纸上或书里。

Functions with D-minimal structure and, especially, algebraic properties of analytic function ring were researched, and the following results were obtained, 1. By having invited Acquistapace and Broglia of Pisa University I investigated the family of global semianalytic sets. We tried to prove that the family is closed under the operations of taking finite union, finite intersection complement and cometed component. Then we solved the problem for dimension up to 4, and will publish in an article. 2. I visited University of Reines and worked jointly with caste on the problem of compactification of definable metric. In B-minimal structure there seems to be no differences between compactness and noncompactness. The problem concretizes this idea. We solved it and writed an article, which will be published. 3. J.Bolte of University of Paris 7 was invited, with who Lojasiewicz inequality was studied. The inequality was originally proved by Lojasiewicz in the local case. After then many mathematicians tried to generalized it. But any result was essentially local. We proved it globally and in any D-minimal structure. The work will appear in some journal. 4. Tu Le Loi of University of Dalat and I made joint researches on the ring of definable analytic functions. We concluded that there were no methods in research for general O-minimal structure, and adopted the hypothesis that the complexification of definable analytic function is definable. Then many important algebraic properties of the ring were shown, for example, noetherianness of the ring, Hilbert 17th problem and real Nallstellen Satz. We will write them in a paper or a book.