From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3296 Path: news.gmane.org!not-for-mail From: Michael Barr Newsgroups: gmane.science.mathematics.categories Subject: RE: Construction of a real closure Date: Thu, 4 May 2006 19:28:34 -0400 (EDT) Message-ID: <38052.9483817101$1241019211@news.gmane.org> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241019211 8128 80.91.229.2 (29 Apr 2009 15:33:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:33:31 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri May 5 09:32:14 2006 -0300 X-Keywords: X-UID: 216 Original-Lines: 46 Xref: news.gmane.org gmane.science.mathematics.categories:3296 Archived-At: I don't think this is what I was asking, although it may be related. Certainly, the context I have is one in which if you have a real closure and adjoin i, you get an algebraic closure. And the real closure is unique because it is the usual real closure. In fact, the usual real closure is used to prove some things. As I said, the construction is constructive; the proofs are classical. Let me give an example of the flavor. Suppose you want to have a square root of a > 0. It is decidable (by hypothesis) if a > 0; what may not be decidable is whether a has a square root. What the student did (he credits Joyal with some of the main ideas, BTW, and this may be one of them) was to form F[x]/I where I is the ideal of all polynomials that vanish at sqrt(a). Even though it may not be decidable if sqrt(a) in F, it is still decidable if a polynomial vanishes there. First use Sturm's criterion to find an interval that contains exactly one root of f(x) = x^2 - a (in a real closure) and then for any polynomial g, g is in I iff gcd(f,g) has a root in that interval, again using Sturm's criterion. Clearly, F[x]/I contains a square root of a, even if it is not decidable whether that field is F. Michael On Thu, 4 May 2006, Marta Bunge wrote: > > Dear Michael, > > >Is there a reference for the fact that a countable decidably ordered field > >has a constructable (and decidably ordered) real closure? > > > > In my paper "Sheaves and Prime Model Extensions", J. of Algebra 68 (1981) > 79-96, there is a proof of the existence of the real closure of an ordered > field in any elementary topos, plus considerations about the failure of the > existence of the algebraic closure. The context is more general (model > theory in toposes), and there are other instances which I do not recall > offhand. Maybe that is not what you are asking? I thought that I would > mention it, just in case. > > Best, > Marta > >