DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET THEORY
V A Yankov · Izvestiya Mathematics · 1995
It is shown that in impredicative extensions of arithmetic, intuitionistic analysis, and intuitionistic Zermelo-Fraenkel set theory with the help of suitable bar axioms it is possible to show the consistency of classical arithmetic, classical analysis, and classical set theory. It is argued that the proofs given enable one to verify the true consistency of the classical systems.