Top Network Posts
- 15100 prisoners and a lightbulb
- 11Is $\Bbb R$ definable in $(\Bbb C,0,1,+,*,\exp)$?
- 11Proving a function is continuous for all real numbers
- 10Elementary equivalence of free groups
- 8Löwenheim-Skolem for many-sorted theories
- 8Two cardinal obstructions
- 8Is there any countable ordinal number which has a member undefinable?
- View more network posts →