Title: Monadic Second Order Logic with Measure and Category Quantifiers,
Abstract: 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.