Matches in SemOpenAlex for { <https://semopenalex.org/work/W1642859828> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1642859828 abstract "Let T be a complete first order theory in a countable relational language L . We assume relation symbols have been added to make each formula equivalent to a predicate. Adjoin a new unary function symbol sigma to obtain the language L_sigma; T_sigma is obtained by adding axioms asserting that sigma is an L-automorphism. We provide necessary and sufficient conditions for T_sigma to have a model companion when T is stable. Namely, we introduce a new condition: T_sigma admits obstructions, and show that T_sigma has a model companion iff and only if T_sigma does not admit obstructions. This condition is weakening of the finite cover property: if a stable theory T has the finite cover property then T_sigma admits obstructions." @default.
- W1642859828 created "2016-06-24" @default.
- W1642859828 creator A5024923217 @default.
- W1642859828 creator A5037915949 @default.
- W1642859828 date "2001-05-16" @default.
- W1642859828 modified "2023-09-27" @default.
- W1642859828 title "Model Companions of T_sigma for stable T" @default.
- W1642859828 cites W1996612994 @default.
- W1642859828 cites W2067077648 @default.
- W1642859828 cites W2953339361 @default.
- W1642859828 cites W93185895 @default.
- W1642859828 cites W40988615 @default.
- W1642859828 hasPublicationYear "2001" @default.
- W1642859828 type Work @default.
- W1642859828 sameAs 1642859828 @default.
- W1642859828 citedByCount "0" @default.
- W1642859828 crossrefType "posted-content" @default.
- W1642859828 hasAuthorship W1642859828A5024923217 @default.
- W1642859828 hasAuthorship W1642859828A5037915949 @default.
- W1642859828 hasConcept C10138342 @default.
- W1642859828 hasConcept C110729354 @default.
- W1642859828 hasConcept C114614502 @default.
- W1642859828 hasConcept C118615104 @default.
- W1642859828 hasConcept C118712358 @default.
- W1642859828 hasConcept C121332964 @default.
- W1642859828 hasConcept C127413603 @default.
- W1642859828 hasConcept C140146324 @default.
- W1642859828 hasConcept C162324750 @default.
- W1642859828 hasConcept C167729594 @default.
- W1642859828 hasConcept C182306322 @default.
- W1642859828 hasConcept C199360897 @default.
- W1642859828 hasConcept C202444582 @default.
- W1642859828 hasConcept C2524010 @default.
- W1642859828 hasConcept C2778049214 @default.
- W1642859828 hasConcept C2780428219 @default.
- W1642859828 hasConcept C33923547 @default.
- W1642859828 hasConcept C41008148 @default.
- W1642859828 hasConcept C62520636 @default.
- W1642859828 hasConcept C78023250 @default.
- W1642859828 hasConcept C78519656 @default.
- W1642859828 hasConceptScore W1642859828C10138342 @default.
- W1642859828 hasConceptScore W1642859828C110729354 @default.
- W1642859828 hasConceptScore W1642859828C114614502 @default.
- W1642859828 hasConceptScore W1642859828C118615104 @default.
- W1642859828 hasConceptScore W1642859828C118712358 @default.
- W1642859828 hasConceptScore W1642859828C121332964 @default.
- W1642859828 hasConceptScore W1642859828C127413603 @default.
- W1642859828 hasConceptScore W1642859828C140146324 @default.
- W1642859828 hasConceptScore W1642859828C162324750 @default.
- W1642859828 hasConceptScore W1642859828C167729594 @default.
- W1642859828 hasConceptScore W1642859828C182306322 @default.
- W1642859828 hasConceptScore W1642859828C199360897 @default.
- W1642859828 hasConceptScore W1642859828C202444582 @default.
- W1642859828 hasConceptScore W1642859828C2524010 @default.
- W1642859828 hasConceptScore W1642859828C2778049214 @default.
- W1642859828 hasConceptScore W1642859828C2780428219 @default.
- W1642859828 hasConceptScore W1642859828C33923547 @default.
- W1642859828 hasConceptScore W1642859828C41008148 @default.
- W1642859828 hasConceptScore W1642859828C62520636 @default.
- W1642859828 hasConceptScore W1642859828C78023250 @default.
- W1642859828 hasConceptScore W1642859828C78519656 @default.
- W1642859828 hasLocation W16428598281 @default.
- W1642859828 hasOpenAccess W1642859828 @default.
- W1642859828 hasPrimaryLocation W16428598281 @default.
- W1642859828 hasRelatedWork W113400240 @default.
- W1642859828 hasRelatedWork W1570621944 @default.
- W1642859828 hasRelatedWork W1592098016 @default.
- W1642859828 hasRelatedWork W1644152169 @default.
- W1642859828 hasRelatedWork W1883997936 @default.
- W1642859828 hasRelatedWork W1935459975 @default.
- W1642859828 hasRelatedWork W2004199237 @default.
- W1642859828 hasRelatedWork W2039148738 @default.
- W1642859828 hasRelatedWork W2062063521 @default.
- W1642859828 hasRelatedWork W2093199449 @default.
- W1642859828 hasRelatedWork W271557312 @default.
- W1642859828 hasRelatedWork W2788607638 @default.
- W1642859828 hasRelatedWork W2788833144 @default.
- W1642859828 hasRelatedWork W2962955111 @default.
- W1642859828 hasRelatedWork W3092504824 @default.
- W1642859828 hasRelatedWork W3100525946 @default.
- W1642859828 hasRelatedWork W3105605181 @default.
- W1642859828 hasRelatedWork W3110570065 @default.
- W1642859828 hasRelatedWork W3192244284 @default.
- W1642859828 hasRelatedWork W2523721990 @default.
- W1642859828 isParatext "false" @default.
- W1642859828 isRetracted "false" @default.
- W1642859828 magId "1642859828" @default.
- W1642859828 workType "article" @default.