On the interpolation property of some intuitionistic modal logics

LetL be one of the intuitionistic modal logics considered in [7] (or one of its extensions) and letM _L be the algebraic semantics ofL. In this paper we will extend toL the equivalence, proved in the classical case (see [6]), among he weak Craig interpolation theorem, the Robinson theorem and the amalgamation property of varietyM _L. We will also prove the equivalence between the Craig interpolation theorem and the super-amalgamation property of varietyM _L. Then we obtain the Craig interpolation theorem and Robinson theorem for two intuitionistic modal logics, one ofS ₄-type and the other one ofS ₅-type, showing the super-amalgamation property of the corresponding algebraic semantics.     

Generalizations of Boolean products for lattice-ordered algebras

It is shown that the Boolean center of complemented elements in a bounded integral residuated lattice characterizes direct decompositions. Generalizing both Boolean products and poset sums of residuated lattices, the concepts of poset product, Priestley product and Esakia product of algebras are defined and used to prove decomposition theorems for various ordered algebras. In particular, we show that FL_w-algebras decompose as a poset product over any finite set of join irreducible strongly central elements, and that bounded n-potent GBL-algebras are represented as Esakia products of simple n-potent MV-algebras.     

Density results in the Δ20 e-degrees

We show that the Δ⁰ ₂ enumeration degrees are dense. We also show that for every nonzero n-c. e. e-degree a, with n≥ 3, one can always find a nonzero 3-c. e. e-degree b such that b < a on the other hand there is a nonzero ωc. e. e-degree which bounds no nonzero n-c. e. e-degree. Received: 13 June 2000 / Published online: 3 October 2001     

Ockham algebras with double pseudocomplementation

The variety dpO consists of those algebras (L; ∧, ∨, f, *, ⁺, 0, 1) with ∧, ∨ binary, f, *, ⁺ unary and 0, 1 nullary, and where (L; ∧, ∨, f, 0, 1) is an Ockham algebra and the unary operations f and * commute, f and⁺ commute. We describe completely the structure of the subdirectly irreducible algebras that belong to the subclass dpK_1,1, characterised by the property f³ = f. This paper is dedicated to Walter Taylor. Received September 29, 2004; accepted in final form September 8, 2005.     

Relatively Free Nilpotent Torsion-Free Groups and Their Lie Algebras

Let K be a field of characteristic zero. For a torsion-free finitely generated nilpotent group G, we naturally associate four finite dimensional nilpotent Lie algebras over K, ? _K (G), grad^(?)(? _K (G)), grad^(g)(exp ? _K (G)), and L _K (G). Let 𝔗 _c be a torsion-free variety of nilpotent groups of class at most c. For a positive integer n, with n ≥ 2, let F _n (𝔗 _c ) be the relatively free group of rank n in 𝔗 _c . We prove that ? _K (F _n (𝔗 _c )) is relatively free in some variety of nilpotent Lie algebras, and ? _K (F _n (𝔗 _c )) ? L _K (F _n (𝔗 _c )) ? grad^(?)(? _K (F _n (𝔗 _c ))) ? grad^(g)(exp ? _K (F _n (𝔗 _c ))) as Lie algebras in a natural way. Furthermore, F _n (𝔗 _c ) is a Magnus nilpotent group. Let G ₁ and G ₂ be torsion-free finitely generated nilpotent groups which are quasi-isometric. We prove that if G ₁ and G ₂ are relatively free of finite rank, then they are isomorphic. Let L be a relatively free nilpotent Lie algebra over ? of finite rank freely generated by a set X. Give on L the structure of a group R, say, by means of the Baker–Campbell–Hausdorff formula, and let H be the subgroup of R generated by the set X. We show that H is relatively free in some variety of nilpotent groups; freely generated by the set X, H is Magnus and L ? ?_?(H) ? L _?(H) as Lie algebras. For relatively free residually torsion-free nilpotent groups, we prove that ? _K and L _K are isomorphic as Lie algebras. We also give an example of a finitely generated Magnus nilpotent group G, not relatively free, such that ?_?(G) is not isomorphic to L _?(G) as Lie algebras.     

On Appell Sets and the Fueter-Sce Mapping

It is proved in Clifford algebras generated by an odd number of basis vectors e ₁, ... , e _n , that the recently discussed Appell polynomials in Clifford algebras are the Fueter-Sce extension of the complex monomials z ^k . Furthermore, it is shown, for which complex functions the Fueter-Sce extension and the extension method using Appell polynomials coincide.      

