Topos Theory and Consistent Histories: The Internal Logic of the Set of all Consistent Sets

C. J. Isham

A major problem in the consistent-histories approach to quantum theory is contending with the potentially large number of consistent sets of history propositions. One possibility i…