Pages that link to "Item:Q5117344"

The following pages link to Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344):

Displaying 3 items.

• Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
• Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)