Learn Python with Generative AI - Self Paced Online
Google, IBM & Meta Certificates — 40% Off for a Limited Time
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore the decidability of monadic second-order theories of ordered structures in this 47-minute mathematical lecture. Examine the contrast between the decidable monadic second-order theory of (â„•,
Syllabus
Sven Manthe: The Borel monadic theory of order is decidable
Taught by
Hausdorff Center for Mathematics