A complete draft of my "Proof complexity generators"
(a short monograph) is available:
current version - v5a (February 2024).
Main changes:
- v2 vs. v1: Sec.6.5 removed (to be revised)
- v3a vs. v2: revised Sec.6.5 is back
- v4 vs. v3a: new Sec.8.5
- v5a vs. v4: substantial editing (new or reformulated statements), primarily in
Secs. 2.1, 4.2, 6.5, 8.2, 8.4 (formerly 8.7) and 10.2
I appreciate comments (general or specific) on any aspect of this work.
In particular, please point out
missing (or incorrect) references to a relevant literature (do not hesitate to point out
your own work).
The comments will be most helpful if received before summer 2024.
Thank you.