Pages that link to "Item:Q1825868"
From MaRDI portal
The following pages link to Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers) (Q1825868):
Displaying 4 items.
- Reduction of higher type levels by means of an ordinal analysis of finite terms (Q759749) (← links)
- Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) (Q1121880) (← links)
- Functoroids and ptykoids (Q1345902) (← links)
- Embeddability of ptykes (Q4032649) (← links)