Results on the equivalence problem for finite groups

The equivalence problem for a finite nilpotent group has polynomial time complexity, even when the terms have parameters from the group. The same result holds for the dihedral groups D_n.Received August 24, 2002; accepted in final form August 5, 2004.     

L ∞ Structures on Spaces with Three One-Dimensional Components

Abstract

L _∞ structures have been a subject of recent interest in physics, where they occur in closed string theory and in gauge theory. This paper provides a class of easily constructible examples of L _n and L _∞ structures on graded vector spaces with three one-dimensional components. In particular, it demonstrates a way to classify all possible L _n and L _∞ structures on V?=?V _m ?⊕?V _m+1?⊕?V _m+2 when each of the three components is one-dimensional. Included are necessary and sufficient conditions under which a space with an L ₃ structure is a differential graded Lie algebra. It is also shown that some of these differential graded Lie algebras possess a nontrivial L _n structure for higher n.     

Oscillation in the initial segment complexity of random reals

We study oscillation in the prefix-free complexity of initial segments of 1-random reals. For upward oscillations, we prove that _∑n∈ω²−g(n) diverges iff (^∃∞n)K(X?n)>n+g(n) for every 1-random X∈ω². For downward oscillations, we characterize the functions g such that (^∃∞n)K(X?n)<n+g(n) for almost every X∈ω². The proof of this result uses an improvement of Chaitin's counting theorem—we give a tight upper bound on the number of strings σ∈n² such that K(σ)<n+K(n)−m.The work on upward oscillations has applications to the K-degrees. Write XK_?Y to mean that K(X?n)?K(Y?n)+O(1). The induced structure is called the K-degrees. We prove that there are comparable () 1-random K-degrees. We also prove that every lower cone and some upper cones in the 1-random K-degrees have size continuum.Finally, we show that it is independent of ZFC, even assuming that the Continuum Hypothesis fails, whether all chains of 1-random K-degrees of size less than ℵ₀² have a lower bound in the 1-random K-degrees.     

The decidability of some classes of Stone algebras

Iterating the triple construction applied consecutively to n Boolean algebras, we introduce two finitely axiomatizable subclasses SAⁱ_n{{\bf SA}^{\rm i}_n} and SA^s_n{{\bf SA}^{\rm s}_n} of the class SA _n of all Stone algebras of degree n with all the structure homomorphisms in their P-product representation injective or surjective, respectively. Then the class of all Post algebras of degree n is definitionally equivalent to the intersection SAⁱ_n ?SA^s_n{{\bf SA}^{\rm i}_{n} \cap {\bf SA}^{\rm s}_{n}}. We show that for each n ≥ 2 the class SAⁱ_n{{\bf SA}^{\rm i}_n} is hereditarily undecidable while SA^s_n{{\bf SA}^{\rm s}_{n}} is decidable. As a consequence we obtain several (un)decidability results for various axiomatic classes of Stone algebras: among them the decidability of the class of all Stone algebras of degree n which are dually pseudocomplemented and form a dual Stone algebra under the operation of dual pseudocomplement, and undecidability of the class of all Stone algebras with Boolean dense set. On the other hand, the class of all finite members in SA _n is decidable.     

Quasi L 3 -Filiform Lie Algebras

Abstract

In this paper, we mainly discuss some properties of quasi L ₃-filiform Lie algebras and their derivation algebras.     

Compatible actions of Lie algebras

Abstract

We study compatible actions (introduced by Brown and Loday in their work on the non-abelian tensor product of groups) in the category of Lie algebras over a fixed ring. We describe the Peiffer product via a new diagrammatic approach, which specializes to the known definitions both in the case of groups and of Lie algebras. We then use this approach to transfer a result linking compatible actions and pairs of crossed modules over a common base object L from groups to Lie algebras. Finally, we show that the Peiffer product, naturally endowed with a crossed module structure, has the universal property of the coproduct in XMod_L(Lie_R).     

Twisted Bimodules and Hochschild Cohomology for Self-injective Algebras of Class A n , II

