Downloads: 97

Files in This Item:
File Description SizeFormat 
1635-11.pdf1.1 MBAdobe PDFView/Open
Title: Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition (Proof theoretical study of the structure of logic and computation)
Authors: Nemoto, Takako
Author's alias: 根元, 多佳子
Issue Date: Apr-2009
Publisher: 京都大学数理解析研究所
Journal title: 数理解析研究所講究録
Volume: 1635
Start page: 121
End page: 133
URI: http://hdl.handle.net/2433/140458
Appears in Collections:Proof theoretical study of the structure of logic and computation

Show full item record

Export to RefWorks


Export Format: 


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.