Abstract : The primary contribution of the presentation talk is to give a logical representation of L-domains found by the second author [3], based on disjunctive propositional theory introduced by the first author in his book [2], which comes from the work of Pitts' Horn propositional theory [5] and the idea of Johnstone with respect to disjunctive theories [4],which includes infinite disjunction, but subject to some restriction.

First, the authors gives the semantics of disjunctive proposition theory T in disjunctive semilattice (D-semilattice, for short) introduced by the first author [1], and then, the soundness and completeness of this logic system. A basic operator generating a D-semilattice A(T) from the theory T is given.

Secondly, the logical representation of stable dD-semialttice is given. Two kinds of disjunctive propositional theory T(L) and T^*(L) generating from a stable D-semilattice L are given. Then, the authors show the following theorem.

Theorem A  Every stable dD-semilattice L is isomorphic with the induced D-semilattice A(T^*(L)).

Finally, the authors investigate the logical representation of L-domains and Scott domains. In our investigation, we need the stable semitopology SN(D) for L-domain D, which is introduced by the first author in [1]. It was shown that the semitopology SN(D) for L-domain D is a stable dD-semilattice. So, we have two disjunctive proposition theory T(SN(D)) and T^* (SN(D)). Our main results are the following theorems.

Theorem B  Given an L-domain D. Then D is isomorphic to the set consisting of models of a disjunctive proposition theory T ^* (SN(D)) into the two-point lattice q. That is ,

Theorem C  Given a Scott domain D. Then D is isomorphic to the set consisting of models of a disjunctive proposition theory T (SN(D)) into the two-point lattice q. That is ,

Reference

[1] Yixiang Chen, Stone duality and representation of stable domains, Computers Math. Appl. Vol.34, No.1, pp27-41, 1997.

[2] Yixiang Chen. Stable domain theory of Formal Semantics(in Chinese). Science Press, Beijing, 2003.

[3] Achim Jung, Cartesian closed categories of algebraic CPOs, Theoret. Comput. Sci. Vol:70, pp 233-250, 1990.

[4] P.T. Johnstone, A syntactic approach to Diers' localizable category, In Applications of Sheaves (Proc. Res. Sympos. Appl. Sheaf Theory to Logic, Algebra and Anal., Durham, 1979; Lecture Notes in Mathematics, Vol.753, pp 466-478, Springer, Berlin, 1979.

[5] A. M. Pitts, Categorical logic, Manuscript, University of Cambridge Laboratory, Tech. Rept. No.367, May 1995. http:www.cl.cam.ac.uk/ amp12 .

^f The corresponding author is supported by NSF of China(60273052), and EPSRC(GR/S79770/01), as well as the Key Project of the Educational Commission of Shanghai (02DZ46).

Abstract : By using a slow growth scale, the logarithmic order, with which to measure the growth of functions, we obtain basic results on the value distribution of a class of meromorphic functions of zero order.

2000 Mathematics Subject Classification. Primary 30D30, 30D35.

Key Words and Phrases: meromorphic function, value distribution, finite logarithmic order.

^f This paper was supported in part by the NSC R.O.C. under the grant NSC 86-2115-M214-001, a fund from Academia Sinica, (Taipei, Taiwan), and a fund from Michigan State University, U.S.A.

Abstract : We study solvability of the Riemann-Hilbert problem for a generalized Cauchy-Riemaim system with several singularities and reveal several new phenomenon. For the number of continuous solutions we shall show that it depends not only on the index but also on the location and type of the singularities, moreover it does not depend continuously on the location and type of the equation.

The investigation of the above problem is highly motivated by the fact that this model may serve to reveal difficulties that occur in generating a general theory for singular Vekua systems and in clarifying the situation in earlier attempts in the literature.

Also, open questions will be mentioned.

Reference

[1] I. N. Vekua, Stationary singularities of generalized analytic functions(Russian), Dokl. Akad. Nauk SSSR, Vol. 145(1962), 24-26.

[2] L. G. Mikhailov, A new class of singular equations and its application to differential equations with singular coefficients, Akademie-Verlag, Berlin, 1970.

[3] Z. D. Usmanov, Generalized Cauchy-Riemann systems with a singular point, Longman, Harlow, 1997.

