![Model theory / Real algebraic geometry / O-minimal theory / Tarski–Seidenberg theorem / Pfaffian function / Real closed field / Definable set / Semialgebraic set / Quantifier elimination / Abstract algebra / Mathematics / Mathematical logic Model theory / Real algebraic geometry / O-minimal theory / Tarski–Seidenberg theorem / Pfaffian function / Real closed field / Definable set / Semialgebraic set / Quantifier elimination / Abstract algebra / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/46479731223bc911bac71ee477009df6.jpg)
| Document Date: 1999-03-08 15:14:53 Open Document File Size: 204,66 KBShare Result on Facebook
City Stillwater / London / Paris / / Company Knight / RAND Corp. / / Country Netherlands / / / Facility University of Illinois at Chicago / / IndustryTerm crucial tool / obvious uniform algorithm / ordered / / Organization National Science Foundation / Oxford Univ. / University of Illinois at Chicago / / Person David Marker / H. J. Keisler / O. Rabin / C. C. Chang / Blaise Pascal / Duke Math / Theory / A. Robinson / / Position Model / professor of mathematics / / ProvinceOrState Oklahoma / Illinois / Nova Scotia / / Technology LAN / obvious uniform algorithm / /
SocialTag |