Sendai Logic Mathematical Institute, Tohoku University, Sendai, Miyagi, Japan