# Tagged Questions

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| ...
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 ...
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 ...
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 ...
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?
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 ...
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 ...
### 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 ...