[4] H. Begehr and D. Q. Dai, On continuous solutions of a generalized Cauchy-Riemann system with more than one singularity, Journal of Differential Equations, Vol. 196(2004), 67-90.

Abstract : In this paper , three new classes of analytic functions are introduced by using Hadamard Product. These three classes are denoted by T_g^r(p  ; A  ,  B )  , R_g^r(p  ; A  ,  B ) and Q_g^r(p  ; A  ,  B). By studying these classes , we respectively obtain some new subordination relations of them . Our results generalize some known work . The main conclusions of this paper are:

Theorem 1. Let f(z) Î T_g^r(p  ; A₁(r/p)  ,  B₁(r/p)), r ³ 0, A and B be such that -1 < B < A £ 1, then [(f*g)(z)]/z^p \prec h(A,B;z)   (|z| < 1), where A₁(r) and B₁(r) are respectively defined as follows :

Theorem 2. Let f(z) Î R_g^r(p  ; A₂(r)  ,  B₂(r)), r ³ 0, A and B satisfy -1 < B < A £ 1, then [(f*g)(z)]/f(z)\prec h(A,B;z) (|z| < 1), where A₂(r) and B₂(r) are respectively defined as follows :

Theorem 3. Let f(z) Î Q_g^r(p  ; A₂(r)  , B₂(r)), r ³ 0, A and B satisfy -1 < B < A £ 1, then [(f*g)(z)]/z^p\prec h(A,B;z)  (|z| < 1) , where A₂(r) and B₂(r) are defined as above.

Abstract : Rational solutions of algebraic differential equations are considered. We give an effective necessary condition for an algebraic differential equation of first order or second order which admits rational function as its general solution. We also present an effective algorithm to decide whether a given algebraic differential equation of first order or second order admits rational general solution and if so compute it. Some results on the rational solutions of a first order algebraic differential equation are presented if its general solution is not a rational function.

Abstract : In 1995, B. Berndt, S. Bhargava and F. Garvan published an important paper [1], in which they studied generalized modular equations and gave proofs for numerous statements concerning these equations made by S. Ramanujan in his unpublished notebooks. Since then some important properties of the solutions to the generalized modular equations, which are sometimes called the modular functions with signature 1/a and degree p for 0 < a < 1 and p > 0, have been obtained. In this paper, the authors study the monotonicity and concavity properties of certain combinations in terms of the modular function, and show several significant results for this function, including its sharp bounds. In addition, some properties of the generalized Grötzsch ring function and generalized elliptic integrals, which are related to the modular function, are presented.

Keywords: Cartan-Hartogs domain, Einstein-Kähler metric, Holomorphic sectional curvature, Generating function.

MR(2000) 32H02

1. Introduction

Cheng and Yau[CY] proved that any C² bounded pseudoconvex domain W in Cⁿ has a complete Einstein-Kähler metric. Without any regularity assumption on the domain W, Mok and Yau[MY] proved that the complete Einstein-Kähler metric always exists. This Einstein-Kähler metric is given by

The explicit formulas for the Einstein-Kähler metric, however, are only known on homogeneous domains. In the paper [WU], H.Wu points out that among the four classical invariant metrics(i.e. the Bergman metric, Carathéodory metric, Kobayashi metric and Einstein-Kähler metric), the Einstein-Kähler metric is the hardest to compute because its existence is proved by complicated nonconstructive methods. The purpose of this paper is to compute the explicit formulas of complete Einstein-Kähler metrics on Cartan-Hartogs domains of the following four types:

^* Supported by National Natural Science Foundation of China (Grant No. 10071051) and Natural Science Foundation of Beijing (Grant No. 1002004) and Science and Technology Development Foundation of Beijing Education

^f Supported by National Natural Science Foundation of China (Grant No. 10171068) and Natural Science Foundation of Beijing (Grant No. 1012004)

Abstract : This lecture is devoted to studying the uniqueness problem of entire functions that share a small function with their derivatives. There are three theorems of such type, generalizing related previous results by several authors.

Abstract : In 1953, Serre raised the problem: If E is a holomorphic fiber bundle with a Stein base and a Stein fiber, is E Stein? There are many mathematicians have made contributions to this problem. In this talk I will show a criterion which unifies some known cases and gives applications to resolving Serre's problem in the affirmative under some new analytic or geometric assumptions.