Article View: sci.logic
Article #90Re: quantifier elimination
From: H. Enderton
Date: Fri, 24 Jul 1992 22:13
Date: Fri, 24 Jul 1992 22:13
14 lines
1110 bytes
1110 bytes
In article <1992Jul24.151022.7360@cs.albany.edu> subu@cs.albany.edu (Mahadevan Subramaniam) writes: > Can somebody point out to me references for quantifier elimination > over the theory of real numbers. This is in Shoenfield's book, "Mathematical Logic," page 87. Shoenfield gives a model-theoretic proof that the theory of the real ordered field admits elimination of quantifiers. The result is due to Tarski (about 1939, but not published until after the war). There is more recent work on upper and lower bounds on the complexity of implementation of the decision procedure one gets from all this. --Herb Enderton (hbe@math.ucla.edu)
Technical Details
Message-ID:
<1992Jul24.221357.23430@math.ucla.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!sdd.hp.com!elroy.jpl.nasa.gov!ucla-cs!ucla-ma!sonia!hbeReferences:
<1992Jul24.151022.7360@cs.albany.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!sdd.hp.com!elroy.jpl.nasa.gov!ucla-cs!ucla-ma!sonia!hbe From: hbe@sonia.math.ucla.edu (H. Enderton) Newsgroups: sci.logic Subject: Re: quantifier elimination Message-ID: <1992Jul24.221357.23430@math.ucla.edu> Date: 24 Jul 92 22:13:57 GMT References: <1992Jul24.151022.7360@cs.albany.edu> Sender: news@math.ucla.edu Organization: UCLA Mathematics Department Lines: 14