An optional stopping theorem for nonadapted martingales
The definition of a (discrete-time) martingale is generalized, allowing the process to be nonadapted, and it is shown that the optional stopping theorem still holds. This result was motivated by and is applied to the study of gambling systems, especially at games such as craps in which bets are not immediately resolved.