Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

JSYML
2010

favoriteEmaildiscussreport

66views more JSYML 2010»

Uniform model-completeness for the real field expanded by power functions

12 years 11 months ago

Uniform model-completeness for the real field expanded by power functions

Download people.maths.ox.ac.uk

We prove that given any first order formula in the language L = {+,

Tom Foster

Real-time Traffic

JSYML 2010 | Order Formula | Unary Function Symbols |

claim paper

Post Info
More Details (n/a)

Added	20 May 2011
Updated	20 May 2011
Type	Journal
Year	2010
Where	JSYML
Authors	Tom Foster

Comments (0)