scholarly journals On Roots of Polynomials and Algebraically Closed Fields

2017 ◽  
Vol 25 (3) ◽  
pp. 185-195 ◽  
Author(s):  
Christoph Schwarzweller
Keyword(s):  
Algebraic Theory ◽  
Polynomial Rings ◽  
Multiple Roots ◽  
Real Numbers ◽  
The Real ◽  
Closed Fields ◽  
Roots Of Polynomials ◽  
Algebraically Closed Fields ◽  
Finite Domains ◽  
Identity Theorem

Summary In this article we further extend the algebraic theory of polynomial rings in Mizar [1, 2, 3]. We deal with roots and multiple roots of polynomials and show that both the real numbers and finite domains are not algebraically closed [5, 7]. We also prove the identity theorem for polynomials and that the number of multiple roots is bounded by the polynomial’s degree [4, 6].

scholarly journals A question of van den Dries and a theorem of Lipshitz and Robinson; Not everything is standard

2007 ◽  
Vol 72 (1) ◽  
pp. 119-122 ◽  
Author(s):  
Ehud Hrushovski ◽  
Ya'acov Peterzil
Keyword(s):  
Real Numbers ◽  
The Real ◽  
First Order ◽  
Real Closed Fields ◽  
Minimal Structure ◽  
Closed Fields ◽  
New Construction ◽  
The Relationship

AbstractWe use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers.

scholarly journals Models of true arithmetic are integer parts of models of real exponentation

2021 ◽  
Vol 13 ◽  
Author(s):  
Merlin Carl ◽  
Lothar Sebastian Krapp
Keyword(s):  
Multiplicative Group ◽  
Peano Arithmetic ◽  
Real Closed Field ◽  
Closed Field ◽  
Integer Part ◽  
Real Numbers ◽  
The Real ◽  
Positive Elements ◽  
Closed Fields ◽  
Schanuel's Conjecture

Exploring further the connection between exponentiation on real closed fields and the existence of an integer part modelling strong fragments of arithmetic, we demonstrate that each model of true arithmetic is an integer part of an exponential real closed field that is elementarily equivalent to the real numbers with exponentiation and that each model of Peano arithmetic is an integer part of a real closed field that admits an isomorphism between its ordered additive and its ordered multiplicative group of positive elements. Under the assumption of Schanuel’s Conjecture, we obtain further strengthenings for the last statement.

Relative randomness and real closed fields

2005 ◽  
Vol 70 (1) ◽  
pp. 319-330 ◽  
Author(s):  
Alexander Raichev
Keyword(s):  
Real Number ◽  
Real Closed Field ◽  
Closed Field ◽  
Real Numbers ◽  
The Real ◽  
Real Closed Fields ◽  
Ordered Field ◽  
Closed Fields ◽  
Master's Thesis ◽  
National University

AbstractWe show that for any real number, the class of real numbers less random than it, in the sense of rK-reducibility, forms a countable real closed subfield of the real ordered field. This generalizes the well-known fact that the computable reals form a real closed field.With the same technique we show that the class of differences of computably enumerable reals (d.c.e. reals) and the class of computably approximable reals (c.a. reals) form real closed fields. The d.c.e. result was also proved nearly simultaneously and independently by Ng (Keng Meng Ng, Master's Thesis, National University of Singapore, in preparation).Lastly, we show that the class of d.c.e. reals is properly contained in the class or reals less random than Ω (the halting probability), which in turn is properly contained in the class of c.a. reals, and that neither the first nor last class is a randomness class (as captured by rK-reducibility).

scholarly journals Intersections of Real Closed Fields

1980 ◽  
Vol 32 (2) ◽  
pp. 431-440 ◽  
Author(s):  
Thomas C. Craven
Keyword(s):  
Galois Group ◽  
General Class ◽  
Entire Functions ◽  
Algebraic Closure ◽  
Careful Study ◽  
Real Numbers ◽  
The Real ◽  
Real Closed Fields ◽  
Closed Fields ◽  
Infinite Sequences

In this paper we wish to study fields which can be written as intersections of real closed fields. Several more restrictive classes of fields have received careful study (real closed fields by Artin and Schreier, hereditarily euclidean fields by Prestel and Ziegler [8], hereditarily Pythagorean fields by Becker [1]), with this more general class of fields sometimes mentioned in passing. We shall give several characterizations of this class in the next two sections. In § 2 we will be concerned with Gal , the Galois group of an algebraic closure F over F. We also relate the fields to the existence of multiplier sequences; these are infinite sequences of elements from the field which have nice properties with respect to certain sets of polynomials. For the real numbers, they are related to entire functions; generalizations can be found in [3].

Shuffling of Linear Orders

1995 ◽  
Vol 38 (2) ◽  
pp. 223-229
Author(s):  
John Lindsay Orr
Keyword(s):  
Ordered Set ◽  
Linear Orders ◽  
Real Numbers ◽  
The Real ◽  
Linearly Ordered Set

AbstractA linearly ordered set A is said to shuffle into another linearly ordered set B if there is an order preserving surjection A —> B such that the preimage of each member of a cofinite subset of B has an arbitrary pre-defined finite cardinality. We show that every countable linearly ordered set shuffles into itself. This leads to consequences on transformations of subsets of the real numbers by order preserving maps.

scholarly journals Perfect pseudo-algebraically closed fields are algebraically bounded

2004 ◽  
Vol 271 (2) ◽  
pp. 627-637 ◽  
Author(s):  
Zoé Chatzidakis ◽  
Ehud Hrushovski
Keyword(s):  
Closed Fields ◽  
Algebraically Closed Fields

scholarly journals Nilpotent orbits of exceptional Lie algebras over algebraically closed fields of bad characteristic

1985 ◽  
Vol 38 (3) ◽  
pp. 330-350 ◽  
Author(s):  
D. F. Holt ◽  
N. Spaltenstein
Keyword(s):  
Finite Field ◽  
Lie Algebras ◽  
Closed Field ◽  
Nilpotent Orbits ◽  
Reductive Algebraic Group ◽  
Exceptional Lie Algebras ◽  
Closed Fields ◽  
Characteristic 3 ◽  
Algebraically Closed Fields

AbstractThe classification of the nilpotent orbits in the Lie algebra of a reductive algebraic group (over an algebraically closed field) is given in all the cases where it was not previously known (E7 and E8 in bad characteristic, F4 in characteristic 3). The paper exploits the tight relation with the corresponding situation over a finite field. A computer is used to study this case for suitable choices of the finite field.

Sign in / Sign up

Export Citation Format

Share Document