𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finitary algebraic logic II

✍ Scribed by Roger D. Maddux

Publisher
John Wiley and Sons
Year
1993
Tongue
English
Weight
208 KB
Volume
39
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Finitary Simple Lie Algebras
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.

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

Algebraic Geometry over Groups II. Logic
Algebraic Geometry over Groups II. Logical Foundations
✍ Alexei Myasnikov; Vladimir Remeslennikov 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 302 KB

The object of this paper, which is the second in a series of three, is to lay the logical foundations of the algebraic geometry over groups. Exploiting links between the algebraic geometry over groups and model theory we solve two problems on geometrical equivalence of groups which are due to B. Plo

Irreducible Finitary Lie Algebras over F
Irreducible Finitary Lie Algebras over Fields of Characteristic Zero
✍ Felix Leinen; Orazio Puglisi 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 67 KB

## ‫ދ‬ finite rank. We show that if Char ‫ދ‬ s 0, if dim V is infinite, and if L acts ‫ދ‬ irreducibly on V, then the derived algebra of L is simple. ᮊ 1998 Academic Press Let V be a vector space over the field ‫.ދ‬ The endomorphisms of finite Ž . rank form an ideal in End V , which becomes a local