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.
On regularity classes of binary relations
On relational selections for complete theories.
On relations
On representability of P. Martin-Löf tests
On representation of ternary structures
On representations as an infinite series of isols