• Communications of the Korean Mathematical Society
• /
• v.9 no.4
• /
• pp.803-808
• /
• 1994

Since L$\ddot{o}$b's announcement of his solution to Henkin's problem (L$\ddot{o}$b (1954, 1955)) there has been successful and fruitful research on provability logic tied up with modal logic. Specially, L$\ddot{o}$b's Theorem is of far-reaching significance in the following meta-mathematical and philosophical sense.

• Journal of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.561-575
• /
• 2001

Making use of the singular spectrum in the Denjoy-Carleman class we prove the microlocal decomposition theorem and quasianalytic versions of Holmgren's uniqueness theorem and watermelon theorem.

• Communications of the Korean Mathematical Society
• /
• v.11 no.4
• /
• pp.959-965
• /
• 1996

In this paper we study the index stability theorem for a bounded linear operator with closed range and extend the Kato's decomposition theorem for an absence of the index.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.367-372
• /
• 2012

Taking the integrated Chebyshev-type counting function of the appropriate order, we improve the error term in Park's prime geodesic theorem for hyperbolic manifolds with cusps. The obtained estimate coincides with the best known result in the Riemann surfaces case.

• Journal of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.73-82
• /
• 2018

In this article we consider certain types of nonlinear matrix equations including the stochastic rational Riccati equation and show the existence and uniqueness of the positive definite solution by using Bhaskar-Lakshmikantham's coupled fixed point theorem.

• Journal of applied mathematics & informatics
• /
• v.9 no.1
• /
• pp.433-440
• /
• 2002

In this paper, we first prove the existence of fixed points for fuzzy mappings that satisfy a certain contractive condition. Also, we give a fixed point theorem for generalized contractive fuzzy mapping by using Caristi's by fixed point theorem.

• Journal of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.747-756
• /
• 2007

In this paper we give an example of imaginary quadratic number field k such that every ideal of k becomes principal in some proper subfields of the Hilbert class field of k.

• Communications of the Korean Mathematical Society
• /
• v.14 no.3
• /
• pp.635-639
• /
• 1999

We provide a generalization of Whipple's Whipple's quadratic transformation formula for $_3$F$_2$.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.239-246
• /
• 1999

We extend the Ding's vanishing theorem of $\delta$-invariant slightly on a Cohen-Macaulay local ring using the concept of Golod paris. we also investigate the relation between the vanishing of $\delta$-invariant and Hochster's Monomial Conjecture.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.371-377
• /
• 1999

The purpose of this paper is to provide two examples which prove that Cubiotti's theorem and Yao's one on the generalized quasi-variational inequality problem are independent of each other. In addition, we give another example which tells us that certain conditions are essential in Cubiotti's theorem and Yao's one.