A diamond-plus principle consistent with AD

Archive for Mathematical Logic 59 (5-6):755-775 (2020)
  Copy   BIBTEX

Abstract

After showing that \ refutes \ for all regular cardinals \, we present a diamond-plus principle \ concerning all subsets of \. Using a forcing argument, we prove that \ holds in Steel’s core model \}}\), an inner model in which the axiom of determinacy can hold. The combinatorial principle \ is then extended, in \}}\), to successor cardinals \ and to certain cardinals \ that are not ineffable. Here \ is the supremum of the ordinals that are the surjective image of the set of reals \.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Diamond Principle Consistent with AD.Daniel Cunningham - 2017 - Notre Dame Journal of Formal Logic 58 (3):397-407.
An L-like model containing very large cardinals.Arthur W. Apter & James Cummings - 2008 - Archive for Mathematical Logic 47 (1):65-78.
Square and non-reflection in the context of Pκλ.Greg Piper - 2006 - Annals of Pure and Applied Logic 142 (1):76-97.
Combined Maximality Principles up to large cardinals.Gunter Fuchs - 2009 - Journal of Symbolic Logic 74 (3):1015-1046.
A Simple Maximality Principle.Joel Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.
A simple maximality principle.Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
Square with built-in diamond-plus.Assaf Rinot & Ralf Schindler - 2017 - Journal of Symbolic Logic 82 (3):809-833.
Indestructibility of Vopěnka’s Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.
Regular Ultrapowers at Regular Cardinals.Juliette Kennedy, Saharon Shelah & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (3):417-428.
Making all cardinals almost Ramsey.Arthur W. Apter & Peter Koepke - 2008 - Archive for Mathematical Logic 47 (7-8):769-783.
Middle diamond.Saharon Shelah - 2005 - Archive for Mathematical Logic 44 (5):527-560.
Skolem Redux.W. D. Hart - 2000 - Notre Dame Journal of Formal Logic 41 (4):399--414.
C(n)-cardinals.Joan Bagaria - 2012 - Archive for Mathematical Logic 51 (3-4):213-240.

Analytics

Added to PP
2020-02-06

Downloads
6 (#1,269,929)

6 months
2 (#670,035)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations