On pseudo-BCI-algebras
The notion of normal pseudo-BCI-algebras is studied and some characterizations of it are given. Extensions of pseudo-BCI-algebras are also considered.
On pseudocompactness and related notions in ZF
We study in ZF and in the class of spaces the web of implications/ non-implications between the notions of pseudocompactness, light compactness, countable compactness and some of their ZFC equivalents.
On pseudo-random sequences and their relation to a class of stochastical laws
On ()-fuzzy filters of pseudo-BL algebras.
On quantic conuclei in orthomodular lattices.
On quasi-antiorder in semigroups
On quasiresolvent periodic Abelian groups.
On rational solution of the state equation of a finite automaton.
On real-time Turing machines
On rectangles and countably generated families
On recursive measure of classes of recursive sets
On Reduced Products of Forcing Systems
On reduced products of Kripke models.
On reducibility of partial recursive functions.
On reductive and distributive algebras
The paper investigates idempotent, reductive, and distributive groupoids, and more generally -algebras of any type including the structure of such groupoids as reducts. In particular, any such algebra can be built up from algebras with a left zero groupoid operation. It is also shown that any two varieties of left -step reductive -algebras, and of right -step reductive -algebras, are independent for any positive integers and . This gives a structural description of algebras in the join of...
On reductive and projective classes
On reflection of stationary sets
We show that there are stationary subsets of uncountable spaces which do not reflect.
On Regular Anti-congruence in Anti-ordered Semigroups
On regular congruences
On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic
We continue the earlier research of [1]. In particular, we work out a class of regular interstices and show that selective types are realized in regular interstices. We also show that, contrary to the situation above definable elements, the stabilizer of an element inside M(0) whose type is selective need not be maximal.