Translator Disclaimer
2017 A Diamond Principle Consistent with AD
Daniel Cunningham
Notre Dame J. Formal Logic 58(3): 397-407 (2017). DOI: 10.1215/00294527-2017-0008

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.

Citation

Download Citation

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

Information

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

zbMATH: 06761615
MathSciNet: MR3681101
Digital Object Identifier: 10.1215/00294527-2017-0008

Subjects:
Primary: 03E15
Secondary: 03E45, 03E60

Rights: Copyright © 2017 University of Notre Dame

JOURNAL ARTICLE
11 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.58 • No. 3 • 2017
Back to Top