Bruce I. Rose

Rings which Admit Elimination of Quantifiers

Bruce I. Rose, 1978, J. Symb. Log..

Model theory of alternative rings

Bruce I. Rose, Bruce I. Rose, 1978, Notre Dame J. Formal Log..

Preservation of Elementary Equivalence Under Scalar Extension

Bruce I. Rose, 1982, J. Symb. Log..

The N1-Categoricity of Strictly Upper Triangular Matrix Rings Over Algebraically Closed Fields

Bruce I. Rose, 1978, J. Symb. Log..

Ultrahomogeneous Structures

Robert E. Woodrow, Bruce I. Rose, 1981, Math. Log. Q..

Corrigendum: "Rings which Admit Elimination of Quantifiers"

Bruce I. Rose, 1979, J. Symb. Log..