We give a necessary and sufficient condition for the preservation of finite products by a reflection of a variety of universal algebras into an idempotent subvariety. It is also shown that simple and semi-left-exact reflections into subvarieties of universal algebras are the same. It then follows that a reflection of a variety of universal algebras into an idempotent subvariety has stable units...

We discuss the permanence of strong liftings under the formation of projective limits. The results are based on an appropriate consistency condition of the liftings with the projective system called “self-consistency”, which is fulfilled in many situations. In addition, we study the relationship of self-consistency and completion regularity as well as projective limits of lifting topologies. In...

We show that it is consistent with ZFC that L(Y,B, ν) has no linear lifting for many non-complete probability spaces (Y,B, ν), in particular for Y = [0, 1], B = Borel subsets of Y , ν = usual Radon measure on B. AMS Subject Classification 1980 (1985 revision): Primary: 28A51 Secondary: 03E35 1) Research supported by UPEI Senate Grant no 602101, by the Research Institute for Mathematical Science...

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 cer...

 We study the notion of bounded approximate Connes-amenability for‎ ‎dual Banach algebras and characterize this type of algebras in terms‎ ‎of approximate diagonals‎. ‎We show that bounded approximate‎ ‎Connes-amenability of dual Banach algebras forces them to be unital‎. ‎For a separable dual Banach algebra‎, ‎we prove that bounded‎ ‎approximate Connes-amenability implies sequential approximat...

Simulations serve as a proof tool to compare the behaviour of reactive systems. We define a notion of Λ-simulation for coalgebraic modal logics, parametric in the choice of a set Λ of monotone predicate liftings for a functor T . That is, we obtain a generic notion of simulation that can be flexibly instantiated to a large variety of systems and logics, in particular in settings that semantical...

since 2005 a new powerful invariant of an algebra has emerged using the earlier work of horvath, hethelyi, kulshammer and murray. the authors studied morita invariance of a sequence of ideals of the center of a nite dimensional algebra over a eld of nite characteristic. it was shown that the sequence of ideals is actually a derived invariant, and most recently a slightly modied version o...

Let X be an even dimensional symmetric bilinear space defined over a totally real number field F with adeles A, and let σ = ⊗vσv be an irreducible tempered cuspidal automorphic representation of O(X,A). We give a sufficient condition for the nonvanishing of the theta lift Θn(σ) of σ to the symplectic group Sp(n,A) (2n by 2n matrices) for 2n ≥ dimX for a large class of X. As a corollary, we show...

Any discrete (closed) binary, or Boolean, space is recursive. That is, if the outputs of functions are repeatedly forward-fed into those functions, those outputs will present themselves again for processing. That is, the full functionality of an operator reproduces itself. Each of the 16 operators, or functions, in a two variable system is a selfmaintaining (homeostatic) automaton in logical sp...