Pages that link to "Item:Q5525369"
From MaRDI portal
The following pages link to A formalization of the theory of ordinal numbers (Q5525369):
Displaying 4 items.
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- The Role of True Finiteness in the Admissible Recursively Enumerable Degrees (Q3370614) (← links)
- Two First-Order Theories of Ordinals (Q5049054) (← links)
- THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES (Q5485749) (← links)