Concept
Corps réel clos
Concepts associés (26)
Série de Puiseux
En mathématiques, les séries de Puiseux sont une généralisation des séries formelles, introduites pour la première fois par Isaac Newton en 1676 et redécouvertes par Victor Puiseux en 1850, qui permet à l'exposant de l'indéterminée d'être négatif ou fractionnel (tout en étant, pour une série donnée, borné inférieurement et de dénominateur borné). Une série de Puiseux d'indéterminée T est une série formelle de Laurent en T (où n est un entier strictement positif) ; elle peut donc s'écrire : avec k entier relatif.
Non-Archimedean ordered field
In mathematics, a non-Archimedean ordered field is an ordered field that does not satisfy the Archimedean property. Examples are the Levi-Civita field, the hyperreal numbers, the surreal numbers, the Dehn field, and the field of rational functions with real coefficients with a suitable order. The Archimedean property is a property of certain ordered fields such as the rational numbers or the real numbers, stating that every two elements are within an integer multiple of each other.
Sentence (mathematical logic)
In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that must be true or false. The restriction of having no free variables is needed to make sure that sentences can have concrete, fixed truth values: as the free variables of a (general) formula can range over several values, the truth value of such a formula may vary.
Real algebraic geometry
In mathematics, real algebraic geometry is the sub-branch of algebraic geometry studying real algebraic sets, i.e. real-number solutions to algebraic equations with real-number coefficients, and mappings between them (in particular real polynomial mappings). Semialgebraic geometry is the study of semialgebraic sets, i.e. real-number solutions to algebraic inequalities with-real number coefficients, and mappings between them. The most natural mappings between semialgebraic sets are semialgebraic mappings, i.
Archimédien
À l'origine, l'énoncé de l'axiome d'Archimède est le suivant : « Pour deux grandeurs inégales, il existe toujours un multiple entier de la plus petite, supérieur à la plus grande. » Une structure algébrique est dite archimédienne si ses éléments vérifient une telle propriété. Intuitivement, la propriété d'Archimède indique que pour deux valeurs, la plus grande pourra toujours être mesurée à l'aune de la plus petite : en ajoutant un nombre fini de fois la plus petite valeur, on finira toujours par dépasser la plus grande.
O-minimal theory
In mathematical logic, and more specifically in model theory, an infinite structure (M,