Pages that link to "Item:Q1245856"
From MaRDI portal
The following pages link to An ordinal bound for the set of polynomial functions with exponentiation (Q1245856):
Displayed 4 items.
- Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\) (Q1015376) (← links)
- Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium) (Q3313843) (← links)
- Skolem + Tetration Is Well-Ordered (Q3576033) (← links)
- ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS (Q5082063) (← links)