Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-22T20:27:00.771Z Has data issue: false hasContentIssue false

A strengthening of Jensen's □ principles

Published online by Cambridge University Press:  12 March 2014

Aaron Beller*
Affiliation:
Hebrew University, Jerusalem, Israel
Ami Litman
Affiliation:
Seminar für Logic und Grundlagenforschung der Universität,Bonn, Federal Republic of Germany
*
Department of Decision Sciences, University of Pennsylvania, Philadelphia, Pennsylvania 19104

Abstract

The aim of this paper is to prove strengthenings of three theorems appearing in Jensen [1].

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1980

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]Jensen, R.B., The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972).CrossRefGoogle Scholar
[2]Prikry, K. and Solovay, R.M., On partitions into stationary sets, this Journal, vol. 40 (1975), pp. 7580.Google Scholar
[3]Silver, J., How to eliminate the fine structure from the work of Jensen.Google Scholar