I am trying to construct a non-standard model < A,0,S,+,*,E,< > that has as its domain the natural numbers plus the letter a such that the model(adsbygoogle = window.adsbygoogle || []).push({});

1. Makes all of the axioms of number theory true (Say, Mendelson's S)

2. Makes a < a.

So in this model the domain has already been specified. We take < to be just like < in the standard model except that we add the couple <a,a> to it. We take 0 to be the same as in the standard model. We take S to be just like S in the standard model with the addition that that S(a)=a. We take + to be just like the standard model except that

a + a = a

0 + a = a

for n > 0, a + n = n

We take E to be the same as in the standard model with the addition that aE0 = S(0).

Does that do the trick? I can't see where I've made any of Mendelson's axioms false.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Constructing a non-standard model

Loading...

Similar Threads for Constructing standard model |
---|

A Sample Test | Component Lifetime |

I Understanding the transformation of skewness formula |

I Standard Deviation Versus Sample Size & T-Distribution |

A How can we construct ordinals after large Veblen? |

I Constructing an Index |

**Physics Forums | Science Articles, Homework Help, Discussion**