Question

Reference request for a formalized and organized take on the foundations (logic and set theory)

score 82 · Answer 1 · 2026-04-14 06:52:07

82

Views

Reference request for a formalized and organized take on the foundations (logic and set theory)

Published on 14 Apr 2026 - 6:52

score 83 · Answer 2 · 2026-04-13 14:08:04

83

Views

Looking for a book on set theory that covers cardinals, proper classes, extensions of ZFC etc. in detail

Published on 13 Apr 2026 - 14:08

score 128 · Answer 3 · 2026-04-15 01:06:39

128

Views

A question regarding a proof pertaining to: for all $n\in\omega$, $(\aleph_{n+1})^{\aleph_0}\leq\aleph_{n+1}\cdot(\aleph_n)^{\aleph_0}$

Published on 15 Apr 2026 - 1:06

score 810 · Answer 4 · 2026-04-13 04:30:49

810

Views

Constructible universe and the standard model

Published on 13 Apr 2026 - 4:30

score 4.1k · Answer 5 · 2026-04-11 21:27:58

4.1k

Views

What 'intermediate' or 'advanced' good set theory books are there?

Published on 11 Apr 2026 - 21:27

score 122 · Answer 6 · 2026-04-11 19:35:31

122

Views

Showing in $ZFC-Foundation$ that $V\neq R$

Published on 11 Apr 2026 - 19:35

score 153 · Answer 7 · 2026-04-15 17:08:37

153

Views

Inequality about infinite cardinals

Published on 15 Apr 2026 - 17:08

score 14.4k · Answer 8 · 2026-04-19 01:27:51

14.4k

Views

Is mathematics just a bunch of nested empty sets?

Published on 19 Apr 2026 - 1:27

score 150 · Answer 9 · 2026-04-06 17:33:14

150

Views

Equivalent formulations of Woodin cardinals

Published on 06 Apr 2026 - 17:33

score 107 · Answer 10 · 2026-04-14 17:54:09

107

Views

Modifying a sequence of ordinals to be increasing and continuous. (To find names of small rank.)

Published on 14 Apr 2026 - 17:54

score 149 · Answer 11 · 2026-04-12 02:40:35

149

Views

Does the existence of a Kuratowski-infinite set imply the existence of a Dedekind-infinite set?

Published on 12 Apr 2026 - 2:40

score 131 · Answer 12 · 2026-04-13 23:37:37

131

Views

When does $\omega \cdot \alpha = \alpha$?

Published on 13 Apr 2026 - 23:37

score 267 · Answer 13 · 2026-04-08 20:16:52

267

Views

How can I show $\omega + \omega^2 = \omega^2$, regarding $\omega$ as an ordinal?

Published on 08 Apr 2026 - 20:16

score 493 · Answer 14 · 2026-04-16 15:15:09

493

Views

Formal Definition of Large and Small Categories

Published on 16 Apr 2026 - 15:15

score 532 · Answer 15 · 2026-04-16 05:15:45

532

Views

Sigma summation notation formalization

Published on 16 Apr 2026 - 5:15

List Question

Reference request for a formalized and organized take on the foundations (logic and set theory)

Looking for a book on set theory that covers cardinals, proper classes, extensions of ZFC etc. in detail

A question regarding a proof pertaining to: for all $n\in\omega$, $(\aleph_{n+1})^{\aleph_0}\leq\aleph_{n+1}\cdot(\aleph_n)^{\aleph_0}$

Constructible universe and the standard model

What 'intermediate' or 'advanced' good set theory books are there?

Showing in $ZFC-Foundation$ that $V\neq R$

Inequality about infinite cardinals

Is mathematics just a bunch of nested empty sets?

Equivalent formulations of Woodin cardinals

Modifying a sequence of ordinals to be increasing and continuous. (To find names of small rank.)

Does the existence of a Kuratowski-infinite set imply the existence of a Dedekind-infinite set?

When does $\omega \cdot \alpha = \alpha$?

How can I show $\omega + \omega^2 = \omega^2$, regarding $\omega$ as an ordinal?

Formal Definition of Large and Small Categories

Sigma summation notation formalization

Trending Questions

Popular # Hahtags

Popular Questions