Results 11 to 20 of about 10,799,493 (290)
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
*-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
openaire +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 ...
Lachlan, A. H., Madison, E. W.
openaire +2 more sources
Definable valuations on ordered fields [PDF]
Model Theory, 2022 We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings $\mathcal{L}_ ...
Philip Dittmann +3 more
semanticscholar +1 more source
Primitive recursive ordered fields and some applications [PDF]
Computer Algebra in Scientific Computing, 2020 We establish primitive recursive (PR) versions of some known facts about computable ordered fields of reals and computable reals, and apply them to prove primitive recursiveness of several important problems in linear algebra and analysis.
V. Selivanov, S. Selivanova
semanticscholar +1 more source
Ordered fields dense in their real closure and definable convex valuations [PDF]
Forum mathematicum, 2020 In this paper, we undertake a systematic model- and valuation-theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the language of ...
Lothar Sebastian Krapp +2 more
semanticscholar +1 more source
An embedding theorem for lattice-ordered fields [PDF]
Pacific Journal of Mathematics, 1969 Conrad, Paul, Dauns, John
openaire +3 more sources
Increasing positive monoids of ordered fields are FF-monoids [PDF]
Journal of Algebra, 2016 Given an ambient ordered field K, a positive monoid is a countably generated additive submonoid of the nonnegative cone of K. In this paper, we first generalize several atomic features exhibited by Puiseux monoids of the field of rational numbers to the ...
F. Gotti
semanticscholar +1 more source
Highly ordered magnetic fields in the tail of the jellyfish galaxy JO206 [PDF]
, 2020 Jellyfish galaxies have long tails of gas that is stripped from the disk by ram pressure due to the motion of galaxies in the intracluster medium in galaxy clusters. Here, we present the magnetic field strength and orientation within the disk and the (90-
Ancla Müller +10 more
semanticscholar +1 more source
Effective impedance over ordered fields [PDF]
, 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 +1 more source