Downloads: 97
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 1635-11.pdf | 1.1 MB | Adobe PDF | View/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 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.