Sciweavers

67
Voted
JSYML
2010
66views more  JSYML 2010»
14 years 3 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