Advertisement

Non-Standard Models

  • Donald W. Barnes
  • John M. Mack
Part of the Graduate Texts in Mathematics book series (GTM, volume 22)

Abstract

Much of mathematics is concerned with the study of “standard” mathematical systems such as the natural numbers, the rationals, the real numbers and the complex numbers, each of which is regarded as a unique system. When we attempt to study one of these systems by axiomatising it within the first-order predicate calculus, we find that our axiomatisation cannot be categorical, and that there exist models of our axiomatic theory not isomorphic to the system we wish to study. Such models have been constructed as ultrapowers in Chapter VII. In this chapter, we investigate ways of exploiting such models in the study of a standard system. We begin by considering elementary systems, i.e., systems in which relations between elements, but not properties of subsets, can be studied.

Keywords

Standard System Relation Symbol Concurrent Relation Real Number System Definable Subset 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1975

Authors and Affiliations

  • Donald W. Barnes
    • 1
  • John M. Mack
    • 1
  1. 1.Department of Pure MathematicsThe University of SydneySydneyAustralia

Personalised recommendations