Tarski's relation algebra and Börners operator

Abstract

In 1975, Alfred Tarski visited Unicamp-Brazil. In that ocasion, an event was organized to welcome him, Simpósio de Lógica Matemática. Tarski delivered two conferences about his theory on the calculus of binary relations, the so called relation algebra (RA). He introduced some notions and fundamental results, concerning RA, along with some open problems. His view on these problems influenced research groups that continued studying RA and have developed relevant work on this area. The first open problem introduced by Tarski, which will be analised in this work, was concerned to the foundation of RA. We start from de definition of RA so that we can introduce the problem.