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