Sciweavers

JSYML
2010
66views more  JSYML 2010»
12 years 11 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