Up to derived equivalence, the representation-finite self-injective algebras of class A _n are divided into the wreath-like algebras (containing all Brauer tree algebras) and the Möbius algebras. In Part I (Forum Math. 11 (1999), 177–201), the ring structure of Hochschild cohomology of wreath-like algebras was determined, the key observation being that kernels in a minimal bimodule resolution of the algebras are twisted bimodules. In this paper we prove that also for Möbius algebras certain kernels in a minimal bimodule resolution carry the structure of a twisted bimodule. As an application we obtain detailed information on subrings of the Hochschild cohomology rings of Möbius algebras.     

Derivation Algebras and 2-Cocycles of the Algebras of q-Differential Operators

Abstract

In the paper, the deriviation algebras of the associative algebras of the one-variable (resp. multivariable) q-differential operators and of their corresponding Lie algebras are determined. The completeness of the derivation algebras of the algebras of q-differential operators is also discussed. Finally, we calculate H ²(𝒟 _q (n)^?, C) for n ≥ 1, as well as H ²(g l _n (𝒟 _q ), C) under the assumption that q is transcendental over the rational numbers field Q.     

Index sets and parametric reductions

We investigate the index sets associated with the degree structures of computable sets under the parameterized reducibilities introduced by the authors. We solve a question of Peter Cholakand the first author by proving the fundamental index sets associated with a computable set A, {e : W _e ≤ _q ^u A} for q∈ {m, T} are Σ₄ ⁰ complete. We also show hat FPT(≤ _q ⁿ ), that is {e : W _e computable and ≡ _q ⁿ ?}, is Σ₄ ⁰ complete. We also look at computable presentability of these classes. Received: 13 July 1996 / Revised version: 14 April 2000 / Published online: 18 May 2001     

Second order theories with ordinals and elementary comprehension

We study elementary second order extensions of the theoryID ₁ of non-iterated inductive definitions and the theoryPA _Ω of Peano arithmetic with ordinals. We determine the exact proof-theoretic strength of those extensions and their natural subsystems, and we relate them to subsystems of analysis with arithmetic comprehension plusΠ ₁ ¹ comprehension and bar induction without set parameters. Research supported by the Swiss National Science Foundation     

Universal Associative Envelopes of (n+ 1)-Dimensional n-Lie Algebras

For n even, we prove Pozhidaev's conjecture on the existence of associative enveloping algebras for simple n-Lie (Filippov) algebras. More generally, for n even and any (n + 1)-dimensional n-Lie algebra L, we construct a universal associative enveloping algebra U(L) and show that the natural map L → U(L) is injective. We use noncommutative Gröbner bases to present U(L) as a quotient of the free associative algebra on a basis of L and to obtain a monomial basis of U(L). In the last section, we provide computational evidence that the construction of U(L) is much more difficult for n odd.     

On epireflective and coreflective hulls of a particular L-topological space

In this paper, we study some aspects of the category L-ZTop of zero-dimensional L-topological spaces. After noting that it is a topological category, we identify a ‘Sierpinski object’ L_Z in it. We further show that two epireflective hulls of L_Z respectively turn out to be the categories of zero-dimensional T₀-L-topological spaces and of zero-dimensional sober L-topological spaces. We also determine the coreflective hull of L_Z in the category of L-topological spaces.     

Classi localmente filtrali

Riassunto Si dà la definizione di classe ?localmente filtrale?. Si diceche K è una classe localmente filtrale se per ogni n∈ω, per ogni A ₀,...,A _n−1, εK e per ogni famiglia di sotto-insiemi V_i di A_i (i∈n) con V_i finiti, la classe {B ₀,...,B _n−1 delle algebre generate da V₀, ..., V_n−1 è costituita da algebre finite ed è filtrale. Si dimostra che seK è localmente filtrale alloraV _L(K)=IR _L DS(K) e si dà un teorema di caratterizzazione per queste classi.

---

Summary We define a ?classe localmente filtrale? as follows: LetK be a class of similar algebras;K is a ?classe localmente filtrale? if for andn ∈ ω and for anyA ₀,...,A _n−1 ink and for any family of finite subsetsV _i ofA _i(i∈n), the class {B ₀,...,B _n−1 of algebras generated byV _o, ...,V _n−1 consists of finite algebras and is ?filtrale?. We show that ifK is ?localmente filtrale? thenV _L (K)=IR _L DS(K) and we give a characterization theorem for these classes.

---

---

Lavoro eseguito nell'ambito dei gruppi di ricerca matematici del C.N.R. per l'anno 1970–71.