Search references for ORDERED FIELD. Phrases containing ORDERED FIELD
See searches and references containing ORDERED FIELD!ORDERED FIELD
Algebraic object with an ordered structure
an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Basic examples of ordered fields
Ordered_field
Number representing a continuous quantity
real numbers form the unique (up to an isomorphism) Dedekind-complete ordered field. Other common definitions of real numbers include equivalence classes
Real_number
Mathematical property of algebraic structures
is a property held by some algebraic structures, such as ordered or normed groups, and fields. The property, as typically construed, states that given
Archimedean_property
Algebraic structure with addition, multiplication, and division
an ordered field, with the usual ordering ≥. The Artin–Schreier theorem states that a field can be ordered if and only if it is a formally real field, which
Field_(mathematics)
Order whose elements are all comparable
numbers. Every ordered field contains an ordered subfield that is isomorphic to the rational numbers. Any Dedekind-complete ordered field is isomorphic
Total_order
Ordered field with a function generalizing the exponential function
an ordered exponential field is an ordered field together with a function which generalises the idea of exponential functions on the ordered field of
Ordered_exponential_field
Ordered field where every nonnegative element is a square
In mathematics, a Euclidean field is an ordered field K for which every non-negative element is a square: that is, x ≥ 0 in K implies that x = y2 for
Euclidean_ordered_field
Ordered field that does not satisfy the Archimedean property
mathematics, a non-Archimedean ordered field is an ordered field that does not satisfy the Archimedean property. Such fields will contain infinitesimal and
Non-Archimedean_ordered_field
Mathematical relation making a non-equal comparison
involved. More generally, this applies for an ordered field. For more information, see § Ordered fields. The property for the additive inverse states
Inequality_(mathematics)
Quotient of two integers
{Q} } is an ordered field that has no subfield other than itself, and is the smallest ordered field, in the sense that every ordered field contains a unique
Rational_number
rationals and reals in fact form ordered fields.) The complex numbers, in contrast, do not form an ordered ring or field, because there is no inherent order
Ordered_ring
Geometry where the axiom of Archimedes is negated
ordered field, or a subset thereof. The aforementioned Dehn plane takes the self-product of the finite portion of a certain non-Archimedean ordered field
Non-Archimedean_geometry
Class of mathematical orderings
well order, well ordered, and well ordering. Every non-empty well-ordered set has a least element. Every element s of a well-ordered set, except a possible
Well-order
complete ordered field that does not contain any smaller complete ordered field. Such a definition does not prove that such a complete ordered field exists
Construction of the real numbers
Construction_of_the_real_numbers
Mathematical set with an ordering
combinatorics Nested set collection Order polytope Ordered field – Algebraic object with an ordered structure Ordered group – Group with a compatible partial orderPages
Partially_ordered_set
Group with a compatible partial order
Linearly ordered group – Group with translationally invariant total order Ordered field – Algebraic object with an ordered structure Ordered ring Ordered topological
Partially_ordered_group
System of numbers with non-finite quantities
In mathematics, the Levi-Civita field, named after Tullio Levi-Civita, is a non-Archimedean ordered field; i.e., a system of numbers containing infinite
Levi-Civita_field
Field in mathematics similar to the real numbers
ordered field. The following fields are real closed, which can be shown by verifying property 2 above: the field of real algebraic numbers; the field
Real_closed_field
Well-quasi-ordering of finite trees
states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding. A finitary application
Kruskal's_tree_theorem
Extremely small quantity in calculus; thing so small that there is no way to measure it
include both hyperreal cardinal and ordinal numbers, which is the largest ordered field. Vladimir Arnold wrote in 1990: Nowadays, when teaching analysis, it
Infinitesimal
Mathematical field
mathematics, the field T L E {\displaystyle \mathbb {T} ^{LE}} of logarithmic-exponential transseries is a non-Archimedean ordered differential field which extends
Transseries
Element of a nonstandard model of the reals, which can be infinite or infinitesimal
chosen a different free ultrafilter V, the quotient field A/U would be isomorphic as an ordered field to A/V. This question turns out to be equivalent to
Hyperreal_number
Used to count, measure, and label
nonstandard reals (usually denoted as *R), denote an ordered field that is a proper extension of the ordered field of real numbers R and satisfies the transfer
Number
Generalization of the real numbers
they form an ordered field. If formulated in von Neumann–Bernays–Gödel set theory, the surreal numbers are a universal ordered field in the sense that
Surreal_number
Field that can be equipped with an ordering
equipped with an (not necessarily unique) ordering that makes it an ordered field. The definition given above is not a first-order definition, as it requires
Formally_real_field
Vector space with a partial order
In mathematics, an ordered vector space or partially ordered vector space is a real vector space equipped with a partial order that is compatible with
Ordered_vector_space
Order-preserving mathematical function
mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves or reverses the given order. This concept first arose
Monotonic_function
Theorem in real analysis
completeness of the real numbers. If the domain is a non-complete densely ordered field, one can exploit the 'holes' in the domain to construct a function that
Rolle's_theorem
Mathematical field with an extra operation
Considering the ordered field R {\displaystyle \mathbb {R} } equipped with this function gives the ordered real exponential field, denoted R exp = (
Exponential_field
Number with a real and an imaginary part
systems. Unlike the reals, C {\displaystyle \mathbb {C} } is not an ordered field, that is to say, it is not possible to define a relation z1 < z2 that
Complex_number
Form of geometry without distances
Ordered geometry is a form of geometry featuring the concept of intermediacy (or "betweenness") but, like projective geometry, omitting the basic notion
Ordered_geometry
Type of ordering of a set
covering relation is empty. The rational numbers as a linearly ordered set are a densely ordered set in this sense, as are the algebraic numbers, the real
Dense_order
Nonexistence of gaps in the number line
an ordered field satisfying some version of the completeness axiom. Different versions of this axiom are all equivalent in the sense that any ordered field
Completeness of the real numbers
Completeness_of_the_real_numbers
Mathematics of real numbers and real functions
the real numbers a field, and, along with the order, an ordered field. The real number system is the unique complete ordered field, in the sense that
Real_analysis
Metric geometry
ordered field. In general, when we define metric space the distance function is taken to be a real-valued function. The real numbers form an ordered field
Generalised_metric
Regression model for ordinal dependent variables
dependent variable falling into a higher category. Ordered logistic regressions have been used in multiple fields, such as transportation, marketing or disaster
Ordered_logit
Mathematical proposition equivalent to the axiom of choice
theory. It states that a partially ordered set containing upper bounds for every chain (that is, every totally ordered subset) necessarily contains at least
Zorn's_lemma
Quantale Partially ordered monoid Ordered group Archimedean property Ordered ring Ordered field Artinian ring Noetherian Linearly ordered group Monomial order
List_of_order_theory_topics
Mathematical ranking of a set
generalization of totally ordered sets (rankings without ties) and are in turn generalized by (strictly) partially ordered sets and preorders. There are
Weak_ordering
Set whose pairs have minima and maxima
descriptions. The sub-field that studies lattices is called lattice theory. A lattice can be defined either order-theoretically as a partially ordered set, or as
Lattice_(order)
Generalisation of the exponential integral to non-commutative algebras
ordered exponential is used in matrix and operator algebras. It is a kind of product integral, or Volterra integral. Let A be an algebra over a field
Ordered_exponential
Partially ordered topological space
In mathematics, a partially ordered space (or pospace) is a topological space X {\displaystyle X} equipped with a closed partial order ≤ {\displaystyle
Partially_ordered_space
Partial quantifier elimination for ordered fields with exponentials
mathematics, Wilkie's theorem is a result by Alex Wilkie about the theory of ordered fields with an exponential function, or equivalently about the geometric nature
Wilkie's_theorem
Field in which every sum of two squares is a square
field is the minimal ordered Pythagorean field. Every Euclidean field (an ordered field in which all non-negative elements are squares) is an ordered
Pythagorean_field
Partially ordered vector space, ordered as a lattice
In mathematics, a Riesz space, lattice-ordered vector space or vector lattice is a partially ordered vector space where the order structure is a lattice
Riesz_space
Certain topology in mathematics
totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets. If X is a totally ordered set,
Order_topology
Ring with a compatible partial order
with translationally invariant total order Ordered field – Algebraic object with an ordered structure Ordered group – Group with a compatible partial orderPages
Partially_ordered_ring
Form of logic that allows quantification over predicates
only one Archimedean complete ordered field, along with the fact that all the axioms of an Archimedean complete ordered field are expressible in second-order
Second-order_logic
Group with translationally invariant total order
In mathematics, specifically abstract algebra, a linearly ordered or totally ordered group is a group G equipped with a total order "≤" that is translation-invariant
Linearly_ordered_group
Visual depiction of a partially ordered set
represent a finite partially ordered set, in the form of a drawing of its transitive reduction. Concretely, for a partially ordered set ( S , ≤ ) {\displaystyle
Hasse_diagram
Branch of mathematics
orders, numerous special kinds of ordered sets have been defined, some of which have grown into mathematical fields of their own. In addition, order theory
Order_theory
Special type of lattice
z in L: x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z). Viewing lattices as partially ordered sets, this says that the meet operation preserves non-empty finite joins
Distributive_lattice
Alternative mathematical ordering
partial cyclic order. A set with a cyclic order is called a cyclically ordered set or simply a cycle.[nb] Some familiar cycles are discrete, having only
Cyclic_order
(functional analysis) – Topology of an ordered vector space Ordered field – Algebraic object with an ordered structure Ordered group – Group with a compatible
Ordered topological vector space
Ordered_topological_vector_space
Branch of mathematical logic
that the latter form an ordered field). Basic properties of the real numbers (the real numbers are an Archimedean ordered field; any nested sequence of
Reverse_mathematics
Size of subsets in order theory
mathematics, especially in order theory, the cofinality cf(A) of a partially ordered set A is the least of the cardinalities of the cofinal subsets of A. Formally
Cofinality
mathematics, and more specifically in order theory, several different types of ordered set have been studied. They include: Cyclic orders, orderings in which
List of order structures in mathematics
List_of_order_structures_in_mathematics
Field theory is the branch of algebra that studies fields
example, Complex conjugate. Finite field A field with finitely many elements, a.k.a. Galois field. Ordered field A field with a total order compatible with
Glossary_of_field_theory
Type of homogeneous polynomial of degree 2
More generally, these definitions apply to any vector space over an ordered field. Quadratic forms correspond one-to-one to symmetric bilinear forms over
Definite_quadratic_form
Smallest integer n for which n equals 0 in a ring
rational fractions over the integers or a field of characteristic zero are other common examples. Ordered fields always have characteristic zero; they include
Characteristic_(algebra)
Subset of incomparable elements
partially ordered set such that any two distinct elements in the subset are incomparable. The size of the largest antichain in a finite partially ordered set
Antichain
Mathematical formal infinite series
{\displaystyle K} is an ordered field then K [ [ T Γ ] ] {\displaystyle K\left[\left[T^{\Gamma }\right]\right]} is totally ordered by making the indeterminate
Hahn_series
Isomorphism type of ordered sets
In mathematics, especially in set theory, two ordered sets X and Y are said to have the same order type if they are order isomorphic, that is, if there
Order_type
Mathematical ring
real closure of an ordered field is in general not the real closure of the underlying field. For example, the real closure of the ordered subfield Q ( 2 )
Real_closed_ring
Property of elements related by inequalities
x{\cancel {\overset {<}{\underset {>}{=}}}}y} is true. A totally ordered set is a partially ordered set in which any two elements are comparable. The Szpilrajn
Comparability
Function in algebra
by an abelian totally ordered group. A field with a valuation on it is called a valued field. A discrete valuation on a field K is a function: ν : K
Valuation_(algebra)
Special subset of a partially ordered set
mathematics, a filter or order filter is a special subset of a partially ordered set (poset), describing "large" or "eventual" elements. Filters appear
Filter_(mathematics)
Characterizes the height of any finite partially ordered set
combinatorics, Mirsky's theorem characterizes the height of any finite partially ordered set in terms of a partition of the order into a minimum number of antichains
Mirsky's_theorem
On chains and antichains in partial orders
combinatorics, Dilworth's theorem states that, in any finite partially ordered set, the maximum size of an antichain of incomparable elements equals the
Dilworth's_theorem
Concept in model theory
the hyperreal numbers form a non-Archimedean ordered field and the reals form an Archimedean ordered field, the property of being Archimedean ("every positive
Transfer_principle
Relationship between elements of two sets
relation over sets X {\displaystyle X} and Y {\displaystyle Y} is a set of ordered pairs ( x , y ) {\displaystyle (x,y)} , where x {\displaystyle x} is an
Binary_relation
Concept in model theory
ordered field of reals. Similarly, the infinite set of formulas (over the empty set) {x>1, x>1+1, x>1+1+1, ...} is not realized in the ordered field of
Type_(model_theory)
Procedure of ordering a product operators
trace in order to be gauge-invariant. In quantum field theory it is useful to take the time-ordered product of operators. This operation is denoted by
Path-ordering
Topics referred to by the same term
absolute value notably, p-adic numbers Non-Archimedean ordered field, namely: Levi-Civita field Hyperreal numbers Surreal numbers Dehn planes This disambiguation
Non-Archimedean
Lattice formed by all integer partitions
lattice is a lattice (and hence also a partially ordered set) Y formed by all integer partitions ordered by inclusion of their Young diagrams (or Ferrers
Young's_lattice
Number system extending the rational numbers
Q p {\displaystyle \mathbb {Q} _{p}} cannot be turned into an ordered field. The field of real numbers R {\displaystyle \mathbb {R} } has only a single
P-adic_number
Archimedean circle Archimedean copula Archimedean group Archimedean ordered field Archimedean point Archimedean property Archimedean solid Archimedean
List of things named after Archimedes
List_of_things_named_after_Archimedes
Graph linking pairs of comparable elements in a partial order
comparable to each other in a partial order. For any strict partially ordered set (S,<), the comparability graph of (S, <) is the graph (S, ⊥) of which
Comparability_graph
Mathematical property of subsets in order theory
partially ordered set A {\displaystyle A} admits a totally ordered cofinal subset, then we can find a subset B {\displaystyle B} that is well-ordered and cofinal
Cofinal_(mathematics)
Product of a number by itself
square" has been generalized to the notion of a real closed field, which is an ordered field such that every non-negative element is a square and every
Square_(algebra)
Topics referred to by the same term
Euclidean field may refer to Euclidean ordered field Euclidean number field This disambiguation page lists mathematics articles associated with the same
Euclidean_field
Mathematical set closed under positive linear combinations
definition of a convex cone makes sense in a vector space over any ordered field, although the field of real numbers is used most often. A subset C {\displaystyle
Convex_cone
Concept in algebra
valuation rings of a field F is that valuation rings D of F have F as their field of fractions, and their ideals are totally ordered by inclusion; or equivalently
Valuation_ring
There are equally many countable order types and real numbers
can have no higher cardinality. Plotkin, J. M., ed. (2005). Hausdorff on Ordered Sets. History of Mathematics. Vol. 25. American Mathematical Society. p
Cantor–Bernstein_theorem
British alleged murderer
Field's conviction was quashed by the Court of Appeal and judges ordered a retrial. Field was a doctoral student and voluntary unpaid assistant churchwarden
Ben_L._Field
a well-quasi-ordering. That is, for every infinite sequence of totally-ordered countable sets, there exists an order embedding from an earlier member
Laver's_theorem
Type of mathematical space
ideals whose residue fields are proper ordered field extensions of R {\displaystyle \mathbb {R} } , often called hyperreal fields. In the framework of
Compact_space
Banach space with a compatible structure of a lattice
that is complete Normed vector lattice Riesz space – Partially ordered vector space, ordered as a lattice Lattice (order) – Set whose pairs have minima and
Banach_lattice
Second-order theory of the real numbers
more usual definition of real numbers as the unique Dedekind-complete ordered field; it is however made much more concise by avoiding multiplication altogether
Tarski's axiomatization of the reals
Tarski's_axiomatization_of_the_reals
Subset of a preorder that contains all larger elements
antichain. Upper sets and lower sets appear in various fields of mathematics. In the totally ordered set of the real numbers ( R , ≤ ) {\displaystyle (\mathbb
Upper_and_lower_sets
Statement that is taken to be true
picked out (up to isomorphism) by the properties of a Dedekind complete ordered field, meaning that any nonempty set of real numbers with an upper bound has
Axiom
Abstraction of ordered linear algebra
directed graphs, vector arrangements over ordered fields, and hyperplane arrangements over ordered fields. In comparison, an ordinary (i.e., non-oriented)
Oriented_matroid
Mathematical ordering of a partial order
partial order. As a classic example, the lexicographic order of totally ordered sets is a linear extension of their product order. A partial order is a
Linear_extension
Mathematical relation inside orderings
mathematics, especially order theory, the covering relation of a partially ordered set is the binary relation which holds between comparable elements that
Covering_relation
Nonempty, upper-bounded, downward-closed subset
mathematical order theory, an ideal is a special subset of a partially ordered set (poset). Although this term historically was derived from the notion
Ideal_(order_theory)
Sum of terms, each multiplied with a scalar
field (or ring), but conical and convex combination require a notion of "positive", and hence can only be defined over an ordered field (or ordered ring)
Linear_combination
Term in the mathematical area of order theory
mathematical area of order theory, every partially ordered set P gives rise to a dual (or opposite) partially ordered set which is often denoted by Pop or Pd. This
Duality_(order_theory)
Mathematical concept
f < g if g − f is eventually strictly positive. This turns H into an ordered field. Note that f < g is not equivalent to the limit of f being less than
Hardy_field
In mathematics, especially order theory, a prefix ordered set generalizes the intuitive concept of a tree by introducing the possibility of continuous
Prefix_order
notion, many important infinitary operations do not preserve well-quasi-orderedness. An example due to Richard Rado illustrates this. In a 1965 paper Crispin
Better-quasi-ordering
ORDERED FIELD
ORDERED FIELD
Surname or Lastname
English (Lancashire)
English (Lancashire) : habitational name from a place in Lancashire, called Ormerod, from the Old Norse personal name Ormr (see Orme 1) or Ormarr (a compound of orm ‘serpent’ + herr ‘army’) + Old English rod ‘clearing’.
Boy/Male
American, British, Christian, English
Brave; Brave Counselor
Boy/Male
African, Indian, Sanskrit
Clear Spoken Person; Ordered
Boy/Male
Tamil
Orderly
Girl/Female
English, Peruvian
Plaster; Powdered
Girl/Female
African, Arabic, Muslim
Well-ordered; Well-arranged
Boy/Male
Hindu, Indian, Telugu
Bordered; Friendly Element
Boy/Male
Tamil
Mitanshu | மீதாஂஷà¯Â
Bordered, Friendly element
Mitanshu | மீதாஂஷà¯Â
Girl/Female
Greek
Murdered Agamemnon.
Boy/Male
English Arthurian Legend
Brave.
Male
English
Old English Arthurian legend name of a Knight of the Round Table who was the illegitimate son and traitor of King Arthur, possibly MORDRED means "sea counsel." He was brother (or half-brother) to Agravain, Gaheris, Gareth, and Gawain, and noted for having crowned himself and married Guinevere while Arthur was waging war on Emperor Lucius of Rome. He was killed by Arthur at the Battle of Camlann.Â
Male
Arthurian
, a son of Lot; traitor to Arthur.
Girl/Female
Indian
Well-arranged, Well-ordered
Boy/Male
Indian
Responsibility; Ordered
Boy/Male
Indian
Ordered, Pasted, Appointed
Girl/Female
Shakespearean
The Tragedy of Macbeth' Lady Macduff, wife to Macduff, murdered on Macbeth's orders.
Boy/Male
Muslim
Ordered, Pasted, Appointed
Boy/Male
Hindu
Orderly
Boy/Male
Arabic, Australian, Muslim
Ordered; Appointed
Girl/Female
Muslim
Well-arranged, Well-ordered
ORDERED FIELD
ORDERED FIELD
Girl/Female
Muslim
Cloudlet
Girl/Female
Tamil
Spiritual, Sacred, Divine
Boy/Male
Indian, Punjabi, Sikh
Absorbed in the Love of God
Girl/Female
Hindu, Indian, Marathi, Telugu
Beautiful
Boy/Male
Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi, Mythological, Telugu, Traditional
Name of Lord Krishna
Biblical
remaining; hand of a prince
Boy/Male
Tamil
Name of Indra
Girl/Female
Hindu
Boy/Male
Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi, Telugu
Victorious
Boy/Male
Gaelic
Pale.
ORDERED FIELD
ORDERED FIELD
ORDERED FIELD
ORDERED FIELD
ORDERED FIELD
n.
A noncommissioned officer or soldier who attends a superior officer to carry his orders, or to render other service.
n.
One who gives orders.
a.
Having three corners, or angles; as, a three-cornered hat.
n.
To give an order for; to secure by an order; as, to order a carriage; to order groceries.
n.
To give an order to; to command; as, to order troops to advance.
adv.
According to due order; regularly; methodically; duly.
n.
One who puts in order, arranges, methodizes, or regulates.
a.
Observant of order, authority, or rule; hence, obedient; quiet; peaceable; not unruly; as, orderly children; an orderly community.
a.
Performed in good or established order; well-regulated.
a.
Conformed to order; in order; regular; as, an orderly course or plan.
a.
Well-ordered; orderly; regular; methodical.
imp. & p. p.
of Order
v. i.
To give orders; to issue commands.
a.
Covered or adorned with osiers; as, osiered banks.
a.
Being on duty; keeping order; conveying orders.
a.
Having three prominent longitudinal angles; as, a three-cornered stem.
n.
An assemblage of genera having certain important characters in common; as, the Carnivora and Insectivora are orders of Mammalia.
n.
Right arrangement; a normal, correct, or fit condition; as, the house is in order; the machinery is out of order.
n.
An ecclesiastical grade or rank, as of deacon, priest, or bishop; the office of the Christian ministry; -- often used in the plural; as, to take orders, or to take holy orders, that is, to enter some grade of the ministry.
n.
To admit to holy orders; to ordain; to receive into the ranks of the ministry.