^{Notes on some second-order systems of iterated inductive definitions and Π₁¹-comprehensions and relevant subsystems of set theory.}

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

3 Citations (Scopus)

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