Restrictions on forcings that change cofinalities (Q283096): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 6 users not shown) | |||
Property / review text | |||
This is an interesting and short paper in which the authors prove some results about forcing notions that change the cofinality of cardinals. It is shown that a proper forcing notion (in particular a countably closed forcing notion) can not change the cofinality of a cardinal without collapsing it. This result shows that the use of finite approximations in the definition of forcing notions like Magidor or Radin forcing is somehow reasonable. The main results of the paper show the difference between Prikry forcing which changes the cofinality of a measurable cardinal to \(\omega\), and forcing notions which change the cofinality of some large cardinal to an uncountable regular cardinal. Let \(\kappa\) be a measurable cardinal and let \(U\) be a normal measure on \(\kappa.\) Also, let \(\mathbb{P}_U\) be the corresponding Prikry forcing. As it is well-known, (the Boolean completion of) \(\mathbb{P}_U\) is homogeneous and it adds no bounded subsets to \(\kappa\), while it changes the cofinality of \(\kappa\) to \(\omega\). The authors show that there is no forcing changing the cofinality of a cardinal \(\kappa\) to an uncountable cardinal while having the above two mentioned properties (the results are stated and proved in a more general form). The authors conclude the paper with some questions and conjectures. In particular, it is asked if it is possible to change the cofinality of infinitely many cardinals to a constant cofinality without adding \(\omega\)-sequences. | |||
Property / review text: This is an interesting and short paper in which the authors prove some results about forcing notions that change the cofinality of cardinals. It is shown that a proper forcing notion (in particular a countably closed forcing notion) can not change the cofinality of a cardinal without collapsing it. This result shows that the use of finite approximations in the definition of forcing notions like Magidor or Radin forcing is somehow reasonable. The main results of the paper show the difference between Prikry forcing which changes the cofinality of a measurable cardinal to \(\omega\), and forcing notions which change the cofinality of some large cardinal to an uncountable regular cardinal. Let \(\kappa\) be a measurable cardinal and let \(U\) be a normal measure on \(\kappa.\) Also, let \(\mathbb{P}_U\) be the corresponding Prikry forcing. As it is well-known, (the Boolean completion of) \(\mathbb{P}_U\) is homogeneous and it adds no bounded subsets to \(\kappa\), while it changes the cofinality of \(\kappa\) to \(\omega\). The authors show that there is no forcing changing the cofinality of a cardinal \(\kappa\) to an uncountable cardinal while having the above two mentioned properties (the results are stated and proved in a more general form). The authors conclude the paper with some questions and conjectures. In particular, it is asked if it is possible to change the cofinality of infinitely many cardinals to a constant cofinality without adding \(\omega\)-sequences. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Mohammad Golshani / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E55 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6580184 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
large cardinals | |||
Property / zbMATH Keywords: large cardinals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
forcing | |||
Property / zbMATH Keywords: forcing / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Prikry-type forcing | |||
Property / zbMATH Keywords: Prikry-type forcing / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2128401853 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1502.02165 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Changing cofinalities and the nonstationary ideal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intermediate submodels and generic extensions in set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weakly Normal Filters and Irregular Ultrafilters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CHAIN CONDITIONS OF PRODUCTS, AND WEAKLY COMPACT CARDINALS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4326402 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:10, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Restrictions on forcings that change cofinalities |
scientific article |
Statements
Restrictions on forcings that change cofinalities (English)
0 references
13 May 2016
0 references
This is an interesting and short paper in which the authors prove some results about forcing notions that change the cofinality of cardinals. It is shown that a proper forcing notion (in particular a countably closed forcing notion) can not change the cofinality of a cardinal without collapsing it. This result shows that the use of finite approximations in the definition of forcing notions like Magidor or Radin forcing is somehow reasonable. The main results of the paper show the difference between Prikry forcing which changes the cofinality of a measurable cardinal to \(\omega\), and forcing notions which change the cofinality of some large cardinal to an uncountable regular cardinal. Let \(\kappa\) be a measurable cardinal and let \(U\) be a normal measure on \(\kappa.\) Also, let \(\mathbb{P}_U\) be the corresponding Prikry forcing. As it is well-known, (the Boolean completion of) \(\mathbb{P}_U\) is homogeneous and it adds no bounded subsets to \(\kappa\), while it changes the cofinality of \(\kappa\) to \(\omega\). The authors show that there is no forcing changing the cofinality of a cardinal \(\kappa\) to an uncountable cardinal while having the above two mentioned properties (the results are stated and proved in a more general form). The authors conclude the paper with some questions and conjectures. In particular, it is asked if it is possible to change the cofinality of infinitely many cardinals to a constant cofinality without adding \(\omega\)-sequences.
0 references
large cardinals
0 references
forcing
0 references
Prikry-type forcing
0 references