Higher indescribability and derived topologies

DOI10.1142/S0219061323500010arXiv2102.09598OpenAlexW3131182295MaRDI QIDQ6146540FDOQ6146540

Brent Cody

Publication date: 31 January 2024

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Abstract: We introduce reflection properties of cardinals in which the attributes that reflect are expressible by infinitary formulas whose lengths can be strictly larger than the cardinal under consideration. This kind of generalized reflection principle leads to the definitions of $L_{kapp{a}^{+},kapp{a}^{+}}$-indescribability and $P{i}_x^{1}i$-indescribability of a cardinal $kappa$ for all $xi<kapp{a}^{+}$. In this context, universal $P{i}_x^{1}i$ formulas exist, there is a normal ideal associated to $P{i}_x^{1}i$-indescribability and the notions of $P{i}_x^{1}i$-indescribability yield a strict hierarchy below a measurable cardinal. Additionally, given a regular cardinal $mu$, we introduce a diagonal version of Cantor's derivative operator and use it to extend Bagaria's cite{MR3894041} sequence $langlea{u}_{x}i:xi<muangle$ of derived topologies on $mu$ to $langlea{u}_{x}i:xi<m{u}^{+}angle$. Finally, we prove that for all $xi<m{u}^{+}$, if there is a stationary set of $alpha<mu$ that have a high enough degree of indescribability, then there are stationarily-many $alpha<mu$ that are nonisolated points in the space $(mu,a{u}_{xi+1})$.

Full work available at URL: https://arxiv.org/abs/2102.09598

zbMATH Keywords

stationary reflectionderived setsindescribable cardinalsCantor derivatives

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results in general topology (54A35) Large cardinals (03E55)

Cites Work

• Large infinitary languages. Model theory
• Stationary Sets
• Title not available (Why is that?)
• Ideals and Generic Elementary Embeddings
• Title not available (Why is that?)
• Reflection and indescribability in the constructible universe
• The consistency strength of ``every stationary set reflects
• Inequalities for cardinal powers
• A hierarchy of Ramsey cardinals
• Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties
• Countable approximations and Löwenheim-Skolem theorems
• Title not available (Why is that?)
• Small embedding characterizations for large cardinals
• Stationary cardinals
• A REFINEMENT OF THE RAMSEY HIERARCHY VIA INDESCRIBABILITY
• Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
• Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal
• Adding a nonreflecting weakly compact set
• The weakly compact reflection principle need not imply a high order of weak compactness
• Derived topologies on ordinals and stationary reflection
• Mostowski's collapsing function and the closed unbounded filter
• IDEAL OPERATORS AND HIGHER INDESCRIBABILITY
• The consistency strength of hyperstationarity

Cited In (1)

• Two-cardinal ideal operators and indescribability

This page was built for publication: Higher indescribability and derived topologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6146540)