Matches in SemOpenAlex for { <https://semopenalex.org/work/W1974524462> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1974524462 endingPage "91" @default.
- W1974524462 startingPage "82" @default.
- W1974524462 abstract "In this paper, we show that the theory of ordered differential fields has a model completion. We also show that any real differential field, finitely generated over the rational numbers, is isomorphic to some field of real meromorphic functions. In the last section of this paper, we combine these two results and discuss the problem of deciding if a system of differential equations has real analytic solutions. The author wishes to thank G. Stengle for some stimulating and helpful conversations and for drawing our attention to fields of real meromorphic functions. § 1. Real and ordered fields. A real field is a field in which −1 is not a sum of squares. An ordered field is a field F together with a binary relation < which totally orders F and satisfies the two properties: (1) If 0 < x and 0 < y then 0 < xy . (2) If x < y then, for all z in F , x + z < y + z . An element x of an ordered field is positive if x > 0. One can see that the square of any element is positive and that the sum of positive elements is positive. Since −1 is not positive, an ordered field is a real field. Conversely, given a real field F , it is known that one can define an ordering (not necessarily uniquely) on F [2, p. 274]. An ordered field F is a real closed field if: (1) every positive element is a square, and (2) every polynomial of odd degree with coefficients in F has a root in F . For example, the real numbers form a real closed field. Every ordered field can be embedded in a real closed field. It is also known that, in a real closed field K , polynomials satisfy the intermediate value property, i.e. if f(x) ∈ K[x] and a, b ∈ K, a < b , and f(a)f(b) < 0 then there is a c in K such that f(c) = 0." @default.
- W1974524462 created "2016-06-24" @default.
- W1974524462 creator A5071271321 @default.
- W1974524462 date "1978-03-01" @default.
- W1974524462 modified "2023-10-18" @default.
- W1974524462 title "The model theory of ordered differential fields" @default.
- W1974524462 cites W1970520826 @default.
- W1974524462 cites W2012829016 @default.
- W1974524462 cites W4237180828 @default.
- W1974524462 doi "https://doi.org/10.2307/2271951" @default.
- W1974524462 hasPublicationYear "1978" @default.
- W1974524462 type Work @default.
- W1974524462 sameAs 1974524462 @default.
- W1974524462 citedByCount "38" @default.
- W1974524462 countsByYear W19745244622013 @default.
- W1974524462 countsByYear W19745244622015 @default.
- W1974524462 countsByYear W19745244622016 @default.
- W1974524462 countsByYear W19745244622017 @default.
- W1974524462 countsByYear W19745244622018 @default.
- W1974524462 countsByYear W19745244622019 @default.
- W1974524462 countsByYear W19745244622020 @default.
- W1974524462 countsByYear W19745244622021 @default.
- W1974524462 countsByYear W19745244622022 @default.
- W1974524462 countsByYear W19745244622023 @default.
- W1974524462 crossrefType "journal-article" @default.
- W1974524462 hasAuthorship W1974524462A5071271321 @default.
- W1974524462 hasConcept C114614502 @default.
- W1974524462 hasConcept C118615104 @default.
- W1974524462 hasConcept C121332964 @default.
- W1974524462 hasConcept C134306372 @default.
- W1974524462 hasConcept C135692309 @default.
- W1974524462 hasConcept C13851312 @default.
- W1974524462 hasConcept C17744445 @default.
- W1974524462 hasConcept C190333341 @default.
- W1974524462 hasConcept C199539241 @default.
- W1974524462 hasConcept C200288055 @default.
- W1974524462 hasConcept C202444582 @default.
- W1974524462 hasConcept C2524010 @default.
- W1974524462 hasConcept C33923547 @default.
- W1974524462 hasConcept C75190567 @default.
- W1974524462 hasConcept C78045399 @default.
- W1974524462 hasConcept C90119067 @default.
- W1974524462 hasConcept C93226319 @default.
- W1974524462 hasConcept C94020503 @default.
- W1974524462 hasConcept C9652623 @default.
- W1974524462 hasConcept C97355855 @default.
- W1974524462 hasConceptScore W1974524462C114614502 @default.
- W1974524462 hasConceptScore W1974524462C118615104 @default.
- W1974524462 hasConceptScore W1974524462C121332964 @default.
- W1974524462 hasConceptScore W1974524462C134306372 @default.
- W1974524462 hasConceptScore W1974524462C135692309 @default.
- W1974524462 hasConceptScore W1974524462C13851312 @default.
- W1974524462 hasConceptScore W1974524462C17744445 @default.
- W1974524462 hasConceptScore W1974524462C190333341 @default.
- W1974524462 hasConceptScore W1974524462C199539241 @default.
- W1974524462 hasConceptScore W1974524462C200288055 @default.
- W1974524462 hasConceptScore W1974524462C202444582 @default.
- W1974524462 hasConceptScore W1974524462C2524010 @default.
- W1974524462 hasConceptScore W1974524462C33923547 @default.
- W1974524462 hasConceptScore W1974524462C75190567 @default.
- W1974524462 hasConceptScore W1974524462C78045399 @default.
- W1974524462 hasConceptScore W1974524462C90119067 @default.
- W1974524462 hasConceptScore W1974524462C93226319 @default.
- W1974524462 hasConceptScore W1974524462C94020503 @default.
- W1974524462 hasConceptScore W1974524462C9652623 @default.
- W1974524462 hasConceptScore W1974524462C97355855 @default.
- W1974524462 hasIssue "1" @default.
- W1974524462 hasLocation W19745244621 @default.
- W1974524462 hasOpenAccess W1974524462 @default.
- W1974524462 hasPrimaryLocation W19745244621 @default.
- W1974524462 hasRelatedWork W1974524462 @default.
- W1974524462 hasRelatedWork W2022705296 @default.
- W1974524462 hasRelatedWork W2045995206 @default.
- W1974524462 hasRelatedWork W2052956666 @default.
- W1974524462 hasRelatedWork W2065591263 @default.
- W1974524462 hasRelatedWork W2358057405 @default.
- W1974524462 hasRelatedWork W2365066481 @default.
- W1974524462 hasRelatedWork W2366067282 @default.
- W1974524462 hasRelatedWork W2921966893 @default.
- W1974524462 hasRelatedWork W3035286650 @default.
- W1974524462 hasVolume "43" @default.
- W1974524462 isParatext "false" @default.
- W1974524462 isRetracted "false" @default.
- W1974524462 magId "1974524462" @default.
- W1974524462 workType "article" @default.