✦ LIBER ✦

A1 is not a conservative extension of S4 but of S5

✍ Scribed by Michiro Kondo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Kelley-Morse+Types of well order is not

✍ Haim Judah; M. Victoria Marshall 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 368 KB

E is a conservative extension of EĪ

✍ Robert K. Meyer; Richard Routley 📂 Article 📅 1974 🏛 Springer 🌐 English ⚖ 924 KB

Transformation (4S TO 5S) of the nuclear

✍ Willem De Boer; Joan Bolt 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 783 KB

A World of Farmers, But Not a Farmer’s W

✍ Louis A. Ferleger 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 67 KB

A global definition of expression contex

✍ Bas E Dutilh; Martijn A Huynen; Berend Snel 📂 Article 📅 2006 🏛 BioMed Central 🌐 English ⚖ 861 KB

Disjunctive extensions of S4 and a conje

✍ George F. Schumm 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 365 KB