Corrections to my thesis as submitted 2007-01-01

Corrected in the version first sent to the publisher (April 2):

  1. The reference to Zhaohui Luo's article in part II was incorrect.
  2. In 4.2.5c the induction should be on the length of Delta (not Gamma').
  3. The term "finitary" was replaced by "finitistic" throughout part II (when referring to mathematics that can be formalized in PRA).

Moreover, there are minor improvements in the bibliography of part II, the bibliography of part I has been shifted one page, the front page has been improved, the margins have been made asymmetric, and hyperlinks are now marked using boxes.

Corrected in the printed version:

  1. A small error in the proof of Lemma 2.3.2 has been corrected. We also need to use (P ∨ Q) → R ⇔ (P → R) ∧ (Q → R).
  2. A number of typos in chapter 2 have been corrected.
  3. Before Proposition 3.4.5 "size" should not be italicized.
  4. In the last paragraph of appendix A "be" is corrected to "is".

Later corrections:

Suggested by Alex Simpson:

  1. Page 6, last sentence: The word "can" should be moved.
  2. Page 12: It should be noted that the consistency part of Corollary 1.3.4 follows from the normalization and confluence of beta-eta-reduction.
  3. Page 14, Theorem 1.4.4: A remark should be added.
  4. Page 22, below (A): The term "converse" should be "dual".
  5. Page 35, line 6 of the first paragraph: The word "interpretations" should be "Interpretation".
  6. Page 36: The words "may might" should be "may".
  7. Page 57: The term "semi-group" should be "monoid" (two places).
  8. Page 57: The context Gamma should also be spelled out in the extensionality rule.
  9. Page 93, second paragraph: The word "lead" should be "led".
  10. Page 115, second paragraph: The words "of the since" should be "since".
  11. Page 129, line 15: The word "prof" should be "proof".
  12. Page 151, first paragraph: The word "and" should be "an".
  13. Page 153: The words "topos logic dependent products" should be "topos logic".

Other corrections:

  1. Page 156, line 5: The words "small sums" should be "small unions".
  2. Page 156, last paragraph: The words "which expressing" corrected to "expressing".
  3. Page 157, last paragraph: The term "r-uniform" should be "i-uniform".

Last updated 2007-08-09 by Ivar Rummelhoff.