Skip to main content
edited tags
Link
Asaf Karagila
  • 39.8k
  • 8
  • 135
  • 283
added (continuum-hypothesis) tag - the question has been bumped anyway
Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40
Question Protected by Asaf Karagila
added 203 characters in body
Source Link
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215

I'm community wikiing this, since although I don't want it to be a discussion thread, I don't think that there is really a right answer to this.

From what I've seen, model theorists and logicians are mostly opposed to GCH, while on the other end of the spectrum, a lot ofsome functional analysis depends on GCH, so it is much better tolerated among functional analysts. In fact, I considered myself very much +GCH for a while, but Joel and Francois noted some interesting stuff about forcing axioms, (the more powerful ones directly contradict CH).

What is the general opinion on GCH in the mathematical community (replace GCH with CH where necessary)? Does it happen to be that CH/GCH doesn't often come up in algebra?

Please don't post just post "I agree with +-CH". I'd like your assessment of the mathematical community's opinion. Maybe your experiences with mathematicians you know, etc. Even your own experiences or opinion can work. I am just not interested in having 30 or 40 one line answers. Essentially, I'm not looking for a poll.

Edit: GCH=Generalized Continuum Hypothesis CH= Continuum Hypothesis

CH says that $\aleph_1=\mathfrak{c}$. That is, the successor cardinal of $\aleph_0$ is the continuum. The generalized form (GCH) says that for any infinite cardinal $\kappa$, we have $\kappa^+=2^\kappa$, that is, there are no cardinals strictly between $\kappa$ and $2^\kappa$.

Edit 2 (Harry): Changed the wording about FA. If it still isn't true, and you can improve it, feel free to edit the post yourself and change it.

I'm community wikiing this, since although I don't want it to be a discussion thread, I don't think that there is really a right answer to this.

From what I've seen, model theorists and logicians are mostly opposed to GCH, while on the other end of the spectrum, a lot of functional analysis depends on GCH. In fact, I considered myself very much +GCH for a while, but Joel and Francois noted some interesting stuff about forcing axioms, (the more powerful ones directly contradict CH).

What is the general opinion on GCH in the mathematical community (replace GCH with CH where necessary)? Does it happen to be that CH/GCH doesn't often come up in algebra?

Please don't post just post "I agree with +-CH". I'd like your assessment of the mathematical community's opinion. Maybe your experiences with mathematicians you know, etc. Even your own experiences or opinion can work. I am just not interested in having 30 or 40 one line answers. Essentially, I'm not looking for a poll.

Edit: GCH=Generalized Continuum Hypothesis CH= Continuum Hypothesis

CH says that $\aleph_1=\mathfrak{c}$. That is, the successor cardinal of $\aleph_0$ is the continuum. The generalized form (GCH) says that for any infinite cardinal $\kappa$, we have $\kappa^+=2^\kappa$, that is, there are no cardinals strictly between $\kappa$ and $2^\kappa$.

I'm community wikiing this, since although I don't want it to be a discussion thread, I don't think that there is really a right answer to this.

From what I've seen, model theorists and logicians are mostly opposed to GCH, while on the other end of the spectrum, some functional analysis depends on GCH, so it is much better tolerated among functional analysts. In fact, I considered myself very much +GCH for a while, but Joel and Francois noted some interesting stuff about forcing axioms, (the more powerful ones directly contradict CH).

What is the general opinion on GCH in the mathematical community (replace GCH with CH where necessary)? Does it happen to be that CH/GCH doesn't often come up in algebra?

Please don't post just post "I agree with +-CH". I'd like your assessment of the mathematical community's opinion. Maybe your experiences with mathematicians you know, etc. Even your own experiences or opinion can work. I am just not interested in having 30 or 40 one line answers. Essentially, I'm not looking for a poll.

Edit: GCH=Generalized Continuum Hypothesis CH= Continuum Hypothesis

CH says that $\aleph_1=\mathfrak{c}$. That is, the successor cardinal of $\aleph_0$ is the continuum. The generalized form (GCH) says that for any infinite cardinal $\kappa$, we have $\kappa^+=2^\kappa$, that is, there are no cardinals strictly between $\kappa$ and $2^\kappa$.

Edit 2 (Harry): Changed the wording about FA. If it still isn't true, and you can improve it, feel free to edit the post yourself and change it.

added 264 characters in body; added 10 characters in body; added 9 characters in body
Source Link
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215
Loading
added 72 characters in body; edited title; added 2 characters in body; added 1 characters in body
Source Link
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215
Loading
Post Made Community Wiki
Source Link
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215
Loading