Matches in SemOpenAlex for { <https://semopenalex.org/work/W99672212> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W99672212 abstract "The Maximality Principle MP is a scheme which states that if a sentence of the language of ZFC is true in some forcing extension V^P, and remains true in any further forcing extension of V^P, then it is true in all forcing extensions of V. A modified maximality principle MP_Gamma arises when considering forcing with a particular class Gamma of forcing notions. A parametrized form of such a principle, MP_Gamma(X), considers formulas taking parameters; to avoid inconsistency such parameters must be restricted to a specific set X which depends on the forcing class Gamma being considered. A stronger necessary form of such a principle, Box MP_Gamma(X), occurs when it continues to be true in all Gamma forcing extensions. This study uses iterated forcing, modal logic, and other techniques to establish consistency strengths for various modified maximality principles restricted to various forcing classes, including CCC, COHEN, COLL (the forcing notions that collapse ordinals to omega), <kappa directed closed forcing notions, etc., both with and without parameter sets. Necessary forms of these principles are also considered." @default.
- W99672212 created "2016-06-24" @default.
- W99672212 creator A5013301685 @default.
- W99672212 date "2004-06-03" @default.
- W99672212 modified "2023-09-27" @default.
- W99672212 title "Consistency Strengths of Modified Maximality Principles" @default.
- W99672212 cites W1520835256 @default.
- W99672212 cites W1978413491 @default.
- W99672212 cites W1978819760 @default.
- W99672212 cites W1989534953 @default.
- W99672212 cites W1991650963 @default.
- W99672212 cites W1998825076 @default.
- W99672212 cites W2169065977 @default.
- W99672212 cites W2318231933 @default.
- W99672212 cites W2478289388 @default.
- W99672212 hasPublicationYear "2004" @default.
- W99672212 type Work @default.
- W99672212 sameAs 99672212 @default.
- W99672212 citedByCount "4" @default.
- W99672212 countsByYear W996722122013 @default.
- W99672212 countsByYear W996722122015 @default.
- W99672212 countsByYear W996722122017 @default.
- W99672212 crossrefType "posted-content" @default.
- W99672212 hasAuthorship W99672212A5013301685 @default.
- W99672212 hasConcept C118615104 @default.
- W99672212 hasConcept C134306372 @default.
- W99672212 hasConcept C140479938 @default.
- W99672212 hasConcept C154945302 @default.
- W99672212 hasConcept C197115733 @default.
- W99672212 hasConcept C199360897 @default.
- W99672212 hasConcept C202444582 @default.
- W99672212 hasConcept C2776436953 @default.
- W99672212 hasConcept C2777212361 @default.
- W99672212 hasConcept C2778029271 @default.
- W99672212 hasConcept C33923547 @default.
- W99672212 hasConcept C41008148 @default.
- W99672212 hasConceptScore W99672212C118615104 @default.
- W99672212 hasConceptScore W99672212C134306372 @default.
- W99672212 hasConceptScore W99672212C140479938 @default.
- W99672212 hasConceptScore W99672212C154945302 @default.
- W99672212 hasConceptScore W99672212C197115733 @default.
- W99672212 hasConceptScore W99672212C199360897 @default.
- W99672212 hasConceptScore W99672212C202444582 @default.
- W99672212 hasConceptScore W99672212C2776436953 @default.
- W99672212 hasConceptScore W99672212C2777212361 @default.
- W99672212 hasConceptScore W99672212C2778029271 @default.
- W99672212 hasConceptScore W99672212C33923547 @default.
- W99672212 hasConceptScore W99672212C41008148 @default.
- W99672212 hasLocation W996722121 @default.
- W99672212 hasOpenAccess W99672212 @default.
- W99672212 hasPrimaryLocation W996722121 @default.
- W99672212 hasRelatedWork W1538772034 @default.
- W99672212 hasRelatedWork W179751113 @default.
- W99672212 hasRelatedWork W1978559879 @default.
- W99672212 hasRelatedWork W1979479785 @default.
- W99672212 hasRelatedWork W2028921653 @default.
- W99672212 hasRelatedWork W2032281556 @default.
- W99672212 hasRelatedWork W2038301599 @default.
- W99672212 hasRelatedWork W2099341534 @default.
- W99672212 hasRelatedWork W2120878557 @default.
- W99672212 hasRelatedWork W2139907287 @default.
- W99672212 hasRelatedWork W2169065977 @default.
- W99672212 hasRelatedWork W2549709684 @default.
- W99672212 hasRelatedWork W2565097121 @default.
- W99672212 hasRelatedWork W2768709143 @default.
- W99672212 hasRelatedWork W2811036268 @default.
- W99672212 hasRelatedWork W2970205057 @default.
- W99672212 hasRelatedWork W3105116513 @default.
- W99672212 hasRelatedWork W3108862601 @default.
- W99672212 hasRelatedWork W598189190 @default.
- W99672212 hasRelatedWork W188066024 @default.
- W99672212 isParatext "false" @default.
- W99672212 isRetracted "false" @default.
- W99672212 magId "99672212" @default.
- W99672212 workType "article" @default.