Pages that link to "Item:Q490676"
From MaRDI portal
The following pages link to Goodstein sequences for prominent ordinals up to the ordinal of \(\Pi^1_1\)-\(\mathrm{CA}_0\) (Q490676):
Displaying 4 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION (Q4959664) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)