Publication View

Representation of successor-type proof-theoretically regular ordinals via limits (Algebra, Languages and Computation) (2005)

Publication details

Download	http://hdl.handle.net/2433/47472
Publisher	京都大学数理解析研究所
Contributors	高木, 理
Repository	Kyoto University Research Information Repository (KURENAI) ()
Keywords	410
Type	Departmental Bulletin Paper
Language	English