On Ordered Fields and Definite Functions.
A. Robinson (1955/56)
Mathematische Annalen
Similarity:
Displaying similar documents to “Further Remarks on Ordered Fields and Definite Functions.”
On Ordered Fields and Definite Functions.
Halblineare Transformationen
J. Haantjes (1937)
Mathematische Annalen
Similarity:
Vector Fields and Chern Numbers.
J.B. Carrell, D.L Liebermann (1977)
Mathematische Annalen
Similarity:
Integral Repesentation of Dominated Operations on Space of Continuous Vector Fields
N. Dinculeanu (1967)
Mathematische Annalen
Similarity:
Group-Like Structures in General Categories I. Multiplications and Comultiplications.
B. ECKMANN, P.J. HILTON (1962)
Mathematische Annalen
Similarity:
A Relation Between Adjoint Multidifferential Polynomials and Transposed Matrices for Fields of Prime Characteristic.
A. Jaeger (1955/56)
Mathematische Annalen
Similarity:
A Representation of Multidifferential Polynomials in Fields of Prime Characteristic.
A. Jaeger (1955/56)
Mathematische Annalen
Similarity:
A Short Note on Henselian Fields
P. Ribenboim (1967)
Mathematische Annalen
Similarity:
Decidable Theories of Preordered Fields.
Alexander Prestel (1981)
Mathematische Annalen
Similarity:
On Solvability by Radicals of Finite Fields.
R. Fray, R. Gilmer (1972)
Mathematische Annalen
Similarity:
On a Proof that every Aggregate can be well-ordered.
Ph.E.B. Jourdain (1905)
Mathematische Annalen
Similarity:
On a Set of Rings Contained in a Field of Rational Functions.
F.J. Terpstra (1957)
Mathematische Annalen
Similarity:
Ordered Rings and Fields
Christoph Schwarzweller (2017)
Formalized Mathematics
Similarity:
We introduce ordered rings and fields following Artin-Schreier’s approach using positive cones. We show that such orderings coincide with total order relations and give examples of ordered (and non ordered) rings and fields. In particular we show that polynomial rings can be ordered in (at least) two different ways [8, 5, 4, 9]. This is the continuation of the development of algebraic hierarchy in Mizar [2, 3].
Integral Domains with Quotient Overrings.
R. GILMER, J. OHM (1964)
Mathematische Annalen
Similarity:
On Rings in which an (a) = a.
A.L. FOSTER, I SUSSMAN (1960)
Mathematische Annalen
Similarity: