2 Answered Questions

15 Answered Questions

[SOLVED] Why worry about the axiom of choice?

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

29 Answered Questions

10 Answered Questions

[SOLVED] Solutions to the Continuum Hypothesis

2 Answered Questions

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

9 Answered Questions

7 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
  • 3871 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
  • 8781 View
  • 57 Score
  • 8 Answer
  • Tags:   set-theory lo.logic

5 Answered Questions

[SOLVED] Completion of ZFC

  • 2010-11-22 05:23:55
  • Alex Lupsasca
  • 6810 View
  • 33 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?

3 Answered Questions

[SOLVED] Singularizing forcing of "small" cardinality?