✦ LIBER ✦

Finitary Algebraic Logic

✍ Scribed by Roger D. Maddux

Publisher: John Wiley and Sons
Year: 1989
Tongue: English
Weight: 713 KB
Volume: 35
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19890350405

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finitary algebraic logic II

✍ Roger D. Maddux 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 208 KB

## Abstract This is a supplement to the paper “Finitary Algebraic Logic” [1]. It includes corrections for several errors and some additional results. MSC: 03G15, 03G25.

Finitary Lie algebras

✍ A.A. Baranov; H. Strade 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 303 KB

An algebra is called finitary if it consists of finite-rank transformations of a vector space. We classify finitary simple and finitary irreducible Lie algebras over an algebraically closed field of characteristic = 2, 3.

Finitary Simple Lie Algebras

✍ A.A. Baranov 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 233 KB

An algebra is called finitary if it consists of finite-rank transformations of a vector space. We classify finitary simple Lie algebras over a field of characteristic 0. We also describe finitary irreducible Lie algebras.

Representations of finitary Lie algebras

✍ H. Strade 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Let F be an algebraically closed field of characteristic = 2, 3, W a F -vector space and The faithful irreducible L-modules are determined. It is shown that L has minimal ideals. If a minimal ideal S is infinite-dimensional then SW is a completely reducible L-module. Suppose L ∩ fgl(W ) = (0), W is

From finitary to infinitary second-order

From finitary to infinitary second-order logic

✍ George Weaver; Irena Penev 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

## Abstract A back and forth condition on interpretations for those second‐order languages without functional variables whose non‐logical vocabulary is finite and excludes functional constants is presented. It is shown that this condition is necessary and sufficient for the interpretations to be eq

Finitary logics for some CCS observation

Finitary logics for some CCS observational bisimulations

✍ Miranda Mowbray 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 438 KB