✦ LIBER ✦

Independence of axiom system of basic algebras

✍ Scribed by Ivan Chajda; Miroslav Kolařík

Book ID: 106169197
Publisher: Springer
Year: 2008
Tongue: English
Weight: 93 KB
Volume: 13
Category: Article
ISSN: 1432-7643
DOI: 10.1007/s00500-008-0291-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Set of Independent Axioms for Boolean

A Set of Independent Axioms for Boolean Algebra

✍ Dicker, R. M. 📂 Article 📅 1963 🏛 Oxford University Press 🌐 English ⚖ 237 KB

Completeness of axiom systems in algorit

Completeness of axiom systems in algorithmic algebras

✍ G. M. Kirsanov; G. E. Tseitlin 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 280 KB

Representing multi-algebras by algebras,

Representing multi-algebras by algebras, the axiom of choice, and the axiom of dependent choice

✍ H. Höft; P. E. Howard 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 328 KB

Independence of the axiomatic system for

Independence of the axiomatic system for MV-algebras

✍ Miroslav Kolařík 📂 Article 📅 2013 🏛 SP Versita 🌐 English ⚖ 102 KB

Independence of axiom sets characterizin

Independence of axiom sets characterizing formal concepts

✍ Xiao-Xue Song, Xia Wang, Wen-Xiu Zhang 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 541 KB

Independence of group algebras

✍ R. Conti; J. Hamhalter 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB

## Abstract It is shown that major independence conditions for left and right group operator algebras coincide. If Σ is a discrete ICC group, then the reduced left and right group algebras __W__^\*^~__λ__~(Σ) and __W__~__ϱ__~^\*^(Σ) are __W__^\*^‐independent. These algebras are moreover independent