✦ LIBER ✦

Definability in the Monadic Second-Order Theory of Successor

✍ Scribed by J. Richard Büchi and Lawrence H. Landweber

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidable Extensions of Monadic Second

✍ Dirk Siefkes 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 628 KB

TJNDEClDABLE EXTENSIONS OF MONADIC SECOND ORDER SUCCESSOR ARITHMETIC by DIRK SIEFKES in Heidelberg (GFR)

An axiom system for the weak monadic sec

✍ Dirk Siefkes 📂 Article 📅 1978 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 771 KB

A note on undecidable extensions of mona

✍ Thomas, Wolfgang 📂 Article 📅 1975 🏛 Springer-Verlag ⚖ 118 KB

A regular characterization of graph lang

✍ Joost Engelfriet 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 867 KB

Random graphs in the monadic theory of o

✍ Shmuel Lifsches; Saharon Shelah 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 278 KB

Monadic theory of order and topology, 1

✍ Yuri Gurevich 📂 Article 📅 1977 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 865 KB