Hello, suppose I have a set of sentences Ʃ from the language of number theory ( the usual one ). Then, I extend this to a maximally consistent set of sentences Ʃ' and create a henkin term structure for it ( i.e. as in the popular proof of the completeness theorem ). Can it be true that this resulting structure is isomorphic to the standard structure/model of number theory? Usually, it isn't enough for two structures to satisfy the same sentences for them to be isomorphic, so I am not sure..(adsbygoogle = window.adsbygoogle || []).push({});

thanks

**Physics Forums - The Fusion of Science and Community**

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!

# Term structure isomorphic to the usual model/structure of number theory

Loading...

Similar Threads - Term structure isomorphic | Date |
---|---|

A Two interaction terms | Jun 22, 2017 |

And - Or - Not in terms of one another | Dec 22, 2015 |

Simplifying a 4-term equation using boolean algebra | Sep 12, 2015 |

Logical structure of definitions | Sep 8, 2015 |

Terms for addable variables | Jan 20, 2014 |

**Physics Forums - The Fusion of Science and Community**