Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022897551> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2022897551 abstract "In this note, we consider models of the theories of valued algebraically closed fields and convexly valued real closed fields, their reducts to the pure field or ordered field language respectively, and expansions of these by predicates which are definable in the valued field. We show that, in terms of definability, there is no structure properly between the pure (ordered) field and the valued field. Our results are analogous to several other definability results for reducts of algebraically closed and real closed fields; see [9], [10], [11] and [12]. Throughout this paper, definable will mean definable with parameters. T heorem A. Let ℱ = ( F , +, ×, V ) be a valued, algebraically closed field, where V denotes the valuation ring. Let A be a subset of F n definable in ℱ v . Then either A is definable in ℱ = ( F , +, ×) or V is definable in . T heorem B. Let ℛ v = ( R , <, +, ×, V ) be a convexly valued real closed field, where V denotes the valuation ring. Let Abe a subset of R n definable in ℛ v . Then either A is definable in ℛ = ( R , <, +, ×) or V is definable in . The proofs of Theorems A and B are quite similar. Both ℱ v and ℛ v admit quantifier elimination if we adjoin a definable binary predicate Div (interpreted by Div( x, y ) if and only if v ( x ) ≤ v ( y )). This is proved in [14] (extending [13]) in the algebraically closed case, and in [4] in the real closed case. We show by direct combinatorial arguments that if the valuation is not definable then the expanded structure is strongly minimal or o-minimal respectively. Then we call on known results about strongly minimal and o-minimal fields to show that the expansion is not proper." @default.
- W2022897551 created "2016-06-24" @default.
- W2022897551 creator A5027281942 @default.
- W2022897551 creator A5033212640 @default.
- W2022897551 date "1998-06-01" @default.
- W2022897551 modified "2023-09-26" @default.
- W2022897551 title "A note on valuation definable expansions of fields" @default.
- W2022897551 cites W1985795982 @default.
- W2022897551 cites W1985825462 @default.
- W2022897551 cites W2009016808 @default.
- W2022897551 cites W2021308497 @default.
- W2022897551 cites W205112229 @default.
- W2022897551 cites W2051492734 @default.
- W2022897551 cites W2069973769 @default.
- W2022897551 cites W417925666 @default.
- W2022897551 doi "https://doi.org/10.2307/2586860" @default.
- W2022897551 hasPublicationYear "1998" @default.
- W2022897551 type Work @default.
- W2022897551 sameAs 2022897551 @default.
- W2022897551 citedByCount "1" @default.
- W2022897551 countsByYear W20228975512016 @default.
- W2022897551 crossrefType "journal-article" @default.
- W2022897551 hasAuthorship W2022897551A5027281942 @default.
- W2022897551 hasAuthorship W2022897551A5033212640 @default.
- W2022897551 hasConcept C10138342 @default.
- W2022897551 hasConcept C108710211 @default.
- W2022897551 hasConcept C114614502 @default.
- W2022897551 hasConcept C118615104 @default.
- W2022897551 hasConcept C140146324 @default.
- W2022897551 hasConcept C162324750 @default.
- W2022897551 hasConcept C186027771 @default.
- W2022897551 hasConcept C199360897 @default.
- W2022897551 hasConcept C200802036 @default.
- W2022897551 hasConcept C202444582 @default.
- W2022897551 hasConcept C203701370 @default.
- W2022897551 hasConcept C2524010 @default.
- W2022897551 hasConcept C32278780 @default.
- W2022897551 hasConcept C33923547 @default.
- W2022897551 hasConcept C41008148 @default.
- W2022897551 hasConcept C9652623 @default.
- W2022897551 hasConceptScore W2022897551C10138342 @default.
- W2022897551 hasConceptScore W2022897551C108710211 @default.
- W2022897551 hasConceptScore W2022897551C114614502 @default.
- W2022897551 hasConceptScore W2022897551C118615104 @default.
- W2022897551 hasConceptScore W2022897551C140146324 @default.
- W2022897551 hasConceptScore W2022897551C162324750 @default.
- W2022897551 hasConceptScore W2022897551C186027771 @default.
- W2022897551 hasConceptScore W2022897551C199360897 @default.
- W2022897551 hasConceptScore W2022897551C200802036 @default.
- W2022897551 hasConceptScore W2022897551C202444582 @default.
- W2022897551 hasConceptScore W2022897551C203701370 @default.
- W2022897551 hasConceptScore W2022897551C2524010 @default.
- W2022897551 hasConceptScore W2022897551C32278780 @default.
- W2022897551 hasConceptScore W2022897551C33923547 @default.
- W2022897551 hasConceptScore W2022897551C41008148 @default.
- W2022897551 hasConceptScore W2022897551C9652623 @default.
- W2022897551 hasLocation W20228975511 @default.
- W2022897551 hasOpenAccess W2022897551 @default.
- W2022897551 hasPrimaryLocation W20228975511 @default.
- W2022897551 hasRelatedWork W1951602976 @default.
- W2022897551 hasRelatedWork W2027626157 @default.
- W2022897551 hasRelatedWork W2031365570 @default.
- W2022897551 hasRelatedWork W2053215128 @default.
- W2022897551 hasRelatedWork W2070314602 @default.
- W2022897551 hasRelatedWork W2124063960 @default.
- W2022897551 hasRelatedWork W2131586387 @default.
- W2022897551 hasRelatedWork W2262961445 @default.
- W2022897551 hasRelatedWork W2589869972 @default.
- W2022897551 hasRelatedWork W2622132373 @default.
- W2022897551 hasRelatedWork W2908001399 @default.
- W2022897551 hasRelatedWork W2913721230 @default.
- W2022897551 hasRelatedWork W2914211909 @default.
- W2022897551 hasRelatedWork W2965746974 @default.
- W2022897551 hasRelatedWork W3038901069 @default.
- W2022897551 hasRelatedWork W3086517731 @default.
- W2022897551 hasRelatedWork W3101745738 @default.
- W2022897551 hasRelatedWork W3188554652 @default.
- W2022897551 hasRelatedWork W3210636447 @default.
- W2022897551 hasRelatedWork W84261048 @default.
- W2022897551 isParatext "false" @default.
- W2022897551 isRetracted "false" @default.
- W2022897551 magId "2022897551" @default.
- W2022897551 workType "article" @default.