About the work
In this paper we define an arithmetic theory PAM , which is an extension of Peano arithmetic PA, and prove that models of the theory PAM include the standard P A–model and a very bounded set of non-standard PA–models. We formulate and justify (on a content level) the hypothesis stating that theory PAM has only one (up to isomorphism) model, which is the standard PA–model.
Print work information
Work information
Title On a Formalization of Natural Arithmetic Theory
In this paper we define an arithmetic theory PAM , which is an extension of Peano arithmetic PA, and prove that models of the theory PAM include the standard P A–model and a very bounded set of non-standard PA–models. We formulate and justify (on a content level) the hypothesis stating that theory PAM has only one (up to isomorphism) model, which is the standard PA–model.
Work type Education, Informative
Tags math theory peano model
-------------------------
Registry info in Safe Creative
Identifier 1504273944010
Entry date Apr 27, 2015, 3:10 PM UTC
License All rights reserved
-------------------------
Copyright registered declarations
Author. Holder Alexander Nudelman. Date Apr 27, 2015.
Information available at https://www.safecreative.org/work/1504273944010-on-a-formalization-of-natural-arithmetic-theory
/
Registration: 1504273944010
