Pages that link to "Item:Q2514846"
From MaRDI portal
The following pages link to Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846):
Displayed 3 items.