Skip to main content
added 1 character in body
Source Link
Gerhard Paseman
  • 13k
  • 3
  • 32
  • 63

Before asking my question I like to admit that i am not an expert in the foundation of mathematics and I am interested in this issue more from a philosophical perspective. So my question may be competently naive. If we assume $ZFC$ and the negation of the continuum hypothesis, what is know about the set $$\{|A|~|~A\subseteq \mathbb{R},~|\mathbb{N}|<|A|<|\mathbb{R}|\}.$$ Is in finite, countable or uncountable? Or are these claims independent of $ZFC+\neg CH$. As a Platonist in the philosophy of mathematics I suppose that the set is uncountable. Everything that possibly exists, exists. But what is the consistency strength of such a claim?


Thanks for the answers so far. Perhaps I should make my last question more pricesprecise. Is ZFC plus the assumption that the set above is uncountable consistent if ZFC is?

Before asking my question I like to admit that i am not an expert in the foundation of mathematics and I am interested in this issue more from a philosophical perspective. So my question may be competently naive. If we assume $ZFC$ and the negation of the continuum hypothesis, what is know about the set $$\{|A|~|~A\subseteq \mathbb{R},~|\mathbb{N}|<|A|<|\mathbb{R}|\}.$$ Is in finite, countable or uncountable? Or are these claims independent of $ZFC+\neg CH$. As a Platonist in the philosophy of mathematics I suppose that the set is uncountable. Everything that possibly exists, exists. But what is the consistency strength of such a claim?


Thanks for the answers so far. Perhaps I should make my last question more prices. Is ZFC plus the assumption that the set above is uncountable consistent if ZFC is?

Before asking my question I like to admit that i am not an expert in the foundation of mathematics and I am interested in this issue more from a philosophical perspective. So my question may be competently naive. If we assume $ZFC$ and the negation of the continuum hypothesis, what is know about the set $$\{|A|~|~A\subseteq \mathbb{R},~|\mathbb{N}|<|A|<|\mathbb{R}|\}.$$ Is in finite, countable or uncountable? Or are these claims independent of $ZFC+\neg CH$. As a Platonist in the philosophy of mathematics I suppose that the set is uncountable. Everything that possibly exists, exists. But what is the consistency strength of such a claim?


Thanks for the answers so far. Perhaps I should make my last question more precise. Is ZFC plus the assumption that the set above is uncountable consistent if ZFC is?

added 185 characters in body
Source Link

Before asking my question I like to admit that i am not an expert in the foundation of mathematics and I am interested in this issue more from a philosophical perspective. So my question may be competently naive. If we assume $ZFC$ and the negation of the continuum hypothesis, what is know about the set $$\{|A|~|~A\subseteq \mathbb{R},~|\mathbb{N}|<|A|<|\mathbb{R}|\}.$$ Is in finite, countable or uncountable? Or are these claims independent of $ZFC+\neg CH$. As a Platonist in the philosophy of mathematics I suppose that the set is uncountable. Everything that possibly exists, exists. But what is the consistency strength of such a claim?


Thanks for the answers so far. Perhaps I should make my last question more prices. Is ZFC plus the assumption that the set above is uncountable consistent if ZFC is?

Before asking my question I like to admit that i am not an expert in the foundation of mathematics and I am interested in this issue more from a philosophical perspective. So my question may be competently naive. If we assume $ZFC$ and the negation of the continuum hypothesis, what is know about the set $$\{|A|~|~A\subseteq \mathbb{R},~|\mathbb{N}|<|A|<|\mathbb{R}|\}.$$ Is in finite, countable or uncountable? Or are these claims independent of $ZFC+\neg CH$. As a Platonist in the philosophy of mathematics I suppose that the set is uncountable. Everything that possibly exists, exists. But what is the consistency strength of such a claim?

Before asking my question I like to admit that i am not an expert in the foundation of mathematics and I am interested in this issue more from a philosophical perspective. So my question may be competently naive. If we assume $ZFC$ and the negation of the continuum hypothesis, what is know about the set $$\{|A|~|~A\subseteq \mathbb{R},~|\mathbb{N}|<|A|<|\mathbb{R}|\}.$$ Is in finite, countable or uncountable? Or are these claims independent of $ZFC+\neg CH$. As a Platonist in the philosophy of mathematics I suppose that the set is uncountable. Everything that possibly exists, exists. But what is the consistency strength of such a claim?


Thanks for the answers so far. Perhaps I should make my last question more prices. Is ZFC plus the assumption that the set above is uncountable consistent if ZFC is?

Source Link

Cardinals in $ZFC+\neg CH$

Before asking my question I like to admit that i am not an expert in the foundation of mathematics and I am interested in this issue more from a philosophical perspective. So my question may be competently naive. If we assume $ZFC$ and the negation of the continuum hypothesis, what is know about the set $$\{|A|~|~A\subseteq \mathbb{R},~|\mathbb{N}|<|A|<|\mathbb{R}|\}.$$ Is in finite, countable or uncountable? Or are these claims independent of $ZFC+\neg CH$. As a Platonist in the philosophy of mathematics I suppose that the set is uncountable. Everything that possibly exists, exists. But what is the consistency strength of such a claim?