Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007342700> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2007342700 endingPage "816" @default.
- W2007342700 startingPage "797" @default.
- W2007342700 abstract "This paper considers o-minimal expansions of the structure —the ordered additive reals. More particularly we consider the case when the expansions are “eventually nonlinear” (see below), and find that multiplication is actually definable in all cases except when the structure is “eventually almost linear”, which is a rare special case in which multiplication is obviously not definable. Thus the main theorem established is: Theorem 1.1. For an o-minimal expansion of , if is eventually non-almost-linear then multiplication is definable in . (A structure is eventually almost linear iff every definable function f is of the form f ( x ) = λ x + c + ε ( x ) on some interval ( K , ∞), where λ , c Є ℝ and ε is a function of x which tends to 0 faster than any negative power of x as x → +∞. Otherwise, i.e. if there is a definable function which is not of this form, it is eventually non-almost-linear .) This is proved in §4.1, after §§2 and 3 have established technology concerning the rate of growth of functions and approximating derivatives. In §4.2 an analogy is made with the result of exponentiation being definable in a polynomially unbounded o-minimal expansion of ℝ as an ordered field (see [Mi]). In fact, by means of the isomorphism x ↦ ln( x ) we see that Theorem 1.1 also implies this latter result. Unless otherwise stated, all structures considered in the paper have ℝ as their universe and all functions are real functions." @default.
- W2007342700 created "2016-06-24" @default.
- W2007342700 creator A5027251986 @default.
- W2007342700 date "1995-09-01" @default.
- W2007342700 modified "2023-09-26" @default.
- W2007342700 title "Defining multiplication in o-minimal expansions of the additive reals " @default.
- W2007342700 cites W1972294926 @default.
- W2007342700 cites W2074771628 @default.
- W2007342700 cites W2314912482 @default.
- W2007342700 doi "https://doi.org/10.2307/2275757" @default.
- W2007342700 hasPublicationYear "1995" @default.
- W2007342700 type Work @default.
- W2007342700 sameAs 2007342700 @default.
- W2007342700 citedByCount "2" @default.
- W2007342700 crossrefType "journal-article" @default.
- W2007342700 hasAuthorship W2007342700A5027251986 @default.
- W2007342700 hasConcept C114614502 @default.
- W2007342700 hasConcept C115624301 @default.
- W2007342700 hasConcept C118615104 @default.
- W2007342700 hasConcept C134306372 @default.
- W2007342700 hasConcept C14036430 @default.
- W2007342700 hasConcept C180375552 @default.
- W2007342700 hasConcept C185592680 @default.
- W2007342700 hasConcept C202444582 @default.
- W2007342700 hasConcept C203436722 @default.
- W2007342700 hasConcept C2780595030 @default.
- W2007342700 hasConcept C33923547 @default.
- W2007342700 hasConcept C78458016 @default.
- W2007342700 hasConcept C8010536 @default.
- W2007342700 hasConcept C81539297 @default.
- W2007342700 hasConcept C86803240 @default.
- W2007342700 hasConceptScore W2007342700C114614502 @default.
- W2007342700 hasConceptScore W2007342700C115624301 @default.
- W2007342700 hasConceptScore W2007342700C118615104 @default.
- W2007342700 hasConceptScore W2007342700C134306372 @default.
- W2007342700 hasConceptScore W2007342700C14036430 @default.
- W2007342700 hasConceptScore W2007342700C180375552 @default.
- W2007342700 hasConceptScore W2007342700C185592680 @default.
- W2007342700 hasConceptScore W2007342700C202444582 @default.
- W2007342700 hasConceptScore W2007342700C203436722 @default.
- W2007342700 hasConceptScore W2007342700C2780595030 @default.
- W2007342700 hasConceptScore W2007342700C33923547 @default.
- W2007342700 hasConceptScore W2007342700C78458016 @default.
- W2007342700 hasConceptScore W2007342700C8010536 @default.
- W2007342700 hasConceptScore W2007342700C81539297 @default.
- W2007342700 hasConceptScore W2007342700C86803240 @default.
- W2007342700 hasIssue "03" @default.
- W2007342700 hasLocation W20073427001 @default.
- W2007342700 hasOpenAccess W2007342700 @default.
- W2007342700 hasPrimaryLocation W20073427001 @default.
- W2007342700 hasRelatedWork W1972112806 @default.
- W2007342700 hasRelatedWork W1976963035 @default.
- W2007342700 hasRelatedWork W1988771515 @default.
- W2007342700 hasRelatedWork W2007342700 @default.
- W2007342700 hasRelatedWork W2067865581 @default.
- W2007342700 hasRelatedWork W2118628437 @default.
- W2007342700 hasRelatedWork W2167154330 @default.
- W2007342700 hasRelatedWork W2326718950 @default.
- W2007342700 hasRelatedWork W3011692338 @default.
- W2007342700 hasRelatedWork W3099011196 @default.
- W2007342700 hasVolume "60" @default.
- W2007342700 isParatext "false" @default.
- W2007342700 isRetracted "false" @default.
- W2007342700 magId "2007342700" @default.
- W2007342700 workType "article" @default.