The following pages link to (Q5450322):
Displaying 6 items.
- Equational theory of positive numbers with exponentiation is not finitely axiomatizable (Q918968) (← links)
- The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field (Q2342296) (← links)
- Model theory and exponentiation. (Q2769090) (← links)
- The first-order theory of raising to an infinite power (Q3078332) (← links)
- Models of true arithmetic are integer parts of models of real exponentation (Q4989722) (← links)
- Embedding the prime model of real exponentiation into o‐minimal exponential fields (Q6152027) (← links)
