Monadic Second Order Logic with Measure and Category Quantifiers
  We investigate the extension of Monadic Second Order logic, interpreted over
infinite words and trees, with generalized "for almost all" quantifiers
interpreted using the notions of Baire category and Lebesgue measure.
