<p>Recently this paper on complexity theory was published at the Annals of Mathematics by Razborov, <a href="http://annals.math.princeton.edu/2015/181-2/p01">http://annals.math.princeton.edu/2015/181-2/p01</a>. Curiously this seems to have been submitted to the journal 12 years ago! </p>

<p>I was wondering if by now this work has already gone into some textbook or has it gotten improved or if there are already pedagogic expositions available for this? It would be helpful to get such references if they exist!</p>

CC BY-SA 3.0
2016-09-29T01:22:02.817Z
Please state exactly which result you want an exposition for. See Jan Krajicek's book "Forcing with Random Variables", chapters related to proof complexity generators. Razborov himself has links to some good surveys on the topic on his homepage.
Kaveh
CC BY-SA 3.0
2016-09-29T14:46:29.197Z
^These subsume this particular paper?
Student
<cc.complexity-theory><circuit-complexity><arithmetic-circuits><circuit-families><circuit-depth>
About the ``recent" paper by Razborov in the Annals of Mathematics
gradstudent
# About the ``recent" paper by Razborov in the Annals of Mathematics

(Asked by: username_0 on 2016-09-28)

Recently this paper on complexity theory was published at the Annals of Mathematics by Razborov, <http://annals.math.princeton.edu/2015/181-2/p01>. Curiously this seems to have been submitted to the journal 12 years ago!

I was wondering if by now this work has already gone into some textbook or has it gotten improved or if there are already pedagogic expositions available for this? It would be helpful to get such references if they exist!

**Tags:** cc.complexity-theory, circuit-complexity, arithmetic-circuits, circuit-families, circuit-depth
> **Comments:**
> **username_1**: Please state exactly which result you want an exposition for. See Jan Krajicek's book "Forcing with Random Variables", chapters related to proof complexity generators. Razborov himself has links to some good surveys on the topic on his homepage.  
> **username_2**: ^These subsume this particular paper?  

---

## 0 answers

