[Proof Complexity] new paper

[Jan Krajicek]

  Dear colleagues,

  a new paper

  "Consistency of circuit lower bounds
   with bounded theories"

coauthored by Jan Bydzovsky and Igor C. Oliveira
is available via the ArXiv:

http://arxiv.org/abs/1905.12935

Comments most welcome.

                      Best regards,

                                      Jan