Pages that link to "Item:Q850804"
From MaRDI portal
The following pages link to The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity (Q850804):
Displaying 9 items.
- Tracking chains of \(\varSigma_2\)-elementarity (Q645983) (← links)
- Ordinal arithmetic based on Skolem hulling (Q866560) (← links)
- \(\Sigma _{1}\)-elementarity and Skolem hull operators (Q866561) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Patterns of resemblance and Bachmann-Howard fixed points (Q2064043) (← links)
- Arithmetical algorithms for elementary patterns (Q2257107) (← links)
- Ordinal arithmetic with simultaneously defined theta-functions (Q2996224) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- Normal forms for elementary patterns (Q5388725) (← links)
