Pages that link to "Item:Q1218443"
From MaRDI portal
The following pages link to Polynomial functions with exponentiation are well ordered (Q1218443):
Displayed 10 items.
- Growth estimates for exp-log functions (Q803299) (← links)
- Equational theory of positive numbers with exponentiation is not finitely axiomatizable (Q918968) (← links)
- Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\) (Q1015376) (← links)
- A notion of mechanistic theory (Q1217700) (← links)
- An ordinal bound for the set of polynomial functions with exponentiation (Q1245856) (← links)
- An initial segment of the set of polynomial functions with exponentiation (Q1245857) (← links)
- Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium) (Q3313843) (← links)
- Skolem + Tetration Is Well-Ordered (Q3576033) (← links)
- A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets (Q3576087) (← links)
- (Q3861404) (← links)