Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory. 

Kentaro Fujimoto

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Fingerprint

Dive into the research topics of 'Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory. '. Together they form a unique fingerprint.

Mathematics

Computer Science