Matches in SemOpenAlex for { <https://semopenalex.org/work/W3021217617> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3021217617 abstract "Let $mathbb{T}$ be the differential field of logarithmic-exponential transseries. We show that the expansion of $mathbb{T}$ by its natural exponential function is model complete and locally o-minimal. We give an axiomatization of the theory of this expansion that is effective relative to the theory of the real exponential field. We adapt our results to show that the expansion of $mathbb{T}$ by this exponential function and by its natural restricted sine and restricted cosine functions is also model complete and locally o-minimal." @default.
- W3021217617 created "2020-05-13" @default.
- W3021217617 creator A5060147454 @default.
- W3021217617 date "2020-04-30" @default.
- W3021217617 modified "2023-09-27" @default.
- W3021217617 title "Model completeness for the differential field of transseries with exponentiation" @default.
- W3021217617 cites W102382135 @default.
- W3021217617 cites W1038888834 @default.
- W3021217617 cites W1567259931 @default.
- W3021217617 cites W1592891131 @default.
- W3021217617 cites W1822440022 @default.
- W3021217617 cites W1995742741 @default.
- W3021217617 cites W2065772962 @default.
- W3021217617 cites W2067529231 @default.
- W3021217617 cites W2134929854 @default.
- W3021217617 cites W2138250274 @default.
- W3021217617 cites W2261622378 @default.
- W3021217617 cites W2275199369 @default.
- W3021217617 cites W2325378468 @default.
- W3021217617 cites W2334045162 @default.
- W3021217617 cites W2766637174 @default.
- W3021217617 cites W3005747005 @default.
- W3021217617 cites W3048474997 @default.
- W3021217617 cites W3098667283 @default.
- W3021217617 cites W3100375927 @default.
- W3021217617 cites W3104651974 @default.
- W3021217617 cites W584764239 @default.
- W3021217617 cites W943250386 @default.
- W3021217617 hasPublicationYear "2020" @default.
- W3021217617 type Work @default.
- W3021217617 sameAs 3021217617 @default.
- W3021217617 citedByCount "1" @default.
- W3021217617 countsByYear W30212176172020 @default.
- W3021217617 crossrefType "posted-content" @default.
- W3021217617 hasAuthorship W3021217617A5060147454 @default.
- W3021217617 hasConcept C118615104 @default.
- W3021217617 hasConcept C134306372 @default.
- W3021217617 hasConcept C14036430 @default.
- W3021217617 hasConcept C151376022 @default.
- W3021217617 hasConcept C158946198 @default.
- W3021217617 hasConcept C17231256 @default.
- W3021217617 hasConcept C178009071 @default.
- W3021217617 hasConcept C186661526 @default.
- W3021217617 hasConcept C202444582 @default.
- W3021217617 hasConcept C2524010 @default.
- W3021217617 hasConcept C33923547 @default.
- W3021217617 hasConcept C39927690 @default.
- W3021217617 hasConcept C78458016 @default.
- W3021217617 hasConcept C81539297 @default.
- W3021217617 hasConcept C86803240 @default.
- W3021217617 hasConcept C9652623 @default.
- W3021217617 hasConceptScore W3021217617C118615104 @default.
- W3021217617 hasConceptScore W3021217617C134306372 @default.
- W3021217617 hasConceptScore W3021217617C14036430 @default.
- W3021217617 hasConceptScore W3021217617C151376022 @default.
- W3021217617 hasConceptScore W3021217617C158946198 @default.
- W3021217617 hasConceptScore W3021217617C17231256 @default.
- W3021217617 hasConceptScore W3021217617C178009071 @default.
- W3021217617 hasConceptScore W3021217617C186661526 @default.
- W3021217617 hasConceptScore W3021217617C202444582 @default.
- W3021217617 hasConceptScore W3021217617C2524010 @default.
- W3021217617 hasConceptScore W3021217617C33923547 @default.
- W3021217617 hasConceptScore W3021217617C39927690 @default.
- W3021217617 hasConceptScore W3021217617C78458016 @default.
- W3021217617 hasConceptScore W3021217617C81539297 @default.
- W3021217617 hasConceptScore W3021217617C86803240 @default.
- W3021217617 hasConceptScore W3021217617C9652623 @default.
- W3021217617 hasLocation W30212176171 @default.
- W3021217617 hasOpenAccess W3021217617 @default.
- W3021217617 hasPrimaryLocation W30212176171 @default.
- W3021217617 hasRelatedWork W1633370051 @default.
- W3021217617 hasRelatedWork W2002128260 @default.
- W3021217617 hasRelatedWork W2043734063 @default.
- W3021217617 hasRelatedWork W2055425281 @default.
- W3021217617 hasRelatedWork W2085635493 @default.
- W3021217617 hasRelatedWork W2098809394 @default.
- W3021217617 hasRelatedWork W210313379 @default.
- W3021217617 hasRelatedWork W2137447152 @default.
- W3021217617 hasRelatedWork W2170093273 @default.
- W3021217617 hasRelatedWork W2289519904 @default.
- W3021217617 hasRelatedWork W2290727773 @default.
- W3021217617 hasRelatedWork W2410584253 @default.
- W3021217617 hasRelatedWork W2750185611 @default.
- W3021217617 hasRelatedWork W2790568652 @default.
- W3021217617 hasRelatedWork W2803663999 @default.
- W3021217617 hasRelatedWork W2902892742 @default.
- W3021217617 hasRelatedWork W2949430552 @default.
- W3021217617 hasRelatedWork W2978949966 @default.
- W3021217617 hasRelatedWork W3100375927 @default.
- W3021217617 hasRelatedWork W3157030717 @default.
- W3021217617 isParatext "false" @default.
- W3021217617 isRetracted "false" @default.
- W3021217617 magId "3021217617" @default.
- W3021217617 workType "article" @default.