The current version of a complete draft of my "Proof complexity generators"
(a short monograph in preparation):
version - v6 (May 2024,
this is likely the last intermediate version before the final one).
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
- v6 vs. v5a: some editing, primarily in
Secs. 2.1, 8.4 and 10.2
I will 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.