Primes in Nonstandard Models of Open Induction

Abstract

The thesis introduces the concept of open induction. Normal (i.e. integrally closed) models of open inductions are constructed, for which the notions of irreducible, prime and maxmimal elements are not equivalent. Furthermore, a normal model of open induction is constructed in which every infinite even integer is a sum of two primes.