Editing Self-verifying theories (section)

==References==

{{reflist}}

*{{cite journal |last1=Solovay |first1=Robert M. |title=Injecting Inconsistencies into Models of PA |journal=Annals of Pure and Applied Logic |date=9 October 1989 |volume=44 |issue=1–2 |pages=101–132 |doi=10.1016/0168-0072(89)90048-1 |doi-access=free }}
*{{cite journal |last1=Willard |first1=Dan E. |title=Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles |journal=The Journal of Symbolic Logic |date=Jun 2001 |volume=66 |issue=2 |pages=536–596 |doi=10.2307/2695030 |jstor=2695030 |s2cid=2822314 |url=https://www.jstor.org/stable/2695030|url-access=subscription }}
*{{cite journal |last1=Willard |first1=Dan E. |title=How to Extend the Semantic Tableaux and Cut-Free Versions of the Second Incompleteness Theorem almost to Robinson's Arithmetic Q |journal=The Journal of Symbolic Logic |date=Mar 2002 |volume=67 |issue=1 |pages=465–496 |doi=10.2178/jsl/1190150055 |jstor=2695021 |s2cid=8311827 |url=https://www.jstor.org/stable/2695021|url-access=subscription }}