Galois pairs and Tarski spaces

Abstract

We present basic and key algebraic concepts such as ordered sets, lattice, Boolean algebra, and TK-algebras. We point out the Tarski spaces, associated with the concept of deductive (Tarski) system and its almost topological presentation. Then we present the Logic of Deductibility, coming from the logical formalization of Tarski spaces. Next, we bring the Galois pairs of functions, which arise on many topics in Mathematics. As an original result, in addition to some theoretical developments, we point out a connection of Galois with Tarski spaces.