2 Answered Questions

15 Answered Questions

[SOLVED] Why worry about the axiom of choice?

2 Answered Questions

[SOLVED] Does every non-empty set admit a group structure (in ZF)?

1 Answered Questions

[SOLVED] Proof-Theoretic Ordinal of ZFC or Consistent ZFC Extensions?

2 Answered Questions

[SOLVED] Does ZFC prove the universe is linearly orderable?

3 Answered Questions

31 Answered Questions

11 Answered Questions

[SOLVED] Solutions to the Continuum Hypothesis

9 Answered Questions

8 Answered Questions

[SOLVED] Why should we believe in the axiom of regularity?

8 Answered Questions

[SOLVED] Forcing as a tool to prove theorems

  • 2010-06-29 17:59:01
  • 16278263789
  • 3948 View
  • 17 Score
  • 8 Answer
  • Tags:   set-theory forcing

4 Answered Questions

0 Answered Questions

9 Answered Questions

[SOLVED] solving $f(f(x))=g(x)$

4 Answered Questions

8 Answered Questions

[SOLVED] Set theories without "junk" theorems?

  • 2012-03-10 14:34:19
  • Jacques Carette
  • 9431 View
  • 62 Score
  • 8 Answer
  • Tags:   set-theory lo.logic

5 Answered Questions

[SOLVED] Completion of ZFC

  • 2010-11-22 05:23:55
  • Alex Lupsasca
  • 6919 View
  • 34 Score
  • 5 Answer
  • Tags:   set-theory

2 Answered Questions

3 Answered Questions

[SOLVED] Who needs Replacement anyway?

4 Answered Questions

[SOLVED] Is it possible to define higher cardinal arithmetics

6 Answered Questions

[SOLVED] Where in ordinary math do we need unbounded separation and replacement?