Pages that link to "Item:Q408160"

The following pages link to Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal (Q408160):

Displaying 1 item.

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)