Huge reflection
type: Item
instance of: scholarly article
title: Huge reflection
author: Joan Bagaria
author: Philipp Lücke
published in: Annals of Pure and Applied Logic
publication date: 2022-10-14T00:00:00Z
full work available at URL: https://arxiv.org/abs/2106.01462
review text: For an infinite cardinal \(\kappa\), a class \(P\), and a class \(\Gamma\) with \(\Gamma = \Sigma_n\) or \(\Pi_n\) for some \(n < \omega\), the \textit{Exact Structural Reflection principle} \(\Gamma(P)\)-ESR\((\kappa)\) asserts the existence of a cardinal \(\lambda > \kappa\) such that for any class \({\mathfrak C}\) of structures of the same type that is \(\Gamma\)-definable with parameters in \(P\), and any \(A \in {\mathfrak C}\) of rank \(\lambda\), there is an elementary embedding from some \(B \in {\mathfrak C}\) of rank \(\kappa\) into \(A\). The paper is a detailed study of this family of principles. To give a taste of the results, more definitions are needed. For \(m < \omega\), let \(C^{(m)}\) denote the \(\Pi_m\)-definable closed unbounded class of all ordinals \(\alpha\) such that \(V_\alpha\) is a \(\Sigma_m\)-elementary substructure of \(V\). For \(0 < n < \omega\) and two infinite cardinals \(\kappa < \lambda\), \(\kappa\) is \textit{weakly parametrically} \(n\)-\textit{exact for} \(\lambda\) if for any \(A \in V_{\lambda + 1}\), there are a transitive, \(\Pi_n (V_{\kappa + 1})\)-correct set \(M\) with \(V_\kappa \cup \{ \kappa \} \subseteq M\), a cardinal \(\lambda' \in C^{(n-1)}\) greater than \(\gimel_\lambda\), and an elementary embedding \(j : M \rightarrow H_{\lambda'}\) with \(j (\mathrm{crit}(j)) = \kappa\), \(j (\kappa) = \lambda\) and \(A \in\mathrm{ran}(j)\). One result states that for an infinite cardinal \(\kappa\) and \(0 < n < \omega\), \(\kappa\) is the least cardinal such that \(\Pi_n(V_\kappa)\)-ESR\((\kappa)\) holds if and only if \(\kappa\) is the least cardinal that is weakly parametrically \(n\)-exact for some \(\lambda > \kappa\). This is then used to show that exact structural reflection is consistencywise quite strong: On the one hand, if \(\kappa\) is weakly parametrically \(1\)-exact for \(\lambda\), then many cardinals \(\rho\) smaller than \(\kappa\) are almost huge with target \(\kappa\) (i.e. \(\rho\) is the critical po…
Mathematics Subject Classification ID: 03E55
Mathematics Subject Classification ID: 03E65
Mathematics Subject Classification ID: 18A10
Mathematics Subject Classification ID: 18A15
zbMATH DE Number: 7601553
zbMATH Keywords: structural reflection
zbMATH Keywords: large cardinals
zbMATH Keywords: elementary embeddings
reviewed by: Pierre Matet
MaRDI profile type: Publication
OpenAlex ID: W4286567118
cites work: Bounded forcing axioms as principles of generic absoluteness
cites work: \(C ^{(n)}\)-cardinals
cites work: Definable orthogonality classes in accessible categories are small
cites work: ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS
cites work: Q3944594
cites work: Smoke and mirrors: combinatorial properties of small cardinals equiconsistent with huge cardinals
cites work: Ideals and Generic Elementary Embeddings
cites work: Small embedding characterizations for large cardinals
cites work: Q4805123
cites work: Structural reflection, shrewd cardinals and the size of the continuum
cites work: On the role of supercompact and extendible cardinals in logic
cites work: Recent Advances in Ordinal Analysis: Π12— CA and Related Systems
cites work: ON C(n)-EXTENDIBLE CARDINALS
cites work: On elementary embeddings from an inner model to the universe
DOI: 10.1016/J.APAL.2022.103171
description: scientific article; zbMATH DE number 7601553