2 Answered Questions

15 Answered Questions

[SOLVED] Why worry about the axiom of choice?

2 Answered Questions

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

3 Answered Questions

1 Answered Questions

[SOLVED] Reference for Wang Tile

30 Answered Questions

44 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?

0 Answered Questions

11 Answered Questions

[SOLVED] Checkmate in $\omega$ moves?

8 Answered Questions

[SOLVED] Set theories without "junk" theorems?

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

5 Answered Questions

[SOLVED] Is the Riemann Hypothesis equivalent to a $\Pi_1$ sentence?

5 Answered Questions

[SOLVED] Decidability of chess on an infinite board

2 Answered Questions

8 Answered Questions

[SOLVED] Arithmetic fixed point theorem

6 Answered Questions

[SOLVED] A remark of Connes

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?

1 Answered Questions

16 Answered Questions

[SOLVED] Most 'unintuitive' application of the Axiom of Choice?

2 Answered Questions