We generalize the Hasse invariant of local class field theory to tame Brauer group a higher dimensional field, and use it study arithmetic central simple algebras, which are given a priori as tensor products standard cyclic algebras. also compute dimension (or period-index bound) length general henselian-valued finite rank residue field.

We establish representation types (finite, tame or wild) of finite dimensional Munn algebras with semisimple bases. As an application, we Rees matrix semigroups, in particular, 0-simple and their mutually annihilating unions.

We investigate the canonicity of inequalities of the intuitionistic mu-calculus. The notion of canonicity in the presence of fixed point operators is not entirely straightforward. In the algebraic setting of canonical extensions we examine both the usual notion of canonicity and what we will call tame canonicity. This latter concept has previously been investigated for the classical mu-calculus...