スポンサーリンク
[Research Institute for Mathematical Sciences, Kyoto University] | 論文
- On the Finite Model Property for Kripke Models
- Axiomatization of Models for Intermediate Logics Constructed with Boolean Models by Piling Up
- Some Results on the Intermediate Logics
- Kripke Models and Intermediate Logics
- On the Isomorphism Problem for Endomorphisms of Lebesgue Spaces, II
- On the Isomorphism Problem for Endomorphisms of Lebesgue Spaces, I
- Limitierungsverfahren von Reihen mehrdimensionaler Kugelfunktionen und deren Saturationsverhalten
- A Study of Intermediate Predicate Logics
- On the Definition of $C^*$-algebras
- On Canonical Forms of Singularities of $C^{\infty }$ Function Germs of Higher Codimension
- On Germs of Differentiable Functions in Two Variables
- Some remarks on the orthogonality of generalized eigenfunctions for singular second-order differential equations
- Eigenfunction Expansions Associated with Second-order Differential Equations for Hilbert Space-valued Functions
- On the diagonalization of the measure matrix in the eigenfunction expansion for ordinary differential equations of the second order
- On the Inverse of Monoidal Transformation
- Vanishing Theorems for Weakly 1-Complete Manifolds, II : Dedicated to Professor Joyo Kanitani for his 80th birthday
- Supplement to "On the Inverse of Monoidal Transformation"
- Extension problem of complex line bundles for Kahler surfaces
- Infinite dimensional Laplacian and spherical harmonics
- Kolmogorov's Extension Theorem for Infinite Measures