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

Research output: Contribution to journalArticle (Academic Journal)peer-review

3 Citations (Scopus)

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.

Computer Science

Mathematics