Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-26T11:24:16.458Z Has data issue: false hasContentIssue false

Inconsistent nonstandard arithmetic

Published online by Cambridge University Press:  12 March 2014

Chris Mortensen*
Affiliation:
Department of Philosophy, University of Adelaide, North Terrace, South Australia 5001, Australia

Abstract

This paper continues the investigation of inconsistent arithmetical structures. In §2 the basic notion of a model with identity is defined, and results needed from elsewhere are cited. In §3 several nonisomorphic inconsistent models with identity which extend the (=, <) theory of the usual classical denumerable nonstandard model of arithmetic are exhibited. In §4 inconsistent nonstandard models of the classical theory of finite rings and fields modulo m, i.e. Zm, are briefly considered. In §5 two models modulo an infinite nonstandard number are considered. In the first, it is shown how to model inconsistently the arithmetic of the rationals with all names included, a strengthening of earlier results. In the second, all inconsistency is confined to the nonstandard integers, and the effects on Fermat's Last Theorem are considered. It is concluded that the prospects for a good inconsistent theory of fields may be limited.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Meyer, Robert K. and Mortensen, Chris, Inconsistent models for relevant arithmetics, this Journal, vol. 49 (1984), pp. 917929.Google Scholar
[2]Mortensen, Chris, Inconsistent number systems, Notre Dame Journal of Formal Logic (to appear).Google Scholar
[3]Birkhoff, G. and MacLane, S., A survey of modern algebra, 3rd ed., Macmillan, New York, 1965.Google Scholar
[4]Mortensen, Chris, Inconsistent hyperreals (in preparation).Google Scholar