Sciweavers

JSYML
2010
66views more  JSYML 2010»
13 years 2 months ago
Uniform model-completeness for the real field expanded by power functions
We prove that given any first order formula in the language L = {+,
Tom Foster