A Short Note on Spector's Proof of Consistency of Analysis

@inproceedings{Ferreira2012ASN,
  title={A Short Note on Spector's Proof of Consistency of Analysis},
  author={Fernando Ferreira},
  booktitle={CiE},
  year={2012}
}
In 1962, Clifford Spector gave a consistency proof of analysis using so-called bar recursors. His paper extends an interpretation of arithmetic given by Kurt Gödel in 1958. Spector’s proof relies crucially on the interpretation of the so-called (numerical) double negation shift principle. The argument for the interpretation is ad hoc. On the other hand… CONTINUE READING