Results 1 to 10 of about 10,424,114 (215)
SURREAL ORDERED EXPONENTIAL FIELDS [PDF]
The Journal of Symbolic Logic, 2020 In 2001, the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway’s ordered field ${\mathbf {No}}$ of surreal numbers was brought to the fore by the first author and employed to provide necessary and sufficient conditions for an ...
Philip Ehrlich, E. Kaplan
semanticscholar +5 more sources
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]
Logical Methods in Computer Science, 2012 This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
doaj +3 more sources
Ordered Rings and Fields [PDF]
Formalized Mathematics, 2017 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.
Adam Grabowski +2 more
core +6 more sources
*-valuations and ordered *-fields [PDF]
Transactions of the American Mathematical Society, 1980 We generalize elementary valuation theory to *-fields (division rings with involution), apply the generalized theory to the task of ordering *-fields, and give some applications to Hermitian forms.
S. Holland
semanticscholar +3 more sources
Computable fields and arithmetically definable ordered fields [PDF]
Proceedings of the American Mathematical Society, 1970 Introduction. A computable field is one whose elements may be placed in one-one correspondence with the natural numbers in such a way that the number theoretic functions corresponding to the field operations are recursive. In the same vein a field is called arithmetically definable (AD for short) if its elements may be placed in one-one correspondence ...
A. Lachlan, E. W. Madison
semanticscholar +2 more sources
Effective impedance over ordered fields [PDF]
Journal of Mathematical Physics, 2019 In this paper, we study properties of effective impedance of finite electrical networks and calculate the effective impedance of a finite ladder network over an ordered field.
A. Muranova
semanticscholar +5 more sources
Evidence of sp-d Exchange Interactions in CdSe Nanocrystals Doped with Mn, Fe and Co: Atomistic Tight-Binding Simulation [PDF]
NanomaterialsExploiting the atomistic tight-binding theory with the sp-d exchange term, the electronic and magnetic characteristics of CdSe nanoparticles embedded with Mn, Fe and Co are determined as a function of external magnetic fields to realize the sp-d exchange
Pruet Kalasuwan, Worasak Sukkabot
doaj +2 more sources
Ordered fields satisfying Rolle's theorem
Rocky Mountain Journal of Mathematics, 1984 A detailed version of the topics of this paper appeared in the Ill. J. Math. (see the following review).
Ron Brown, T. Craven, M. Pelling
semanticscholar +6 more sources
On partly ordered fields [PDF]
Proceedings of the American Mathematical Society, 1956 D. Dubois
semanticscholar +2 more sources
Some Results on Single Valued Neutrosophic Bi-ideals in Ordered Semigroups [PDF]
Neutrosophic Sets and Systems, 2021 The importance of the theory of neutrosophy is due to its connections with several fields of sciences, engineering, and technology. So, the aim of this paper is to relate neutrosophy with some algebraic structures mainly the ordered semigroups.
H. Al-Akara, M. Al-Tahan, J. Vimala
doaj +1 more source