Pages that link to "Item:Q5117344"
From MaRDI portal
The following pages link to Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344):
Displaying 4 items.
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- Bar induction and \(\omega\) model reflection (Q1302306) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)