Abstract An algebra-valued model of set theory is called loyal to its algebra if the and have same propositional logic; it faithful all elements are truth values a sentence language in model. We observe that non-trivial automorphisms result models not apply this construct three classes illoyal models: tail stretches, transposition twists, maximal twists.

Corresponding to each ”rectangular” double product [5] in the form of a formal power series R[h] with coefficients in the tensor product T (L) ⊗ T (L) with itself of the Itô Hopf algebra, we construct ”triangular” elements T [h] of T (L) satisfying ∆T [h] = T [h](1)R[h]T{h](2). In Fock space representations of T (L) by iterated quantum stochastic integrals when L is the algebra of Itô different...

The present paper has been an attempt to investigate the general fuzzy automata on the basis of complete residuated lattice-valued ($L$-GFAs). The study has been chiefly inspired from the work by Mockor cite{15, 16, 17}. Regarding this, the categorical issue of $L$-GFAs has been studied in more details. The main issues addressed in this research include: (1) investigating the relationship betwe...

The central part of calculus on manifolds is usually the calculus of differential forms and the best known operators are exterior derivative, Lie derivatives, pullback and insertion operators. Differential forms are a graded commutative algebra and one may ask for the space of graded derivations of it. It was described by Frölicher and Nijenhuis in [1], who found that any such derivation is the...

A commutative power-associative algebra A of characteristic >5 with an idempotent u may be written1 as the supplementary sum ^=^4„(l)+4u(l/2)+^4u(0) where 4U(X) is the set of all xx in A with the property xx« =Xxx. The subspaces Au(l) and .4K(0) are orthogonal subalgebras, [AU(1/2)]2QAU(1)+AU(0) andAu(K)Au(l/2) C4„(l/2)+^4u(l—X) forX=0, 1. The algebra A is called w-stable if 4u(X)-4„(l/2)C.4u(l...

A game on a convex geometry is a real-valued function defined on the family L of the closed sets of a closure operator which satisfies the finite Minkowski-KreinMilman property. If L is the Boolean algebra 2 then we obtain an n-person cooperative game. We will extend the work of Weber on probabilistic values to games on convex geometries. As a result, we obtain a family of axioms that give rise...

This is a study of morphisms in the category of finite dimensional absolute valued algebras, whose codomains have dimension four. We begin by citing and transferring a classification of an equivalent category. Thereafter, we give a complete description of morphisms from one-dimensional algebras, partly via solutions of real polynomials, and a complete, explicit description of morphisms from two...

This is a study of morphisms in the category of finite dimensional absolute valued algebras, whose codomains have dimension four. We begin by citing and transferring a classification of an equivalent category. Thereafter, we give a complete description of morphisms from one-dimensional algebras, partly via solutions of real polynomials, and a complete, explicit description of morphisms from two...

We identify Melrose's suspended algebra of pseudodiierential operators with a subalgebra of the algebra of parametric pseudodiierential operators with parameter space R. For a general algebra of parametric pseudodiierential operators, where the parameter space may now be a cone ? R p , we construct a unique \symbol valued trace", which extends the L 2 {trace on operators of small order. This al...