✦ LIBER ✦

Weak Liberated Versions of T and S4

✍ Scribed by Charles G. Morgan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Liberated versions ofT, S4, andS5

✍ Morgan, Charles G. 📂 Article 📅 1975 🏛 Springer-Verlag ⚖ 449 KB

Weak versions of Ramsey's theorem

✍ Richard Rado 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 359 KB

Comparing weak versions of separability

✍ Soukup, Dániel T.; Soukup, Lajos; Spadaro, Santi 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 514 KB

Weak Derandomization of Weak Algorithms:

✍ Ronen Shaltiel 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 545 KB

A liberated version of S5

✍ Lambert, Karel ;Leblanc, Hugues ;Meyer, Robert 📂 Article 📅 1969 🏛 Springer-Verlag ⚖ 234 KB

On a two-sided version of Reiter's condi

✍ H. L. Skudlarek 📂 Article 📅 1978 🏛 Springer 🌐 English ⚖ 312 KB