Do the infinite cardinals correspond to sets?

In summary: ZFC proves that a certain construction results in an inaccessible cardinal, but that there exists a model in which the construction is not actually possible.Not necessarily, there are axioms of inaccessible cardinals which does not correspond to sets in ZFC which can be constructed.
  • #1
ehllo_thar
5
0
For the infinite cardinal numbers (of which there are infinitely many), do they each necessarily correspond to some set? I mean we know that aleph-naught corresponds to N, c (aleph-one by continuum hypothesis) corresponds to R, but what about all the other infinite cardinals?

Is it possible to construct a set of each of those cardinalities?

Thanks for any help you can provide.
 
Physics news on Phys.org
  • #2
ehllo_thar said:
For the infinite cardinal numbers, do they each necessarily correspond to some set?
Yes, more or less by the definition of "cardinal number".
 
  • #3
Not necessarily, there are axioms of inaccessible cardinals which does not correspond to sets in ZFC which can be constructed.
 
  • #4
Hurkyl said:
Yes, more or less by the definition of "cardinal number".
Perhaps we have chosen the wrong definition? Anyway I'm basically just wondering if this is still an open question in mathematics or if it has already been proven or disproven. Are the "sets" of these cardinalities something specific that we know to exist, or just something that exists merely in the realm of theory?
 
  • #5
disregardthat said:
Not necessarily, there are axioms of inaccessible cardinals which does not correspond to sets in ZFC which can be constructed.
Could you elaborate a little more please?
 
  • #6
ehllo_thar said:
Perhaps we have chosen the wrong definition?
No -- the intent of cardinal numbers is to quantify sets up to bijection, so it is desirable that every cardinal number corresponds to a set, and every set has a cardinality.


Are the "sets" of these cardinalities something specific that we know to exist, or just something that exists merely in the realm of theory?
Without diving into whatever philosophical notions you're having, I'll just comment that our knowledge that a cardinal number exists is equivalent to our knowledge that a set exists of that cardinality.
 
  • #7
ehllo_thar said:
Are the "sets" of these cardinalities something specific that we know to exist, or just something that exists merely in the realm of theory?
There's no difference. When mathematicians say that a set with property P "exists", it only means that by the axioms of some set theory, and the axioms of an associated proof theory, the sentence [itex]\exists x~~ P(x)[/itex] is a theorem.
 
  • #8
I thought existence implied that there is a model for the sentence, or so that

(equivalently, I think), the existence does not contradict the rest of the theory.
 
  • #9
Bacle said:
I thought existence implied that there is a model for the sentence, or so that

(equivalently, I think), the existence does not contradict the rest of the theory.
I don't have a lot of experience with this stuff, so I might have it wrong. But regarding your two statements: When you say "...there is a model...", you're using the word "is" in the sense "exists", so I don't see how what you said contains any information. It's like saying that "all we have to do to prove that there exists an odd integer, is to prove that there exists an odd integer". Can you rephrase your statement without using the word "is" like that?

The second statement looks wrong to me. Consider "there exists a set such that the continuum hypothesis is true". This doesn't contradict ZFC, but that doesn't mean that there exists such a set in ZFC.
 
  • #10
disregardthat said:
Not necessarily, there are axioms of inaccessible cardinals which does not correspond to sets in ZFC which can be constructed.
According to Wikipedia an "inaccessible cardinal" is just a cardinal that can't be reached by repeated power set operations. Are you saying that this implies that they aren't sets?

Actually, now that I think about it, the idea of a cardinality that's not associated with any set doesn't make sense. "A and B have the same cardinality" means that there's a bijection from A onto B. The concept is only defined for sets.
 
  • #11
ehllo_thar said:
For the infinite cardinal numbers (of which there are infinitely many), do they each necessarily correspond to some set? I mean we know that aleph-naught corresponds to N, c (aleph-one by continuum hypothesis) corresponds to R, but what about all the other infinite cardinals?

Is it possible to construct a set of each of those cardinalities?

Thanks for any help you can provide.

ordinals can be generated sequentially. This was Cantor's original method. This generating process can be done with sets starting with the null set.
 
  • #12
Fredrik said:
According to Wikipedia an "inaccessible cardinal" is just a cardinal that can't be reached by repeated power set operations. Are you saying that this implies that they aren't sets?

Note the OP's question:
Is it possible to construct a set of each of those cardinalities?

So disregardthat seems to be saying that we cannot construct a set (in ZFC) having an inaccessible cardinal as its cardinality.
 
  • #13
There's a bit of a technicality that may or may not cause problems.

Depending upon what specifically you mean by "constructible", it may be that inaccessibility means that ZFC can't prove a particular construction results in a set that is an ordinal, instead of a proper class that is the class of all ordinals.
 
  • #14
Not sure if this sheds light on the question of the OP but there are theorems of finite combinatorial mathematics which cannot be proved without an additional axiom of inaccessible large cardinals.

"Finite functions and the necessary use of large cardinals" Harvey M. Friedman, Annals of Mathematics, 148 (1998) 803-893. http://arxiv.org/abs/math/9811187

Skippy

PS I've tried reading it twice in the past ten years. Can't get past the first 20 pages or so without hurting my brain so I can't explain the argument.
 

1. What are infinite cardinals and sets?

Infinite cardinals and sets are mathematical concepts that deal with the size or cardinality of a set. A set is a collection of distinct objects, while a cardinal is a number that represents the size of a set.

2. How do the infinite cardinals correspond to sets?

The infinite cardinals correspond to sets by assigning a unique cardinal number to each set, representing the size or number of elements in the set. This allows for a way to compare the sizes of different sets and understand their relationships.

3. What is the relationship between the infinite cardinals and the concept of infinity?

The concept of infinity is closely related to the infinite cardinals. The infinite cardinals represent the sizes of infinite sets, while the concept of infinity refers to something that is unbounded or limitless.

4. How are the infinite cardinals used in mathematics?

Infinite cardinals are used in many areas of mathematics, including set theory, number theory, and analysis. They provide a way to classify and compare the sizes of sets, and are an important tool in understanding the properties of infinite sets.

5. Are there different types of infinite cardinals?

Yes, there are different types of infinite cardinals, including countable and uncountable infinite cardinals. Countable cardinals are those that can be put into a one-to-one correspondence with the natural numbers, while uncountable cardinals are those that cannot be put into a one-to-one correspondence with the natural numbers.

Similar threads

  • Set Theory, Logic, Probability, Statistics
Replies
16
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
13
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
9
Views
965
  • Set Theory, Logic, Probability, Statistics
Replies
19
Views
3K
  • Set Theory, Logic, Probability, Statistics
Replies
20
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
6
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
4
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
11
Views
3K
  • Set Theory, Logic, Probability, Statistics
Replies
5
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
7
Views
2K
Back
Top