Notre Dame Journal of Formal Logic

A Diamond Principle Consistent with AD

Daniel Cunningham

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

We present a diamond principle R concerning all subsets of Θ, the supremum of the ordinals that are the surjective image of R. We prove that R holds in Steel’s core model K(R), a canonical inner model for determinacy.

Article information

Source
Notre Dame J. Formal Logic, Volume 58, Number 3 (2017), 397-407.

Dates
Received: 19 June 2012
Accepted: 5 January 2015
First available in Project Euclid: 21 April 2017

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1492761611

Digital Object Identifier
doi:10.1215/00294527-2017-0008

Mathematical Reviews number (MathSciNet)
MR3681101

Zentralblatt MATH identifier
06761615

Subjects
Primary: 03E15: Descriptive set theory [See also 28A05, 54H05]
Secondary: 03E45: Inner models, including constructibility, ordinal definability, and core models 03E60: Determinacy principles

Keywords
diamond principles determinacy Steel’s core model $\mathbf{K}(\mathbb{R})$

Citation

Cunningham, Daniel. A Diamond Principle Consistent with AD. Notre Dame J. Formal Logic 58 (2017), no. 3, 397--407. doi:10.1215/00294527-2017-0008. https://projecteuclid.org/euclid.ndjfl/1492761611


Export citation

References

  • [1] Barwise, J., Admissible Sets and Structures: An Approach to Definability Theory, vol. 7 of Perspectives in Mathematical Logic, Springer, Berlin, 1975.
  • [2] Cunningham, D. W., “A covering lemma for $K(\mathbb{R})$,” Archive for Mathematical Logic, vol. 46 (2007), pp. 197–221.
  • [3] Devlin, K. J., Constructibility, vol. 6 of Perspectives in Mathematical Logic, Springer, Berlin, 1984.
  • [4] Hauser, K., “Generic relativizations of fine structure,” Archive for Mathematical Logic, vol. 39 (2000), pp. 227–51.
  • [5] Jensen, R. B., “The fine structure of the constructible hierarchy,” Annals of Mathematical Logic, vol. 4 (1972), pp. 229–308.
  • [6] Kanamori, A., The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings, Perspectives in Mathematical Logic, Springer, Berlin, 1994.
  • [7] Kunen, K., Set Theory: An Introduction to Independence Proofs, vol. 102 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1980.
  • [8] Moschovakis, Y. N., Descriptive Set Theory, 2nd edition, vol. 155 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, 2009.
  • [9] Schimmerling, E., “Combinatorial principles in the core model for one Woodin cardinal,” Annals of Pure and Applied Logic, vol. 74 (1995), pp. 153–201.
  • [10] Steel, J. R., “Scales in $\mathbf{K}(\mathbb{R})$,” pp. 176–208 in Games, Scales, and Suslin Cardinals: The Cabal Seminar, Vol. I, vol. 31 of Lecture Notes in Logic, Association for Symbolic Logic, Chicago, 2008.
  • [11] Steel, J. R., “An outline of inner model theory,” pp. 1595–1684 in Handbook of Set Theory, Vols. 1, 2, 3, edited by M. Foreman et al., Springer, Dordrecht, 2010.