Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-26T02:07:21.664Z Has data issue: false hasContentIssue false

THE KETONEN ORDER

Part of: Set theory

Published online by Cambridge University Press:  18 June 2020

GABRIEL GOLDBERG*
Affiliation:
DEPARTMENT OF MATHEMATICS UC BERKELEY BERKELEY, CA 94720, USA E-mail: [email protected]

Abstract

We study a partial order on countably complete ultrafilters introduced by Ketonen [2] as a generalization of the Mitchell order. The following are our main results: the order is wellfounded; its linearity is equivalent to the Ultrapower Axiom, a principle introduced in the author’s dissertation [1]; finally, assuming the Ultrapower Axiom, the Ketonen order coincides with Lipschitz reducibility in the sense of generalized descriptive set theory.

MSC classification

Type
Articles
Copyright
© The Association for Symbolic Logic 2020

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

Goldberg, G., The ultrapower axiom , Ph.D. thesis, Harvard University, 2019. Available at https://dash.harvard.edu/bitstream/handle/1/42029483/GOLDBERG-DISSERTATION-2019.pdf.Google Scholar
Ketonen, J., Strong compactness and other cardinal sins . Annals of Mathematical Logic, vol. 5 (1972/1973), pp. 4776.CrossRefGoogle Scholar
Kunen, K. and Paris, J. B., Boolean extensions and measurable cardinals . Annals of Mathematical Logic, vol. 2 (1970/1971), no. 4, pp. 359377.CrossRefGoogle Scholar
Mitchell, W. J. and Steel, J. R., Fine Structure and Iteration Trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, Berlin, 1994.CrossRefGoogle Scholar