|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{Refimprove|date=July 2012}}
| | She is known by the name of Myrtle Shryock. One of the issues she enjoys most is to do aerobics and now she is attempting to make cash with it. She is a librarian but she's usually wanted her personal company. California is exactly where I've always been living and I adore every day living right here.<br><br>Here is my web-site: at home std test - [http://Calvaryhill.net/xe/board_DsjO50/23648 webpage] - |
| | |
| In [[mathematical logic]], a '''non-standard model of arithmetic''' is a model of (first-order) [[Peano axioms|Peano arithmetic]] that contains non-standard numbers. The term '''standard model of arithmetic''' refers to the standard natural numbers 0, 1, 2, …. The elements of any model of Peano arithmetic are linearly ordered and possess an initial segment isomorphic to the standard natural numbers. A non-standard model is one that has additional elements outside this initial segment. The construction of such models is due to [[Thoralf Skolem]] (1934).
| |
| | |
| == Existence ==
| |
| | |
| There are several methods that can be used to prove the existence of non-standard models of arithmetic.
| |
| | |
| === From the compactness theorem ===
| |
| | |
| The existence of non-standard models of arithmetic can be demonstrated by an application of the [[compactness theorem]]. To do this, a set of axioms P* is defined in a language including the language of Peano arithmetic together with a new constant symbol ''x''. The axioms consist of the axioms of Peano arithmetic P together with another infinite set of axioms: for each numeral ''n'', the axiom ''x'' > ''n'' is included. Any finite subset of these axioms is satisfied by a model which is the standard model of arithmetic plus the constant ''x'' interpreted as some number larger than any numeral mentioned in the finite subset of P*. Thus by the compactness theorem there is a model satisfying all the axioms P*. Since any model of P* is a model of P (since a model of a set of axioms is obviously also a model of any subset of that set of axioms), we have that our extended model is also a model of the Peano axioms. The element of this model corresponding to ''x'' cannot be a standard number, because as indicated it is larger than any standard number.
| |
| | |
| Using more complex methods, it is possible to build non-standard models that possess more complicated properties. For example, there are models of Peano arithmetic in which [[Goodstein's theorem]] fails. It can be proved in [[Zermelo–Fraenkel set theory]] that Goodstein's theorem holds in the standard model, so a model where Goodstein's theorem fails must be non-standard.
| |
| | |
| === From the incompleteness theorems ===
| |
| | |
| [[Gödel's incompleteness theorems]] also imply the existence of non-standard models of arithmetic.
| |
| The incompleteness theorems show that a particular sentence ''G'', the Gödel sentence of Peano arithmetic, is not provable nor disprovable in Peano arithmetic. By the [[Gödel's completeness theorem|completeness theorem]], this means that ''G'' is false in some model of Peano arithmetic. However, ''G'' is true in the standard model of arithmetic, and therefore any model in which ''G'' is false must be a non-standard model. Thus satisfying ~G is a sufficient condition for a model to be nonstandard. It is not a necessary condition, however; for any Gödel sentence ''G'', there are models of arithmetic with ''G'' true of all cardinalities.
| |
| | |
| ====Arithmetic unsoundness for models with ~G true====
| |
| | |
| Assuming that arithmetic is consistent, arithmetic with ''~G'' is also consistent. However since ''~G'' means that arithmetic is inconsistent, the result will not be [[ω-consistent]] (because ''~G'' is false and this violates ω-consistency).
| |
| | |
| === From an ultraproduct ===
| |
| | |
| Another method for constructing a non-standard model of arithmetic is via an [[ultraproduct]]. A typical construction uses the set of all sequences of natural numbers, <math>\mathbb{N}^{\mathbb{N}}</math>. Identify two sequences if they agree for a set of indices which is a member of a fixed non-principal [[ultrafilter]]. The resulting ring is a non-standard model of arithmetic. It can be identified with the [[hypernatural]] numbers.
| |
| | |
| == Structure of countable non-standard models ==
| |
| | |
| The [[ultraproduct]] models are uncountable (since they are based on an infinite product of Z, so infinite sequences of numbers). However, by the [[Löwenheim–Skolem theorem]] there must exist countable non-standard models of arithmetic. One way to define such a model is to use [[Second-order_logic#Semantics|Henkin semantics]].
| |
| | |
| Any [[countable]] non-standard model of arithmetic has [[order type]] ω + (ω* + ω) · η, where ω is the order type of the standard natural numbers, ω* is the dual order (an infinite decreasing sequence) and η is the order type of the rational numbers. In other words, a countable non-standard model begins with an infinite increasing sequence (the standard elements of the model). This is followed by a collection of "blocks," each of order type ω* + ω, the order type of the integers. These blocks are in turn densely ordered with the order type of the rationals. The result follows fairly easily because it is easy to see that the non-standard numbers have to be dense and linearly ordered without endpoints, and [[Total_order#Examples|the order type of the rationals is the only countable dense linear order without endpoints]].<ref>''Andrey Bovykin and Richard Kay''[http://web.mat.bham.ac.uk/R.W.Kaye/papers/survey6.pdf Order-types of models of Peano arithmetic: a short survey] June 14, 2001</ref><ref>''Andrey Bovykin''[http://logic.pdmi.ras.ru/~andrey/phd.pdf On order-types of models of arithmetic] thesis submitted to the University of Birmingham for the degree of Ph. D. in the Faculty of Science 13th April 2000</ref><ref>[http://www.tau.ac.il/~landman/Online_Class_Notes_file/Boolean/1%20%20Linear%20orders,%20discrete,%20dense%20and%20continuous.pdf - LINEAR ORDERS, DISCRETE, DENSE, AND CONTINUOUS] - includes proof that Q is the only countable dense linear order.</ref>
| |
| | |
| So, the order type of the countable non-standard models is known. However, the arithmetical operations are much more complicated.
| |
| | |
| It is easy to see that the arithmetical structure differs from ω + (ω* + ω) · η. For instance if u is in the model, then so is m*u for any m, n in the initial segment N, yet u<sup>2</sup> is larger than m*u for any standard finite m.
| |
| | |
| Also you can define "square roots" such as the least v such that v<sup>2</sup> > 2*u. It is easy to see that these can't be within a standard finite number of any rational multiple of u. By analogous methods to [[Non-standard analysis]] you can also use PA to define close approximations to irrational multiples of a non-standard number u such as the least v with v > π*u (these can be defined in PA using non-standard finite [[Approximations of π|rational approximations of π]] even though pi itself can't be). Once more, v - (m/n)*u/n has to be larger than any standard finite number for any standard finite m,n. {{Citation needed|date=September 2012}} <!-- Something like this has to be said here otherwise reader will get the wrong impression that it is arithemtically the same - however would be good to have a reference - the way I describe it here could be considered original research, so need to find a citation that explains this clearly -->
| |
| | |
| This shows that the arithmetical structure of a countable non-standard model is more complex than the structure of the rationals. There is more to it than that though.
| |
| | |
| [[Tennenbaum's theorem]] shows that for any countable non-standard model of Peano arithmetic there is no way to code the elements of the model as (standard) natural numbers such that either the addition or multiplication operation of the model is a [[recursion theory|computable]] on the codes. This result was first obtained by Stanley Tennenbaum in 1959.
| |
| | |
| ==References==
| |
| * Boolos, G., and Jeffrey, R. 1974. ''Computability and Logic'', Cambridge University Press. ISBN 0-521-38923-2
| |
| * Skolem, Th. (1934) Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen. Fundam. Math. 23, 150–161.
| |
| | |
| ==Citations==
| |
| {{reflist}}
| |
| | |
| [[Category:Arithmetic]]
| |
| [[Category:Formal theories of arithmetic]]
| |
| [[Category:Model theory]]
| |
| [[Category:Non-standard analysis]]
| |
She is known by the name of Myrtle Shryock. One of the issues she enjoys most is to do aerobics and now she is attempting to make cash with it. She is a librarian but she's usually wanted her personal company. California is exactly where I've always been living and I adore every day living right here.
Here is my web-site: at home std test - webpage -