Re: [math-fun] What is the correct word for . . .
This may be what you want: "real closed fields" encompass all of the solutions of polynomials with integer coefficients & is closed under addition, subtraction, multiplication & division & roots & powers (so long as the roots & powers have fixed constant integer roots & powers). [I believe that the second half of the previous sentence is redundant.] Clearly the elements of real closed fields are a countable set. At 11:41 AM 2/15/2010, Dan Asimov wrote:
. . . real numbers that can be expressed using integers, addition, subtraction, multiplication, division, and integer roots and powers -- starting with integers or rationals?
How about all such (real or) complex numbers?
(As distinguished from the rest of the algebraic numbers.)
--Dan
I meant to say all _real_ solutions of polynomials, etc. At 12:34 PM 2/15/2010, Henry Baker wrote:
This may be what you want: "real closed fields" encompass all of the solutions of polynomials with integer coefficients & is closed under addition, subtraction, multiplication & division & roots & powers (so long as the roots & powers have fixed constant integer roots & powers). [I believe that the second half of the previous sentence is redundant.]
Clearly the elements of real closed fields are a countable set.
At 11:41 AM 2/15/2010, Dan Asimov wrote:
. . . real numbers that can be expressed using integers, addition, subtraction, multiplication, division, and integer roots and powers -- starting with integers or rationals?
How about all such (real or) complex numbers?
(As distinguished from the rest of the algebraic numbers.)
--Dan
On Mon, Feb 15, 2010 at 3:34 PM, Henry Baker <hbaker1@pipeline.com> wrote:
This may be what you want: "real closed fields" encompass all of the solutions of polynomials with integer coefficients & is closed under addition, subtraction, multiplication & division & roots & powers (so long as the roots & powers have fixed constant integer roots & powers). [I believe that the second half of the previous sentence is redundant.]
That's not what he wants. A real closed field is an ordered field in which every odd-degree polynomial has a root. It doesn't encompass all the solutions of polynomials: x^2 + 1 = 0 cannot have root in a real closed field; the ordering axioms make it impossible. But Dan wants only solutions of polynomials that are solvable in radicals. So a real closed field must have an x with x^5 + x = 1, but Dan's field does not.
Clearly the elements of real closed fields are a countable set.
Not true. Any field that satisfies the axioms of a real closed field is a real closed field. The smallest such is countable, but there are uncountable ones too, like the reals. From a logician's point of view, the interesting thing about the real-closed-field axioms is that they are categorical; any statement you can make in a language which talks about elements, +, and *, but not sets of elements, is either true of all real closed fields or false for all of them. Andy
participants (2)
-
Andy Latto -
Henry Baker