Correction to “The measurability of hitting times”

Abstract

We correct an error in [1]. There is an error in the proof of Theorem 2.1, which was pointed out to me by K. Szczypkowski. On page 101, line 18, although An\Ln ⊂ ⋃i=1n(Ai\Ki), the assertion concerning the projections is not necessarily true. The following should replace the proof of Theorem 2.1, from line 6 of page 101 through the line that is 7 lines before the end of page 101. © 2011 Association for Symbolic Logic.