Hostname: page-component-586b7cd67f-gb8f7 Total loading time: 0 Render date: 2024-11-22T15:35:41.228Z Has data issue: false hasContentIssue false
  • English
  • Français

Some highly saturated models of Peano arithmetic

Published online by Cambridge University Press:  12 March 2014

James H. Schmerl
James H. Schmerl*
Affiliation:
Department of Mathematics, University of Connecticut, Storrs, Ct 06269, USA, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Extract

Some highly saturated models of Peano Arithmetic are constructed in this paper, which consists of two independent sections. In § 1 we answer a question raised in [10] by constructing some highly saturated, rather classless models of PA. A question raised in [7], [3], ]4] is answered in §2, where highly saturated, nonstandard universes having no bad cuts are constructed.

Highly saturated, rather classless models of Peano Arithmetic were constructed in [10]. The main result proved there is the following theorem. If λ is a regular cardinal and is a λ-saturated model of PA such that ∣M∣ > λ, then has an elementary extension of the same cardinality which is also λ-saturated and which, in addition, is rather classless. The construction in [10] produced a model for which cf() = λ+. We asked in Question 5.1 of [10] what other cofinalities could such a model have. This question is answered here in Theorem 1.1 of §1 by showing that any cofinality not immediately excluded is possible. Its proof does not depend on the theorem from [10]; in fact, the proof presented here gives a proof of that theorem which is much simpler and shorter than the one in [10].

Recursively saturated, rather classless κ-like models of PA were constructed in [9]. In the case of singular κ such models were constructed whenever cf(κ) > ℵ0; no additional set-theoretic hypothesis was needed.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 67 , Issue 4 , December 2002 , pp. 1265 - 1273
Copyright
Copyright © Association for Symbolic Logic 2002

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]Chang, C. C. and Keisler, H. J., Model theory, 3rd ed., North-Holland, Amsterdam, 1990.Google Scholar
[2]Gregory, J., Higher Souslin trees and the generalized continuum hypothesis, this Journal, vol. 41 (1976), pp. 663–671.Google Scholar
[3]Jin, R., Cuts in the hyperfinite time lines, this Journal, vol. 57 (1992), pp. 522–527.Google Scholar
[4]Jin, R., Type two cuts, had cuts and very bad cuts, this Journal, vol. 62 (1997), pp. 1241–1252.Google Scholar
[5]Kaufmann, M. and Schmerl, J. H., Remarks on weak notions of saturation in models of Peano arithmetic, this Journal, vol. 52 (1987), pp. 129–148.Google Scholar
[6]Kaye, R., Models of Peano arithmetic, Oxford University Press, Oxford, 1991.CrossRefGoogle Scholar
[7]Keisler, H. J. and Leth, S., Meager sets on the hyperfinite time line, this Journal, vol. 56 (1991), pp. 71–102.Google Scholar
[8]Pabion, J. F., Saturated models of Peano arithmetic, this Journal, vol. 47 (1982), pp. 625–637.Google Scholar
[9]Schmerl, J. H., Recursively saturated, rather classless models of Peano arithmetic, Logic year 1979–80 (Lerman, M.et al., editor), Lecture Notes in Mathematics, no. 859, Springer-Verlag, Berlin, 1981, pp. 268–282.CrossRefGoogle Scholar
[10]Schmerl, J. H., Rather classless, highly saturated models of Peano arithmetic, Logic colloquium '96 (Larrazabal, J. M.et al., editor), Lecture Notes in Logic, no. 12, Springer-Verlag, Berlin, 1998, pp. 237–246.CrossRefGoogle Scholar
[11]Shelah, S., Vive la Difference II – the Ax-Kochen isomorphism theorem, Israel Journal of Mathematics, vol. 85 (1994), pp. 351–390.CrossRefGoogle Scholar