A C *-algebra A is called an ideal C * -algebra (or equally a dual algebra) if it is an ideal in its bidual A**. M.C.F. Berglund proved that subalgebras and quotients of ideal C*-algebras are also ideal C*-algebras, that a commutative C *-algebra A is an ideal C *-algebra if and only if it is isomorphicto C (Q) for some discrete space ?. We investigate ideal J*-algebras and show that the a...

In this paper we use the Hecke algebra of type B to define a new algebra S which is an analogue of the q–Schur algebra. We construct Weyl modules for S and obtain, as factor modules, a family of irreducible S–modules over any field.

This talk reports on ongoing work – with Tony Hoare, Akbar Hussain, Bernhard Möller, Rasmus Petersen, Georg Struth, Ian Wehrman, and others – on models and logics for concurrent processes [10,6,5]. The approach we are taking abstracts from syntax or particular models. Message passing and shared memory process interaction, and strong (interleaving) and weak (partial order) approaches to sequenci...

In this paper, the feasibility of using nite totally ordered probability models under Aleliunas's Theory of Probabilistic Logic Aleliunas, 1988] is investigated. The general form of the probability algebra of these models is derived and the number of possible algebras with given size is deduced. Based on this analysis, we discuss problems of denominator-indiierence and ambiguity-generation that...

Let F denote a field, and let V vector space over with finite positive dimension. We consider an ordered pair of -linear maps A : ? ? such that (i) each , is diagonalizable; (ii) there exists ordering { i } = 0 d the eigenspaces ? ? 1 + for ? where ; (iii) ? (iv) does not exist subspace U ? . call tridiagonal on assume belongs to family pairs said have q -Racah type. There infinite-dimensional ...

A relational calculus is a formal system in which relation is the fundamental concept. The simplest relational calculus, that of ordinary binary relations, was introduced by Tarski in [4]. Tarski’s system is essentially an algebra in which the operations are the usual Boolean operations (on sets of ordered pairs) together with the two special operations converse (denoted byq) and composition (d...

The D-dimensional Coulomb system serves as a starting point for generating generalized atomic shells. These shells are ordered according to a generalized Madelung rule in D dimensions. This rule together with an Aufbau Prinzip is applied to produce a D-dimensional periodic table. A model is developed to rationalize the ordering of the shells predicted by the generalized Madelung rule. This mode...