Skip to main content
5 events
when toggle format what by license comment
Nov 15, 2022 at 4:06 vote accept Peter Gerdes
Nov 15, 2022 at 4:06 answer added Peter Gerdes timeline score: 0
Nov 4, 2022 at 18:16 comment added Peter Gerdes I'll email him and ask him.
Nov 1, 2022 at 1:08 comment added 喻 良 The result can be also found in Soare's old version (Ex 3.9, page 99). The proof is credited to Shore. But I remember Shore told me he just found a non-full approximation proof that is not the the first one. I could not find his email right now. But I remember he told who proved it first.
Oct 31, 2022 at 14:32 history asked Peter Gerdes CC BY-SA 4.0