[Proof Complexity] new paper

[Jan Krajicek]

  Dear colleagues,

  I posted on my web page and on ArXiv a new,
mostly expository, paper

  "Expansions of pseudofinite structures and
   circuit and proof complexity".

The links are:

http://arxiv.org/abs/1505.00118

http://www.karlin.mff.cuni.cz/~krajicek/pseudofinite.pdf

Comments welcome!

                 Regards,

                              Jan