Arithmetical Identities in a 2-element Model of Tarski's System

Abstract

All arithmetical identities involving 1, addition, multiplication and exponentiation will be true in a 2-element model of Tarski's system if a certain sequence of natural numbers is not bounded. That sequence can be bounded only if the set of Fermat's prime numbers is finite.Mathematics Subject Classification: 03H15, 03C05.