Question

Understanding proof of Schroeder-Bernstein Theorem

score 383 · Answer 1 · 2026-04-09 01:25:15

383

Views

Understanding proof of Schroeder-Bernstein Theorem

Published on 09 Apr 2026 - 1:25

score 167 · Answer 2 · 2026-04-11 20:30:59

167

Views

Are we using the axiom of choice when we utilize a theorem a countable number of times?

Published on 11 Apr 2026 - 20:30

score 118 · Answer 3 · 2026-04-12 21:32:58

118

Views

Is this expression admitted in ZFC? $A=\{x|x\in A\}$?

Published on 12 Apr 2026 - 21:32

score 91 · Answer 4 · 2026-04-15 03:41:56

91

Views

Doesn't every nonempty tree on ${^k\omega} \times Y$ contain $\langle \emptyset, \emptyset, \dots, \emptyset \rangle$?

Published on 15 Apr 2026 - 3:41

score 618 · Answer 5 · 2026-04-16 07:45:04

618

Views

Cofinality and the Continuum

Published on 16 Apr 2026 - 7:45

score 141 · Answer 6 · 2026-04-11 23:13:10

141

Views

Are there interestingly non-equivalent definitions of countability over ZF?

Published on 11 Apr 2026 - 23:13

score 159 · Answer 7 · 2026-04-12 05:42:18

159

Views

$(\kappa,\lambda)$-extenders and well-foundedness

Published on 12 Apr 2026 - 5:42

score 90 · Answer 8 · 2026-04-15 00:12:56

90

Views

Long sequences in singular cardinals can't be cofinal

Published on 15 Apr 2026 - 0:12

score 339 · Answer 9 · 2026-04-15 11:37:07

For every non-empty subset $E$ of a natural number, there exists an element $k \in E$ such that $k \in m$ for all $ m \in E $ distinct from $k$

score 216 · Answer 10 · 2026-04-10 05:21:45

216

Views

Guide to cardinals and ordinals

Published on 10 Apr 2026 - 5:21

score 108 · Answer 11 · 2026-04-14 04:07:48

108

Views

Why is no AOC needed when proving Baire's theorem for a separable complete metric space?

Published on 14 Apr 2026 - 4:07

score 97 · Answer 12 · 2026-04-13 04:39:06

97

Views

Defining the least infinite limit ordinal constructively

Published on 13 Apr 2026 - 4:39

score 609 · Answer 13 · 2026-04-13 08:19:38

609

Views

Characterize a $\sigma$-algebra generated by a family of sets $\sigma(C)=\mathcal{B}_{\Omega}$

Published on 13 Apr 2026 - 8:19

score 90 · Answer 14 · 2026-04-09 07:01:31

90

Views

Two questions about ZFC

Published on 09 Apr 2026 - 7:01

score 70 · Answer 15 · 2026-04-14 14:51:47

70

Views

what is the explicit definition of $K_\lambda$-filters?

Published on 14 Apr 2026 - 14:51

List Question

Understanding proof of Schroeder-Bernstein Theorem

Are we using the axiom of choice when we utilize a theorem a countable number of times?

Is this expression admitted in ZFC? $A=\{x|x\in A\}$?

Doesn't every nonempty tree on ${^k\omega} \times Y$ contain $\langle \emptyset, \emptyset, \dots, \emptyset \rangle$?

Cofinality and the Continuum

Are there interestingly non-equivalent definitions of countability over ZF?

$(\kappa,\lambda)$-extenders and well-foundedness

Long sequences in singular cardinals can't be cofinal

For every non-empty subset $E$ of a natural number, there exists an element $k \in E$ such that $k \in m$ for all $ m \in E $ distinct from $k$

Guide to cardinals and ordinals

Why is no AOC needed when proving Baire's theorem for a separable complete metric space?

Defining the least infinite limit ordinal constructively

Characterize a $\sigma$-algebra generated by a family of sets $\sigma(C)=\mathcal{B}_{\Omega}$

Two questions about ZFC

what is the explicit definition of $K_\lambda$-filters?

Trending Questions

Popular # Hahtags

Popular Questions