Skip to main content
user6767509's user avatar
user6767509's user avatar
user6767509's user avatar
user6767509
  • Member for 4 years, 2 months
  • Last seen this week
  • Portugal
comment
How did the Baker-Gill-Solovay paper come to be?
There's also a citation for something Gill wrote, which in google scholar appears as "Axiomatic Independence of the Question NP&equil; P?" This appears in Kozen's paper on subrecursive indexes, for example
awarded