We study finitely generated Heyting algebras from algebraic and model theoretic points of view. We prove amon others that finitely generated free Heyting algebras embed in their profinite completions, which are projective limits of finitely generated free Heyting algebras of finite dimension.

Suppose that $A$ is a semi-simple and commutative Banach algebra. In this paper we try to characterize the character space of the Banach algebra $C_{rm{BSE}}(Delta(A))$ consisting of all  BSE-functions on $Delta(A)$ where $Delta(A)$ denotes the character space of $A$. Indeed, in the case that $A=C_0(X)$ where $X$ is a non-empty locally compact Hausdroff space, we give a complete characterizatio...

– We prove that any multi-filtered algebra with semi-commutative associated graded algebra can be endowed with a locally finite filtration keeping up the semi-commutativity of the associated graded algebra. As consequences, we obtain that Gelfand–Kirillov dimension is exact for finitely generated modules and that the algebra is finitely partitive. Our methods apply to algebras of current intere...

Description of the pairs 〈low approximation, upper approximation〉 of rough sets is an important aspect in the research of rough set theory by algebraic method. By defining some basic operators on the approximation pairs, rough algebras can be constructed. Then some general algebras can be selected to describe the pairs of rough sets. The most famous rough algebras are Rough Double Stone Algebra...

Introduction. One of the most important constructions in topos theory ia that of the category Shv (̂ 4) of sheaves on a locale (= complete Heyting algebra) A. Normally, the objects of this category are described as 'presheaves on A satisfying a gluing condition'; but, as Higgs(7) and Fourman and Scott(5) have observed, they may also be regarded as 'sets structured with an A -valued equality pred...

1. A complex Banach algebra A is a compact (weakly compact) algebra if its left and right regular representations consist of compact (weakly compact) operators. Let E be any subset of A and denote by Ei and Er the left and right annihilators of E. A is an annihilator algebra if A¡= (0) —Ar, Ir^{fS) for each proper closed left ideal / and Ji t¿ (0) for each proper closed right ideal /. In [6, Th...

We present GSMPA, a stochastically timed process algebra that enhances the expressiveness of the stochastically timed process algebra EMPA by allowing arbitrarily distributed durations to be directly modeled through the adoption of the mechanism of action identification as well as the adoption of the preselection policy for alternative actions. GSMPA is introduced together with the definition o...

the aim of this note is to study the submajorization inequalities for $tau$-measurable operators in a semi-finite von neumann algebra on a hilbert space with a normal faithful semi-finite trace $tau$. the submajorization inequalities generalize some results due to zhang, furuichi and lin, etc..

in this paper, using pre-semi-open l-sets and their inequality, a new notion of ps-compactness is introduced in l-topological spaces, where l is a complete de morgan algebra. this notion does not depend on the structure of the basis lattice l and l does not need any distributivity.

We introduce and investigate topo-canonical completions of closure algebras and Heyting algebras. We develop a duality theory that is an alternative to Esakia’s duality, describe duals of topo-canonical completions in terms of the Salbany and Banaschewski compactifications, and characterize topo-canonical varieties of closure algebras and Heyting algebras. Consequently, we show that ideal compl...