Primes in Nonstandard Models of Open Induction
Publication date
Authors
DOI
Document Type
Bachelor Thesis
Metadata
Show full item recordCollections
License
CC-BY-NC-ND
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.
Keywords
open induction, nonstandard models