✦ LIBER ✦

The commutator in equivalential algebras and Fregean varieties

✍ Scribed by Paweł M. Idziak; Katarzyna Słomczyńska; Andrzej Wroński

Publisher: Springer
Year: 2011
Tongue: English
Weight: 257 KB
Volume: 65
Category: Article
ISSN: 0002-5240
DOI: 10.1007/s00012-011-0133-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpolation and amalgamation propertie

Interpolation and amalgamation properties in varieties of equivalential algebras

✍ Małgorzata Porębska 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 219 KB

The Variety of Commutative BCI-Algebras

The Variety of Commutative BCI-Algebras is 2-Based

✍ Tingrong Zou 📂 Article 📅 2000 🏛 Springer ⚖ 24 KB

On the finite axiomatizability of variet

On the finite axiomatizability of varieties of commutative unary algebras

✍ V. K. Kartashov 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 95 KB

The commutator ideal in Toeplitz algebra

The commutator ideal in Toeplitz algebras for uniform algebras and the analytic structure

✍ Takahiko Nakazi; Hironari Sawada 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 198 KB

Irregular locus of the commuting variety

Irregular locus of the commuting variety of reductive symmetric lie algebras and rigid pairs

✍ M. Bulois 📂 Article 📅 2011 🏛 SP Birkhäuser Verlag Boston 🌐 English ⚖ 392 KB

Commutative Algebra in the Mizar System

✍ Piotr Rudnicki; Christoph Schwarzweller; Andrzej Trybulec 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 369 KB

We report on the development of algebra in the Mizar system. This includes the construction of formal multivariate power series and polynomials as well as the definition of ideals up to a proof of the Hilbert basis theorem. We present how the algebraic structures are handled and how we inherited the