Let FM (A), for A = (ω, . . .), be a family of finite, initial segments of A. One can see FM (A) as a family of finite arithmetics related to the arithmetic A. In the talk I will survey what is known about such arithmetics and their logical properties. The main questions will be the following: What is the complexity of theories of such families? What relations can be represented in such familie...
