Hostname: page-component-78c5997874-t5tsf Total loading time: 0 Render date: 2024-11-17T19:36:39.944Z Has data issue: false hasContentIssue false
  • English
  • Français

Weak Indestructibility and Reflection

Part of: Set theory

Published online by Cambridge University Press:  23 February 2024

James Holland
James Holland*
Affiliation:
Rutgers University, New Brunswick, NJ, USA, 2023.
Rights & Permissions [Opens in a new window]

Abstract

There is a balance between the amount of (weak) indestructibility one can have and the amount of strong cardinals. It’s consistent relative to large cardinals to have lots of strong cardinals and all of their degrees of strength are weakly indestructible. But this necessitates the destructibility of the partially strong cardinals. Guaranteeing the indestructibility of the partially strong cardinals is shown to be harder. In particular, this work establishes an equiconsistency between:

  1. 1. a proper class of cardinals that are strong reflecting strongs; and

  2. 2. weak indestructibility for (κ+2)-strength for all cardinals κ in the presence of a proper class of strong cardinals.

These have a much higher consistency strength than:

  1. 3. weak indestructibility for all degrees of strength for a proper class of strong cardinals.

This discrepancy holds even if we weaken (2) from the presence of a proper class to just two strong cardinals. (2) is also equivalent to weak indestructibility for all λ-strength for λ far beyond (κ+2); well beyond the next measurable limit of measurables above κ, but before the next μ that is (μ+2)-strong.

One direction of the equiconsistency of (1) and (2) is proven using forcing and the other using core model techniques from inner model theory. Additionally, connections between weak indestructibility and the reflection properties associated with Woodin cardinals are discussed, and similar results are derived for supercompacts and supercompacts reflecting supercompacts.

Abstract prepared by James Holland.

E-mail: jch258@scarletmail.rutgers.edu

URL: https://sites.math.rutgers.edu/~jch258/assets/dis.pdf

Keywords

forcingindestructibilitystrong cardinalsreflecting strongscore model

MSC classification

Primary: 03E55: Large cardinals
Secondary: 03E35: Consistency and independence results 03E45: Inner models, including constructibility, ordinal definability, and core models
Type
Thesis Abstract
Information
Bulletin of Symbolic Logic , Volume 29 , Issue 4 , December 2023 , pp. 663
Check for updates
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

The Association for Symbolic Logic publishes abstracts of recent PhD theses in logic. The aim of this activity is to publish abstracts for the majority of recent PhD theses in logic world wide and submitted abstracts will therefore only be edited to ensure that they fall within the general area of logic and are appropriate in terms of length and content. This section will provide a permanent publicly accessible overview of theses in logic and thus make up for the lack of central repository for the theses themselves. The Thesis Abstracts Section is edited by Christian Rosendal. Any abstract should formally be submitted by the thesis advisor though it is expected to usually be prepared by the candidate. For detailed instructions for preparation and submission, including the required TeX template, please consult the link below. http://aslonline.org/LogicThesisAbstracts.html.

Footnotes

Supervised by Grigor Sargsyan.