Hostname: page-component-77c89778f8-m8s7h Total loading time: 0 Render date: 2024-07-17T16:46:23.930Z Has data issue: false hasContentIssue false
  • English
  • Français

Remarks on some theorems of Keisler

Published online by Cambridge University Press:  12 March 2014

Per Lindström
Per Lindström*
Affiliation:
University of Gothenburg
Get access Rights & Permissions [Opens in a new window]

Extract

This paper is an appendix to Keisler's papers [3], [4]. We assume that the reader is fully acquainted with these papers and use their terminology without further explanation. One of the main tools in a number of proofs in [4] is the following result which is all but stated explicitly in [4].

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 33 , Issue 4 , January 1969 , pp. 571 - 576
Copyright
Copyright © Association for Symbolic Logic 1969

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

[1]Chang, C. C., A simple proof of the Rabin-Keisler theorem, Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 642–643.CrossRefGoogle Scholar
[2]Craig, W., Relative characterizability and generalized existential quantifiers, American Mathematical Society Notices, vol. 9 (1962), p. 153.Google Scholar
[3]Keisler, H. J., Limit ultrapowers, Transactions of the American Mathematical Society, vol. 107 (1963), pp. 382–408.CrossRefGoogle Scholar
[4]Keisler, H. J., Limit ultraproducts, this Journal, vol. 30 (1965), pp. 212–234.Google Scholar
[5]Rabin, M. O., Arithmetical extensions with prescribed cardinality, Indagationes mathematicae, vol. 21 (1959), pp. 439–446.CrossRefGoogle Scholar