1 paper · 1 filter
Dan E. Willard
We have published several articles about generalizations and boundary-case exceptions to the Second Incompleteness Theorem during the last 25 years. The current paper will review s…