Pages that link to "Item:Q1245857"

The following pages link to An initial segment of the set of polynomial functions with exponentiation (Q1245857):

Displayed 3 items.

• Equational theory of positive numbers with exponentiation is not finitely axiomatizable (Q918968) ‎ (← links)
• An ordinal bound for the set of polynomial functions with exponentiation (Q1245856) ‎ (← links)
• Skolem + Tetration Is Well-Ordered (Q3576033) ‎ (← links)