5
votes
1answer
68 views

Existence of a real uncountable $\aleph_{\alpha}$ without $\mathsf{AC}$

Set theory (Jech) $\text{p.}\;27:$ It is an open problem whether one can prove without the axiom of choice that there exists a regular uncountable $\aleph_{\alpha}\;($the informed guess is that ...
2
votes
1answer
75 views

Axiom of Choice and Zorn's Lemma Equivalence: some intuition

$$ \text{Axiom of Choice $\Rightarrow$ Zorn's Lemma } $$ $$\text{Axiom of Choice $\Leftarrow$ Zorn's Lemma } $$ I feel mathmatically immature to go through these proofs now. My quesiton therefore is: ...
4
votes
1answer
61 views

Why do class-sized models escape the completeness theorem?

Assume ZFC is consistent. Then its not true that every model $(M,\in')$ of ZFC has an element $x \in M$ such that $M$ believes that $x$ is a model of ZFC. Otherwise, by the semantic completeness ...
8
votes
3answers
279 views

How to write $\pi$ as a set in ZF?

I know that from ZF we can construct some sets in a beautiful form obtaining the desired properties that we expect to have these sets. In ZF all is a set (including numbers, elements, functions, ...
5
votes
2answers
214 views

Intuition behind the Axiom of Choice

Why is it different to make one choice or many choices than to make infinite choices from a theoretical point of view in which indeed you are not going to do any? How could that be different from ...
16
votes
4answers
437 views

Intuition for $\omega^\omega$

I'm trying to understand the ordinal number $\omega^\omega$ and I'm having a hard time. I think I understand what $\omega^2$ is. It's what I would get if I took countably many copies of $\omega$ and ...
3
votes
1answer
426 views

Explain Zermelo–Fraenkel set theory in layman terms

What does Zermelo–Fraenkel set theory mean? According to Wikipedia, Zermelo–Fraenkel set theory is a set theory that is proposed to overcome issues in naive set theory. I really appreciate if ...
2
votes
1answer
158 views

Hydra game and quantum superposition

Goodstein's theorem is not provable in Peano Arithmetic showed by Kirby and Harrington in 1982 [Wolfram Mathworld]. Any reference of a "quantum" hydra game where a head can remain in a state of ...
18
votes
1answer
545 views

What are some good intuitions for understanding Souslin's operation $\mathcal{A}$?

What are some good intuitions for understanding Souslin's operation $\mathcal{A}$? Recall the definition: Let $S = \mathbb{N^{<N}} = \bigcup_{n = 1}^\infty \mathbb{N}^n$ be the set of ...
4
votes
4answers
576 views

What are Aleph numbers intuitively?

I cannot get my head around the concept of the `types' of Aleph infinity. What is an easy intuitive way to see when you are given the integer numbers $\aleph_0$ the $\aleph_1$ will follow?
3
votes
1answer
225 views

Are there ways to describe the Martin Axiom intuitively?

I'm looking for some way of understanding the Martin Axiom for some $\kappa$ in an intuitive way. I know that the motivation is the Baire Category Theorem, however is there any other way of thinking ...
7
votes
4answers
690 views

Is there any motivation for Zorn's Lemma?

I have been reading Kreyszig's book on functional analysis, where it uses Zorn's lemma to prove the Hahn Banach theorem. However I don't quite get what Zorn's lemma is saying. I understand that it ...
62
votes
4answers
4k views

What are the Axiom of Choice and Axiom of Determinacy?

Would someone please explain: What does the Axiom of Choice mean, intuitively? What does the Axiom of Determinancy mean, intuitively, and how does it contradict the Axiom of Choice? as simple ...
2
votes
1answer
170 views

A “geometrical” representation for Ramsey's theorem

The [infinite] Ramsey theorem states that Let $n$ and $k$ be natural numbers. Every partition $\{X_1,\ldots ,X_k\}$ of $[\omega]^n$ into $k$ pieces has an infinite homogeneous set. Equivalently, ...
1
vote
5answers
3k views

What's the difference between open and closed sets?

Especially with relation to topology - rigorous definitions are appreciated, but just as important is the intuition!
64
votes
9answers
3k views

Different kinds of infinities?

Can someone explain to me how there can be different kinds of infinities? I was reading "the man who loved only numbers" and came across the concept of countable and uncountable infinities, but ...