Skip to main content
MathOverflow

Return to Answer

added 113 characters in body
Source Link
Mohammad Golshani
Mohammad Golshani
  • 32.1k
  • 2
  • 99
  • 198

For measurable cardinals, the answer is yes and is due to Sy Friedman. See Coding Over a Measurable Cardinal.

There is some difficulty to extend the result to the context of Woodin cardinals, see Genericiy and large cardinals.

For strong cardinals, this is open, though for some simple sets, say the collection of Prikry sequences for the Prikry product, the answer is yes, see Killing the GCH everywhere with a single real.

See also Coding over core models

For measurable cardinals, the answer is yes and is due to Sy Friedman. See Coding Over a Measurable Cardinal.

There is some difficulty to extend the result to the context of Woodin cardinals, see Genericiy and large cardinals.

For strong cardinals, this is open, though for some simple sets, say the collection of Prikry sequences for the Prikry product, the answer is yes, see Killing the GCH everywhere with a single real.

For measurable cardinals, the answer is yes and is due to Sy Friedman. See Coding Over a Measurable Cardinal.

There is some difficulty to extend the result to the context of Woodin cardinals, see Genericiy and large cardinals.

For strong cardinals, this is open, though for some simple sets, say the collection of Prikry sequences for the Prikry product, the answer is yes, see Killing the GCH everywhere with a single real.

See also Coding over core models

Source Link
Mohammad Golshani
Mohammad Golshani
  • 32.1k
  • 2
  • 99
  • 198

For measurable cardinals, the answer is yes and is due to Sy Friedman. See Coding Over a Measurable Cardinal.

There is some difficulty to extend the result to the context of Woodin cardinals, see Genericiy and large cardinals.

For strong cardinals, this is open, though for some simple sets, say the collection of Prikry sequences for the Prikry product, the answer is yes, see Killing the GCH everywhere with a single real.