0
votes
1answer
23 views

Order of cardinal number

I am puzzled. Wikipedia says: "|X| ≤ |Y| means that there exists an injective function from X to Y." Let's see sets A and B: A = {1,2,3} and B = {1,2}. f: A → B: 1 ↦ 1, 2 ↦ 2. f is injective, but |B| ...
2
votes
1answer
44 views

What is the defenition of $\mathcal{c}$ and $\aleph_1$ if we assume ZFC without CH.

I am reading an intro to a chapter of Andreas Blass called "Combinatorial Cardinal Characteristics of the Continuum" and I am getting a bit confused. When I studied "Discrete Mathematics", it was ...
2
votes
2answers
118 views

How do the terms “countable” and “uncountable” not assume the continuum hypothesis?

Every countable set has cardinality $\aleph_0$. The next larger cardinality is $\aleph_1$. Every uncountable set has cardinality $\geq 2^{\aleph_0}$ Now, an infinite set can only be countable or ...
3
votes
1answer
129 views

(Non) equivalence of regular cardinal definitions

The usual definition of a regular cardinal is "$\kappa$ is regular if $cf(\kappa) = \kappa$", which, assuming the axiom of choice, is equivalent to this definition: "$\kappa$ is regular iff it cannot ...
0
votes
2answers
52 views

Question about power of sets

If two sets are finite and they have the same power, can we say that the two sets are equivalent? Is every finite set countable?
1
vote
2answers
101 views

Number of Vertices of Graphs

So, I was looking at some graph theoretical stuff, more specifically Topological Graph Theory, and I had a question about the definition of graphs: is there usually a condition in the definition ...
0
votes
2answers
710 views

Definition of denumerable (countable) set

When we say that a set $S$ is denumerable, that is, there is a bijection $S \to \omega$, do we mean that there exists such a bijection or do we mean that we have one and are talking about a pair ...
2
votes
4answers
344 views

What's the definition of $\omega$?

This is a follow up on a comment to one of my previous questions. What's the definition of $\omega$? Are the following equivalent definition of $\omega$: $\omega$ is the initial ordinal of ...
4
votes
3answers
270 views

What does $H(\kappa)$ mean?

As the typical references (Wikipedia, Mathworld, etc.) don't seem to address this satisfactorily, I figured this would be a good place to put a nice formal definition. Hence: I've heard that if ...