Pages that link to "Item:Q5117344"

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

Displaying 1 item.

• Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)