FOM: proof theory (correction) (correction)

[Stephen G Simpson]

Earlier today I wrote:
 > It was foolish of me to attempt to list the proof theorists who
 > subscribe to FOM off the top of my head.  I unintentionally omitted
 > two of the most prominent ones, Charles Parsons and Peter Aczel, and
 > perhaps others.  I apologize to anyone who was left out.

Another prominent one that I unintentionally omitted is Grigori Mints.
What an idiot I am.

-- Steve