A thin Lie algebra is a L, graded over the positive integers, with its first homogeneous component L1 of dimension two and generating such that each nonzero ideal L lies between consecutive terms lower central series. All components have one or two, two-dimensional are called diamonds. If only diamond, then maximal class. We present simpler proofs some fundamental facts on algebras class, algeb...

We study topological von Neumann regularity and principal von Neumann regularity of Banach algebras. Our main objective is comparing these two types of Banach algebras and some other known Banach algebras with one another. In particular, we show that the class of topologically von Neumann regular Banach algebras contains all $C^*$-algebras, group algebras of compact abelian groups and ...

For a complete lattice V which, as a category, is monoidal closed, and for a suitable Setmonad T we consider (T,V)-algebras and introduce (T,V)-proalgebras, in generalization of Lawvere’s presentation of metric spaces and Barr’s presentation of topological spaces. In this lax-algebraic setting, uniform spaces appear as proalgebras. Since the corresponding categories behave functorially both in ...

We introduce a framework for presenting non-classical logics in a modular and uniform way as labelled natural deduction systems. The use of algebras of truth-values as the labelling algebras of our systems allows us to give generalized systems for multiple-valued logics. More specifically, our framework generalizes previous work where labels represent worlds in the underlying Kripke structure: ...

Today there is no programming model or language support which ooers a uniform programming methodology on a wide variety of parallel architectures. In this paper functional languages are proposed as such a methodology using an extension of the concept of skeletons | higher-order functions coupled with parallel implementation templates. An essential part of the proposed methodology is the use of ...

We construct Boolean-valued term models and describe their universal properties. The underlying set of these models consists of the terms of the underlying language, while formulae are interpreted in the Lindenbaum-Tarski algebra of open formulae. Subspaces of the Stone space of the Lindenbaum-Tarski algebra of open formulae are shown to be homeomorphic to spaces of enumerated models models equ...

We study the concept of finitary formal topology, a point-free version of a topological space with a basis of compact open subsets. The notion of finitary formal topology is defined from the perspective of the Basic Picture (introduced by the second author) and thus it is endowed with a binary positivity relation. As an application, we prove a constructive version of Stone’s representation theo...

We present a uniform version of Di Nola Theorem, this enables to embed all MV-algebras of a bounded cardinality in an algebra of functions with values in a single non-standard ultrapower of the real interval [0, 1]. This result also implies the existence, for any cardinal α, of a single MValgebra in which all infinite MV-algebras of cardinality at most α embed. Recasting the above construction ...

We give a computer free proof of the Deligne, Cohen and deMan formulas for the dimensions of the irreducible g-modules appearing in g, k ≤ 4, where g ranges over the exceptional complex simple Lie algebras. We give additional dimension formulas for the exceptional series, as well as uniform dimension formulas for other representations distinguished by Freudenthal along the rows of his magic cha...