Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045584562> ?p ?o ?g. }
- W2045584562 endingPage "2687" @default.
- W2045584562 startingPage "2672" @default.
- W2045584562 abstract "In recent work, the second author extended combinatorial principles due to Jech and Magidor that characterize certain large cardinal properties so that they can also hold true for small cardinals. For inaccessible cardinals, these modifications have no effect, and the resulting principles still give the same characterization of large cardinals. We prove that the proper forcing axiom PFA implies these principles hold for ω2. Using this, we argue to show that any of the known methods for forcing models of PFA from a large cardinal assumption requires a strongly compact cardinal. If one forces PFA using a proper forcing, then we get the optimal result that a supercompact cardinal is necessary." @default.
- W2045584562 created "2016-06-24" @default.
- W2045584562 creator A5060172982 @default.
- W2045584562 creator A5086234969 @default.
- W2045584562 date "2011-12-01" @default.
- W2045584562 modified "2023-10-16" @default.
- W2045584562 title "On the consistency strength of the proper forcing axiom" @default.
- W2045584562 cites W1595388840 @default.
- W2045584562 cites W1981694349 @default.
- W2045584562 cites W1985784884 @default.
- W2045584562 cites W2030079700 @default.
- W2045584562 cites W2037872815 @default.
- W2045584562 cites W2040139506 @default.
- W2045584562 cites W2040632702 @default.
- W2045584562 cites W2063598253 @default.
- W2045584562 cites W2066150461 @default.
- W2045584562 cites W2066172220 @default.
- W2045584562 cites W2067542931 @default.
- W2045584562 cites W2070851509 @default.
- W2045584562 cites W2070957642 @default.
- W2045584562 cites W2074199159 @default.
- W2045584562 cites W2079540958 @default.
- W2045584562 cites W2094042091 @default.
- W2045584562 cites W2118212674 @default.
- W2045584562 cites W2123625201 @default.
- W2045584562 cites W2127604217 @default.
- W2045584562 cites W2135857723 @default.
- W2045584562 cites W2143103819 @default.
- W2045584562 cites W2144481700 @default.
- W2045584562 cites W2152989620 @default.
- W2045584562 cites W2319297044 @default.
- W2045584562 cites W2322797218 @default.
- W2045584562 cites W3021186728 @default.
- W2045584562 cites W3037992247 @default.
- W2045584562 cites W4240551209 @default.
- W2045584562 cites W4249397951 @default.
- W2045584562 cites W80350220 @default.
- W2045584562 doi "https://doi.org/10.1016/j.aim.2011.07.016" @default.
- W2045584562 hasPublicationYear "2011" @default.
- W2045584562 type Work @default.
- W2045584562 sameAs 2045584562 @default.
- W2045584562 citedByCount "54" @default.
- W2045584562 countsByYear W20455845622012 @default.
- W2045584562 countsByYear W20455845622013 @default.
- W2045584562 countsByYear W20455845622014 @default.
- W2045584562 countsByYear W20455845622015 @default.
- W2045584562 countsByYear W20455845622016 @default.
- W2045584562 countsByYear W20455845622017 @default.
- W2045584562 countsByYear W20455845622018 @default.
- W2045584562 countsByYear W20455845622019 @default.
- W2045584562 countsByYear W20455845622020 @default.
- W2045584562 countsByYear W20455845622021 @default.
- W2045584562 countsByYear W20455845622022 @default.
- W2045584562 countsByYear W20455845622023 @default.
- W2045584562 crossrefType "journal-article" @default.
- W2045584562 hasAuthorship W2045584562A5060172982 @default.
- W2045584562 hasAuthorship W2045584562A5086234969 @default.
- W2045584562 hasBestOaLocation W20455845621 @default.
- W2045584562 hasConcept C118615104 @default.
- W2045584562 hasConcept C134306372 @default.
- W2045584562 hasConcept C167729594 @default.
- W2045584562 hasConcept C171250308 @default.
- W2045584562 hasConcept C192562407 @default.
- W2045584562 hasConcept C197115733 @default.
- W2045584562 hasConcept C202444582 @default.
- W2045584562 hasConcept C2524010 @default.
- W2045584562 hasConcept C2776436953 @default.
- W2045584562 hasConcept C2780841128 @default.
- W2045584562 hasConcept C33923547 @default.
- W2045584562 hasConcept C89507440 @default.
- W2045584562 hasConceptScore W2045584562C118615104 @default.
- W2045584562 hasConceptScore W2045584562C134306372 @default.
- W2045584562 hasConceptScore W2045584562C167729594 @default.
- W2045584562 hasConceptScore W2045584562C171250308 @default.
- W2045584562 hasConceptScore W2045584562C192562407 @default.
- W2045584562 hasConceptScore W2045584562C197115733 @default.
- W2045584562 hasConceptScore W2045584562C202444582 @default.
- W2045584562 hasConceptScore W2045584562C2524010 @default.
- W2045584562 hasConceptScore W2045584562C2776436953 @default.
- W2045584562 hasConceptScore W2045584562C2780841128 @default.
- W2045584562 hasConceptScore W2045584562C33923547 @default.
- W2045584562 hasConceptScore W2045584562C89507440 @default.
- W2045584562 hasIssue "5" @default.
- W2045584562 hasLocation W20455845621 @default.
- W2045584562 hasLocation W20455845622 @default.
- W2045584562 hasOpenAccess W2045584562 @default.
- W2045584562 hasPrimaryLocation W20455845621 @default.
- W2045584562 hasRelatedWork W1585919718 @default.
- W2045584562 hasRelatedWork W187570007 @default.
- W2045584562 hasRelatedWork W2045584562 @default.
- W2045584562 hasRelatedWork W2046675518 @default.
- W2045584562 hasRelatedWork W2404194969 @default.
- W2045584562 hasRelatedWork W2467005568 @default.
- W2045584562 hasRelatedWork W2482866898 @default.
- W2045584562 hasRelatedWork W2992333506 @default.
- W2045584562 hasRelatedWork W3125321514 @default.
- W2045584562 hasRelatedWork W4236932967 @default.
- W2045584562 hasVolume "228" @default.