Matches in SemOpenAlex for { <https://semopenalex.org/work/W110420880> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W110420880 endingPage "53" @default.
- W110420880 startingPage "35" @default.
- W110420880 abstract "AbstractIn these notes we sketch a proof of the model completeness of the real exponential field. We begin with an introduction to the various Preparation Theorems required for the proof as well as a discussion of polynomially bounded, o-minimal structures. We then discuss the appropriate valuation theoretic setting and show how the so-called Valuation Inequality leads to the desired result. We conclude with some speculative remarks on the model theory of the complex exponential field.KeywordsComplex ExponentiationReal Exponential fieldDefinable ClosureKhovanskiQuasipolynomial MapThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W110420880 created "2016-06-24" @default.
- W110420880 creator A5012490086 @default.
- W110420880 date "2014-01-01" @default.
- W110420880 modified "2023-09-26" @default.
- W110420880 title "Lectures on the Model Theory of Real and Complex Exponentiation" @default.
- W110420880 cites W1822440022 @default.
- W110420880 cites W1987734264 @default.
- W110420880 cites W1997612982 @default.
- W110420880 cites W2010757891 @default.
- W110420880 cites W2014230531 @default.
- W110420880 cites W2033997837 @default.
- W110420880 cites W2049542874 @default.
- W110420880 cites W2067529231 @default.
- W110420880 cites W2079116828 @default.
- W110420880 cites W2144033225 @default.
- W110420880 cites W2314912482 @default.
- W110420880 cites W2337878615 @default.
- W110420880 cites W4237551483 @default.
- W110420880 doi "https://doi.org/10.1007/978-3-642-54936-6_3" @default.
- W110420880 hasPublicationYear "2014" @default.
- W110420880 type Work @default.
- W110420880 sameAs 110420880 @default.
- W110420880 citedByCount "0" @default.
- W110420880 crossrefType "book-chapter" @default.
- W110420880 hasAuthorship W110420880A5012490086 @default.
- W110420880 hasConcept C10138342 @default.
- W110420880 hasConcept C11413529 @default.
- W110420880 hasConcept C118615104 @default.
- W110420880 hasConcept C134306372 @default.
- W110420880 hasConcept C136119220 @default.
- W110420880 hasConcept C144237770 @default.
- W110420880 hasConcept C151376022 @default.
- W110420880 hasConcept C162324750 @default.
- W110420880 hasConcept C186027771 @default.
- W110420880 hasConcept C199343813 @default.
- W110420880 hasConcept C202444582 @default.
- W110420880 hasConcept C2777686260 @default.
- W110420880 hasConcept C2779231336 @default.
- W110420880 hasConcept C28826006 @default.
- W110420880 hasConcept C33923547 @default.
- W110420880 hasConcept C34388435 @default.
- W110420880 hasConcept C47030870 @default.
- W110420880 hasConcept C71924100 @default.
- W110420880 hasConcept C81539297 @default.
- W110420880 hasConceptScore W110420880C10138342 @default.
- W110420880 hasConceptScore W110420880C11413529 @default.
- W110420880 hasConceptScore W110420880C118615104 @default.
- W110420880 hasConceptScore W110420880C134306372 @default.
- W110420880 hasConceptScore W110420880C136119220 @default.
- W110420880 hasConceptScore W110420880C144237770 @default.
- W110420880 hasConceptScore W110420880C151376022 @default.
- W110420880 hasConceptScore W110420880C162324750 @default.
- W110420880 hasConceptScore W110420880C186027771 @default.
- W110420880 hasConceptScore W110420880C199343813 @default.
- W110420880 hasConceptScore W110420880C202444582 @default.
- W110420880 hasConceptScore W110420880C2777686260 @default.
- W110420880 hasConceptScore W110420880C2779231336 @default.
- W110420880 hasConceptScore W110420880C28826006 @default.
- W110420880 hasConceptScore W110420880C33923547 @default.
- W110420880 hasConceptScore W110420880C34388435 @default.
- W110420880 hasConceptScore W110420880C47030870 @default.
- W110420880 hasConceptScore W110420880C71924100 @default.
- W110420880 hasConceptScore W110420880C81539297 @default.
- W110420880 hasLocation W1104208801 @default.
- W110420880 hasOpenAccess W110420880 @default.
- W110420880 hasPrimaryLocation W1104208801 @default.
- W110420880 hasRelatedWork W110420880 @default.
- W110420880 hasRelatedWork W197080597 @default.
- W110420880 hasRelatedWork W2022887296 @default.
- W110420880 hasRelatedWork W2062196111 @default.
- W110420880 hasRelatedWork W2136053165 @default.
- W110420880 hasRelatedWork W2148351559 @default.
- W110420880 hasRelatedWork W2224648581 @default.
- W110420880 hasRelatedWork W2291859634 @default.
- W110420880 hasRelatedWork W3080875783 @default.
- W110420880 hasRelatedWork W4300766947 @default.
- W110420880 isParatext "false" @default.
- W110420880 isRetracted "false" @default.
- W110420880 magId "110420880" @default.
- W110420880 workType "book-chapter" @default.