Matches in SemOpenAlex for { <https://semopenalex.org/work/W1568930898> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W1568930898 endingPage "50" @default.
- W1568930898 startingPage "44" @default.
- W1568930898 abstract "If U is a normal measure on κ then we can add indiscernibles for U either by Prikry forcing [P] or by taking an iterated ultrapower which will add a sequence of indiscernibles for over M . These constructions are equivalent: the set C of indiscernibles for added by the iterated ultrapower is Prikry generic for [Mat]. Prikry forcing has been extended for sequences of measures of length by Magidor [Mag], and his method readily extends to . In this case the measure U is replaced by a sequence of measures and the set C of indiscernibles is replaced by a system of indiscernibles for : is a function such that ( κ , β) is a set of indiscernibles for ( κ , β) for each . The equivalence between forcing and iterated ultra-powers still holds true for such sequences: there is an interated ultrapower j : V → M (which is defined in detail later in this paper) such that the system of indiscernibles for j ( ) constructed by j is Magidor generic over M . The construction of the system of indiscernibles works equally well for o ( κ ) ≧ κ + . Radin has defined a variant of Prikry forcing which also works for o ( κ ) > κ + ([R]; see also [Mi82] where Radin forcing is applied specifically to sequences of measures, rather than to hypermeasures as in Radin's paper), but Radin's forcing is weaker than Magidor's extension of Prikry forcing in the sense that the system of indiscernibles generated by the interated ultrapower is not Radin generic for j ( ), but only the set . That is, an indiscernible does not belong to a specific measure, but only to the whole sequence of measures on the cardinal κ ." @default.
- W1568930898 created "2016-06-24" @default.
- W1568930898 creator A5055854763 @default.
- W1568930898 date "1987-03-01" @default.
- W1568930898 modified "2023-09-27" @default.
- W1568930898 title "Prikry forcing at κ + and beyond " @default.
- W1568930898 cites W2029243463 @default.
- W1568930898 cites W2060319527 @default.
- W1568930898 cites W4237475997 @default.
- W1568930898 doi "https://doi.org/10.2307/2273859" @default.
- W1568930898 hasPublicationYear "1987" @default.
- W1568930898 type Work @default.
- W1568930898 sameAs 1568930898 @default.
- W1568930898 citedByCount "0" @default.
- W1568930898 crossrefType "journal-article" @default.
- W1568930898 hasAuthorship W1568930898A5055854763 @default.
- W1568930898 hasConcept C134306372 @default.
- W1568930898 hasConcept C140479938 @default.
- W1568930898 hasConcept C167930466 @default.
- W1568930898 hasConcept C177264268 @default.
- W1568930898 hasConcept C197115733 @default.
- W1568930898 hasConcept C199360897 @default.
- W1568930898 hasConcept C202444582 @default.
- W1568930898 hasConcept C2780069185 @default.
- W1568930898 hasConcept C33923547 @default.
- W1568930898 hasConcept C41008148 @default.
- W1568930898 hasConceptScore W1568930898C134306372 @default.
- W1568930898 hasConceptScore W1568930898C140479938 @default.
- W1568930898 hasConceptScore W1568930898C167930466 @default.
- W1568930898 hasConceptScore W1568930898C177264268 @default.
- W1568930898 hasConceptScore W1568930898C197115733 @default.
- W1568930898 hasConceptScore W1568930898C199360897 @default.
- W1568930898 hasConceptScore W1568930898C202444582 @default.
- W1568930898 hasConceptScore W1568930898C2780069185 @default.
- W1568930898 hasConceptScore W1568930898C33923547 @default.
- W1568930898 hasConceptScore W1568930898C41008148 @default.
- W1568930898 hasIssue "01" @default.
- W1568930898 hasLocation W15689308981 @default.
- W1568930898 hasOpenAccess W1568930898 @default.
- W1568930898 hasPrimaryLocation W15689308981 @default.
- W1568930898 hasRelatedWork W1568930898 @default.
- W1568930898 hasRelatedWork W2003635053 @default.
- W1568930898 hasRelatedWork W2011911564 @default.
- W1568930898 hasRelatedWork W2019029740 @default.
- W1568930898 hasRelatedWork W2037293272 @default.
- W1568930898 hasRelatedWork W2059034874 @default.
- W1568930898 hasRelatedWork W2092236453 @default.
- W1568930898 hasRelatedWork W2738889230 @default.
- W1568930898 hasRelatedWork W2964187826 @default.
- W1568930898 hasRelatedWork W4234830437 @default.
- W1568930898 hasVolume "52" @default.
- W1568930898 isParatext "false" @default.
- W1568930898 isRetracted "false" @default.
- W1568930898 magId "1568930898" @default.
- W1568930898 workType "article" @default.