Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949877199> ?p ?o ?g. }
- W2949877199 abstract "We develop a notion of forking for Galois-types in the context of Abstract Elementary Classes (AECs). Under the hypotheses that an AEC $K$ is tame, type-short, and failure of an order-property, we consider {bf Definition.} Let $M_0 prec N$ be models from $K$ and $A$ be a set. We say that the Galois-type of $A$ over $M$ emph{does not fork over $M_0$} iff for all small $a in A$ and all small $N^- prec N$, we have that Galois-type of $a$ over $N^-$ is realized in $M_0$. Assuming property (E) (see Definition 3.3) we show that this non-forking is a well behaved notion of independence, in particular satisfies symmetry and uniqueness and has a corresponding U-rank. We find conditions for a universal local character, in particular derive superstability-like property from little more than categoricity in a big cardinal. Finally, we show that under large cardinal axioms the proofs are simpler and the non-forking is more powerful. In [BGKV] it is established that this notion of non-forking is the only independence relation possible." @default.
- W2949877199 created "2019-06-27" @default.
- W2949877199 creator A5027331051 @default.
- W2949877199 creator A5063970932 @default.
- W2949877199 date "2013-06-27" @default.
- W2949877199 modified "2023-09-27" @default.
- W2949877199 title "Forking in Short and Tame Abstract Elementary Classes" @default.
- W2949877199 cites W1605235672 @default.
- W2949877199 cites W1641972233 @default.
- W2949877199 cites W1901026612 @default.
- W2949877199 cites W1903296088 @default.
- W2949877199 cites W1980029195 @default.
- W2949877199 cites W1983496318 @default.
- W2949877199 cites W1990607394 @default.
- W2949877199 cites W2000276324 @default.
- W2949877199 cites W2009448865 @default.
- W2949877199 cites W2013728166 @default.
- W2949877199 cites W2040052675 @default.
- W2949877199 cites W2040873783 @default.
- W2949877199 cites W2047282968 @default.
- W2949877199 cites W2070703446 @default.
- W2949877199 cites W2087417826 @default.
- W2949877199 cites W2097921472 @default.
- W2949877199 cites W2109417180 @default.
- W2949877199 cites W2114291577 @default.
- W2949877199 cites W2137813720 @default.
- W2949877199 cites W2141994230 @default.
- W2949877199 cites W2145431862 @default.
- W2949877199 cites W2149870406 @default.
- W2949877199 cites W2184948559 @default.
- W2949877199 cites W2279499033 @default.
- W2949877199 cites W2594579174 @default.
- W2949877199 cites W2799061192 @default.
- W2949877199 cites W2963058724 @default.
- W2949877199 cites W3104393925 @default.
- W2949877199 cites W615860846 @default.
- W2949877199 cites W84496008 @default.
- W2949877199 cites W9345545 @default.
- W2949877199 hasPublicationYear "2013" @default.
- W2949877199 type Work @default.
- W2949877199 sameAs 2949877199 @default.
- W2949877199 citedByCount "3" @default.
- W2949877199 countsByYear W29498771992014 @default.
- W2949877199 countsByYear W29498771992015 @default.
- W2949877199 crossrefType "posted-content" @default.
- W2949877199 hasAuthorship W2949877199A5027331051 @default.
- W2949877199 hasAuthorship W2949877199A5063970932 @default.
- W2949877199 hasConcept C10138342 @default.
- W2949877199 hasConcept C105795698 @default.
- W2949877199 hasConcept C108710211 @default.
- W2949877199 hasConcept C111472728 @default.
- W2949877199 hasConcept C114614502 @default.
- W2949877199 hasConcept C118615104 @default.
- W2949877199 hasConcept C134306372 @default.
- W2949877199 hasConcept C138885662 @default.
- W2949877199 hasConcept C151730666 @default.
- W2949877199 hasConcept C162324750 @default.
- W2949877199 hasConcept C167729594 @default.
- W2949877199 hasConcept C182306322 @default.
- W2949877199 hasConcept C18903297 @default.
- W2949877199 hasConcept C189950617 @default.
- W2949877199 hasConcept C202444582 @default.
- W2949877199 hasConcept C2524010 @default.
- W2949877199 hasConcept C2777021972 @default.
- W2949877199 hasConcept C2777299769 @default.
- W2949877199 hasConcept C2779343474 @default.
- W2949877199 hasConcept C2779886137 @default.
- W2949877199 hasConcept C2780861071 @default.
- W2949877199 hasConcept C33923547 @default.
- W2949877199 hasConcept C35651441 @default.
- W2949877199 hasConcept C86803240 @default.
- W2949877199 hasConceptScore W2949877199C10138342 @default.
- W2949877199 hasConceptScore W2949877199C105795698 @default.
- W2949877199 hasConceptScore W2949877199C108710211 @default.
- W2949877199 hasConceptScore W2949877199C111472728 @default.
- W2949877199 hasConceptScore W2949877199C114614502 @default.
- W2949877199 hasConceptScore W2949877199C118615104 @default.
- W2949877199 hasConceptScore W2949877199C134306372 @default.
- W2949877199 hasConceptScore W2949877199C138885662 @default.
- W2949877199 hasConceptScore W2949877199C151730666 @default.
- W2949877199 hasConceptScore W2949877199C162324750 @default.
- W2949877199 hasConceptScore W2949877199C167729594 @default.
- W2949877199 hasConceptScore W2949877199C182306322 @default.
- W2949877199 hasConceptScore W2949877199C18903297 @default.
- W2949877199 hasConceptScore W2949877199C189950617 @default.
- W2949877199 hasConceptScore W2949877199C202444582 @default.
- W2949877199 hasConceptScore W2949877199C2524010 @default.
- W2949877199 hasConceptScore W2949877199C2777021972 @default.
- W2949877199 hasConceptScore W2949877199C2777299769 @default.
- W2949877199 hasConceptScore W2949877199C2779343474 @default.
- W2949877199 hasConceptScore W2949877199C2779886137 @default.
- W2949877199 hasConceptScore W2949877199C2780861071 @default.
- W2949877199 hasConceptScore W2949877199C33923547 @default.
- W2949877199 hasConceptScore W2949877199C35651441 @default.
- W2949877199 hasConceptScore W2949877199C86803240 @default.
- W2949877199 hasLocation W29498771991 @default.
- W2949877199 hasOpenAccess W2949877199 @default.
- W2949877199 hasPrimaryLocation W29498771991 @default.
- W2949877199 hasRelatedWork W1903296088 @default.
- W2949877199 hasRelatedWork W1953930525 @default.