The Borel monadic theory of order is decidable
Abstract
The monadic theory of ( R,) with quantification restricted to Borel sets is decidable. The Boolean combinations of Fσ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof extends to larger classes of sets.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.