Abstract
So far, we have only been considering equational theories, that is, theories whose only primitive predicate symbol is =. We have been looking at how function symbols such as + and × behave inconsistently in such theories. In this chapter a second primitive predicate < is added to =, interpreted as ‘less than’. In the first section, function symbols are omitted. The main result of this section is as follows. There is a well-known metatheorem of classical model theory to the effect that the theory of dense order without endpoints is N0-categorical, that is, that all classical models of that theory of cardinality N0 are isomorphic. We see that this breaks down for RM3-theories, given a natural extension of the notion of isomorphism of models to the more general case. It follows that the classical metatheorem depends on the assumption of classical logic. Such is not always the case: various other results in this book are invariant with respect to changes in background logic away from the classical case. In the next section, function symbols are re-introduced and several results about these are summarised.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Mortensen, C. (1995). Order. In: Inconsistent Mathematics. Mathematics and Its Applications, vol 312. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8453-1_4
Download citation
DOI: https://doi.org/10.1007/978-94-015-8453-1_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4480-8
Online ISBN: 978-94-015-8453-1
eBook Packages: Springer Book Archive