We introduce various colouring principles which generalise the so-called onto mapping principle of Sierpiński to larger cardinals and general ideals. prove that these capture notion an Ulam matrix allow characterise large cardinals, most notably weakly compact ineffable cardinals. also develop basic theory principles, connecting them classical negative square bracket partition relations, provin...

In this paper, the notions of left-right (resp. right-left) t-derivations of BCC-algebras are studied and some properties on t-derivations of BCC-algebras are investigated. This paper also considers t-regular t -derivations and the dt-invariant on ideals of BCC-algebras. Mathematics Subject Classification: 06F35

1 Description The method of Grr obner bases in commutative polynomial rings introduced by Buchberger (e.g. 1]) is a well-known and very important tool in polynomial ideal theory, for example in solving the ideal membership problem. XIDEAL extends the method to exterior algebras using algorithms from 2]. There are two main departures from the commutative polynomial case. First, owing to the non-...

Our aim in this paper is to introduce and study a new sort of fuzzy ternary subsemigroup (left ideal, right ideal, lateral ideal, quasi-ideal, bi-ideal) of a ternary semigroup, called interval-valued (α,β )-fuzzy ternary subsemigroup (left ideal, right ideal, lateral ideal, quasi-ideal, bi-ideal). We also characterize regular ternary semigroups in terms of these interval-valued fuzzy ideals.