Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161929655> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2161929655 endingPage "198" @default.
- W2161929655 startingPage "185" @default.
- W2161929655 abstract "Let L be a first order language. If M is an L -structure, let L M be the expansion of L obtained by adding constants for the elements of M . Definition. A type is definable if and only if for any L -formula , there is an L M -formula so that for all iff M ⊨ d θ(¯). The formula d θ is called the definition of θ. Definable types play a central role in stability theory and have also proven useful in the study of models of arithmetic. We also remark that it is well known and easy to see that for M ≺ N , the property that every M -type realized in N is definable is equivalent to N being a conservative extension of M , where Definition. If M ≺ N , we say that N is a conservative extension of M if for any n and any L N -definable S ⊂ N n , S ∩ M n is L M -definable in M . Van den Dries [Dl] studied definable types over real closed fields and proved the following result. 0.1 (van den Dries), (i) Every type over ( R , +, -,0,1) is definable . (ii) Let F and K be real closed fields and F ⊂ K. Then, the following are equivalent : (a) Every element of K that is bounded in absolute value by an element of F is infinitely close (in the sense of F) to an element of F . (b) K is a conservative extension of F ." @default.
- W2161929655 created "2016-06-24" @default.
- W2161929655 creator A5056929763 @default.
- W2161929655 creator A5057267162 @default.
- W2161929655 date "1994-03-01" @default.
- W2161929655 modified "2023-10-03" @default.
- W2161929655 title "Definable types in -minimal theories" @default.
- W2161929655 cites W1041978627 @default.
- W2161929655 cites W1964890313 @default.
- W2161929655 cites W2010757891 @default.
- W2161929655 cites W2087566144 @default.
- W2161929655 cites W4237293924 @default.
- W2161929655 cites W4237551483 @default.
- W2161929655 doi "https://doi.org/10.2307/2275260" @default.
- W2161929655 hasPublicationYear "1994" @default.
- W2161929655 type Work @default.
- W2161929655 sameAs 2161929655 @default.
- W2161929655 citedByCount "52" @default.
- W2161929655 countsByYear W21619296552012 @default.
- W2161929655 countsByYear W21619296552013 @default.
- W2161929655 countsByYear W21619296552014 @default.
- W2161929655 countsByYear W21619296552015 @default.
- W2161929655 countsByYear W21619296552016 @default.
- W2161929655 countsByYear W21619296552017 @default.
- W2161929655 countsByYear W21619296552018 @default.
- W2161929655 countsByYear W21619296552019 @default.
- W2161929655 countsByYear W21619296552020 @default.
- W2161929655 countsByYear W21619296552021 @default.
- W2161929655 countsByYear W21619296552022 @default.
- W2161929655 countsByYear W21619296552023 @default.
- W2161929655 crossrefType "journal-article" @default.
- W2161929655 hasAuthorship W2161929655A5056929763 @default.
- W2161929655 hasAuthorship W2161929655A5057267162 @default.
- W2161929655 hasConcept C10138342 @default.
- W2161929655 hasConcept C114614502 @default.
- W2161929655 hasConcept C118615104 @default.
- W2161929655 hasConcept C134306372 @default.
- W2161929655 hasConcept C162324750 @default.
- W2161929655 hasConcept C17744445 @default.
- W2161929655 hasConcept C182306322 @default.
- W2161929655 hasConcept C18903297 @default.
- W2161929655 hasConcept C199360897 @default.
- W2161929655 hasConcept C199539241 @default.
- W2161929655 hasConcept C200288055 @default.
- W2161929655 hasConcept C2777299769 @default.
- W2161929655 hasConcept C2778029271 @default.
- W2161929655 hasConcept C2780432614 @default.
- W2161929655 hasConcept C33923547 @default.
- W2161929655 hasConcept C34388435 @default.
- W2161929655 hasConcept C41008148 @default.
- W2161929655 hasConcept C86803240 @default.
- W2161929655 hasConceptScore W2161929655C10138342 @default.
- W2161929655 hasConceptScore W2161929655C114614502 @default.
- W2161929655 hasConceptScore W2161929655C118615104 @default.
- W2161929655 hasConceptScore W2161929655C134306372 @default.
- W2161929655 hasConceptScore W2161929655C162324750 @default.
- W2161929655 hasConceptScore W2161929655C17744445 @default.
- W2161929655 hasConceptScore W2161929655C182306322 @default.
- W2161929655 hasConceptScore W2161929655C18903297 @default.
- W2161929655 hasConceptScore W2161929655C199360897 @default.
- W2161929655 hasConceptScore W2161929655C199539241 @default.
- W2161929655 hasConceptScore W2161929655C200288055 @default.
- W2161929655 hasConceptScore W2161929655C2777299769 @default.
- W2161929655 hasConceptScore W2161929655C2778029271 @default.
- W2161929655 hasConceptScore W2161929655C2780432614 @default.
- W2161929655 hasConceptScore W2161929655C33923547 @default.
- W2161929655 hasConceptScore W2161929655C34388435 @default.
- W2161929655 hasConceptScore W2161929655C41008148 @default.
- W2161929655 hasConceptScore W2161929655C86803240 @default.
- W2161929655 hasIssue "1" @default.
- W2161929655 hasLocation W21619296551 @default.
- W2161929655 hasOpenAccess W2161929655 @default.
- W2161929655 hasPrimaryLocation W21619296551 @default.
- W2161929655 hasRelatedWork W1964138198 @default.
- W2161929655 hasRelatedWork W1978042415 @default.
- W2161929655 hasRelatedWork W2006308727 @default.
- W2161929655 hasRelatedWork W2033571057 @default.
- W2161929655 hasRelatedWork W2042726902 @default.
- W2161929655 hasRelatedWork W2069998960 @default.
- W2161929655 hasRelatedWork W2136053165 @default.
- W2161929655 hasRelatedWork W2320266418 @default.
- W2161929655 hasRelatedWork W3080875783 @default.
- W2161929655 hasRelatedWork W4251067554 @default.
- W2161929655 hasVolume "59" @default.
- W2161929655 isParatext "false" @default.
- W2161929655 isRetracted "false" @default.
- W2161929655 magId "2161929655" @default.
- W2161929655 workType "article" @default.