✦ LIBER ✦

Calculus with the quantifier of elementary equivalence

✍ Scribed by A. G. Pinus

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hanf number for the calculus with the Hä

✍ A. G. Pinus 📂 Article 📅 1979 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 233 KB

The intuitionistic propositional calculu

✍ S. K. Sobolev 📂 Article 📅 1977 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 285 KB

An Extension of the Équivalence Calculus

✍ Hugues Leblanc 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB

Elementary equivalence of the semigroup

✍ E. I. Bunina; A. V. Mikhalev 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 140 KB

Elementary equivalent pairs of algebras

✍ Colin Naturman; Henry Rose 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 496 KB

The Equivalence of Different Hierarchies

✍ G. T. Herman 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 349 KB