和手 正道

Axiom of Power Set in Lre 

Proc. Inst., Nat. Sci. NIHON Univ. 34 1999年  

Axiom of Power Set in L^re 

Proc. Inst. Nat. Sci. Nihon Univ. (34) 1999年  

集合論におけるrecursive enumerability 

アルゴリズムと計算の理論 1998年  

「Recursive enumerability in set theory」 

1041 119-126 1998年  

Axiom of separation of L^re 

Proceeding of the Institute of Natural Sciences Nihon University 33 165-166 1998年  

RECURSIVE ENUMERABILITY IN SET THEORY(共著) 

1041 119-126 1998年  

Axiom of Separation of L^re 

Proc. Inst. Nat. Sci. Nihon Univ. 33 165-166 1998年  

構成的順序数の拡張 

日本大学文理学部自然科学研究所「研究紀要」 (32) 1997年  

Extension of Constructive Ordinals 

Proc. Inst. Nat. Sci. Nihon Univ. (32) 1997年  

Extension of constructive ordinals 

Proc. Inst. Nat. Sci. Nihon Univ. 32 69-75 1997年  

Compulable set theory 

Proc.Inst.Nat.Sci.Nihon Univ 31 153-157 1996年  

On the Turing machine with polynomial time transition function 

Proc. Inst. Nat. Sci. Nihon Univ. 29,81-83 1994年  

On a boundary of the linear-time transition functions 

Proc. Inst. Nat. Sci. Nihon University 25 1990年