The following pages link to (Q4302424):
Displaying 4 items.
- The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity (Q850804) (← links)
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
