Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019819455> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2019819455 endingPage "324" @default.
- W2019819455 startingPage "306" @default.
- W2019819455 abstract "We show that there is a class-sized partial order P with the property that forcing with P preserves ZFC, supercompact cardinals, inaccessible cardinals and the value of 2κ for every inaccessible cardinal κ and, if κ is an inaccessible cardinal and A is an arbitrary subset of κκ, then there is a P-generic extension of the ground model V in which A is definable in 〈H(κ+)V[G],∈〉 by a Σ1-formula with parameters. We use this result to construct a class-sized partial order with the above preservation properties that forces the existence of well-orders of H(κ+) definable in the structure 〈H(κ+),∈〉 for every inaccessible cardinal κ. Assuming the GCH, David Asperó and Sy-David Friedman showed in [1] and [2] that there is a class-sized partial order preserving ZFC and various large cardinals and forcing the existence of a well-order of the universe whose restriction to H(κ+) is definable in 〈H(κ+)V[G],∈〉 by a parameter-free formula for every uncountable regular cardinal κ. Our second result can be interpreted as a boldface version of this result in the absence of the GCH." @default.
- W2019819455 created "2016-06-24" @default.
- W2019819455 creator A5009749667 @default.
- W2019819455 creator A5027259155 @default.
- W2019819455 date "2015-03-01" @default.
- W2019819455 modified "2023-10-18" @default.
- W2019819455 title "Large cardinals and definable well-orders, without the GCH" @default.
- W2019819455 cites W2019152175 @default.
- W2019819455 cites W2040355300 @default.
- W2019819455 cites W2077127157 @default.
- W2019819455 cites W2080177675 @default.
- W2019819455 cites W2091615361 @default.
- W2019819455 cites W2098442031 @default.
- W2019819455 cites W2157352249 @default.
- W2019819455 cites W2170135945 @default.
- W2019819455 cites W2250702321 @default.
- W2019819455 cites W2318231933 @default.
- W2019819455 cites W34438034 @default.
- W2019819455 cites W369254667 @default.
- W2019819455 cites W403698140 @default.
- W2019819455 cites W573749761 @default.
- W2019819455 cites W601151815 @default.
- W2019819455 cites W63070768 @default.
- W2019819455 doi "https://doi.org/10.1016/j.apal.2014.11.003" @default.
- W2019819455 hasPublicationYear "2015" @default.
- W2019819455 type Work @default.
- W2019819455 sameAs 2019819455 @default.
- W2019819455 citedByCount "2" @default.
- W2019819455 countsByYear W20198194552015 @default.
- W2019819455 crossrefType "journal-article" @default.
- W2019819455 hasAuthorship W2019819455A5009749667 @default.
- W2019819455 hasAuthorship W2019819455A5027259155 @default.
- W2019819455 hasBestOaLocation W20198194551 @default.
- W2019819455 hasConcept C10138342 @default.
- W2019819455 hasConcept C110729354 @default.
- W2019819455 hasConcept C114614502 @default.
- W2019819455 hasConcept C118615104 @default.
- W2019819455 hasConcept C134306372 @default.
- W2019819455 hasConcept C142399903 @default.
- W2019819455 hasConcept C154945302 @default.
- W2019819455 hasConcept C162324750 @default.
- W2019819455 hasConcept C180645754 @default.
- W2019819455 hasConcept C182306322 @default.
- W2019819455 hasConcept C197115733 @default.
- W2019819455 hasConcept C2777212361 @default.
- W2019819455 hasConcept C33923547 @default.
- W2019819455 hasConcept C41008148 @default.
- W2019819455 hasConcept C89507440 @default.
- W2019819455 hasConceptScore W2019819455C10138342 @default.
- W2019819455 hasConceptScore W2019819455C110729354 @default.
- W2019819455 hasConceptScore W2019819455C114614502 @default.
- W2019819455 hasConceptScore W2019819455C118615104 @default.
- W2019819455 hasConceptScore W2019819455C134306372 @default.
- W2019819455 hasConceptScore W2019819455C142399903 @default.
- W2019819455 hasConceptScore W2019819455C154945302 @default.
- W2019819455 hasConceptScore W2019819455C162324750 @default.
- W2019819455 hasConceptScore W2019819455C180645754 @default.
- W2019819455 hasConceptScore W2019819455C182306322 @default.
- W2019819455 hasConceptScore W2019819455C197115733 @default.
- W2019819455 hasConceptScore W2019819455C2777212361 @default.
- W2019819455 hasConceptScore W2019819455C33923547 @default.
- W2019819455 hasConceptScore W2019819455C41008148 @default.
- W2019819455 hasConceptScore W2019819455C89507440 @default.
- W2019819455 hasFunder F4320320879 @default.
- W2019819455 hasFunder F4320321181 @default.
- W2019819455 hasIssue "3" @default.
- W2019819455 hasLocation W20198194551 @default.
- W2019819455 hasOpenAccess W2019819455 @default.
- W2019819455 hasPrimaryLocation W20198194551 @default.
- W2019819455 hasRelatedWork W1534931658 @default.
- W2019819455 hasRelatedWork W1824030857 @default.
- W2019819455 hasRelatedWork W2002247592 @default.
- W2019819455 hasRelatedWork W2028775699 @default.
- W2019819455 hasRelatedWork W2170135945 @default.
- W2019819455 hasRelatedWork W3102884599 @default.
- W2019819455 hasRelatedWork W3125109056 @default.
- W2019819455 hasRelatedWork W4287997946 @default.
- W2019819455 hasRelatedWork W4302366117 @default.
- W2019819455 hasRelatedWork W580107462 @default.
- W2019819455 hasVolume "166" @default.
- W2019819455 isParatext "false" @default.
- W2019819455 isRetracted "false" @default.
- W2019819455 magId "2019819455" @default.
- W2019819455 workType "article" @default.