✦ LIBER ✦

The monadic theory of (ω2,

✍ Scribed by Shmuel Lifsches; Saharon Shelah

Publisher: Springer
Year: 1992
Tongue: English
Weight: 325 KB
Volume: 31
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01269949

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The formal theory of monads II

✍ Stephen Lack; Ross Street 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 217 KB

We give an explicit description of the free completion EM(K) of a 2-category K under the Eilenberg-Moore construction, and show that this has the same underlying category as the 2-category Mnd(K) of monads in K. We then demonstrate that much of the formal theory of monads can be deduced using only t

The Undecidability of Monadic Modal Quan

The Undecidability of Monadic Modal Quantification Theory

✍ Saul A. Kripke 📂 Article 📅 1962 🏛 John Wiley and Sons 🌐 English ⚖ 279 KB 👁 1 views

Random graphs in the monadic theory of o

Random graphs in the monadic theory of order

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

Characterization of ω-regular languages

Characterization of ω-regular languages by monadic second-order formulas

✍ Hideki Yamasaki; Masako Takahashi; Kojiro Kobayashi 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 530 KB

Alternating automata, the weak monadic t

Alternating automata, the weak monadic theory of trees and its complexity

✍ David E. Muller; Ahmed Saoudi; Paul E. Schupp 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 882 KB

A note on the number of monadic quantifi

A note on the number of monadic quantifiers in monadic ∑11

✍ Martin Otto 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 275 KB