Publication View

Reconstruction of Gaifman's characterization of Mahlo cardinals (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) (2004)

Takaki, Osamu

Publication details

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