Nonstandard Models of Arithmetic and Set Theory

Discusses the concept of nonstandardness in mathematics and provides historical and philosophical insights into the nature of nonstandard mathematical structures. This work presents results related to nonstandard models in arithmetic and set theory, including a survey of known results on the Turing upper bounds of arithmetic sets and functions.