Science-advisor
REGISTER info/FAQ
Login
username
password
     
forgot password?
register here
 
Research articles
  search articles
  reviews guidelines
  reviews
  articles index
My Pages
my alerts
  my messages
  my reviews
  my favorites
 
 
Stat
Members: 3667
Articles: 2'599'751
Articles rated: 2609

09 February 2025
 
  » arxiv » 1605.0263

 Article overview



Unprovability of circuit upper bounds in Cook's theory PV
Jan Krajicek ; Igor C. Oliveira ;
Date 1 May 2016
AbstractWe establish unconditionally that for every integer $k geq 1$ there is a language $L in mbox{P}$ such that it is consistent with Cook’s theory PV that $L otin Size(n^k)$. Our argument is non-constructive and does not provide an explicit description of this language.
Source arXiv, 1605.0263
Services Forum | Review | PDF | Favorites   
 
Visitor rating: did you like this article? no 1   2   3   4   5   yes

No review found.
 Did you like this article?

This article or document is ...
important:
of broad interest:
readable:
new:
correct:
Global appreciation:

  Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.






ScienXe.org
» my Online CV
» Free

home  |  contact  |  terms of use  |  sitemap
Copyright © 2005-2025 - Scimetrica