RRA is itself a variety, which however, as shown by Donald Monk in 1964, has no finite axiomatization, unlike RA which is finitely axiomatized by definition.
RRA is itself a variety, which however, as shown by Donald Monk in 1964, has no finite axiomatization. This was unlike RA. This RA is finitely axiomatized by definition. Alfred Tarski showed this. This was in 1955.