Higher indescribability and derived topologies

DOI10.1142/S0219061323500010MaRDI QIDQ6146540zbMATH OpenOpenAlexFDO

Authors Brent Cody

Publication date 31 January 2024

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

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)

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})$.

Recommendations

• Derived topologies on ordinals and stationary reflection
• A refinement of the Ramsey hierarchy via indescribability
• Ideal topologies in higher descriptive set theory
• Reflection and indescribability in the constructible universe
• Full Reflection of Stationary Sets at Regular Cardinals

Cites work

• scientific article; zbMATH DE number 2024204 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• scientific article; zbMATH DE number 3422371 (Why is no real title available?)
• A hierarchy of Ramsey cardinals
• A refinement of the Ramsey hierarchy via indescribability
• Adding a nonreflecting weakly compact set
• Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
• Countable approximations and Löwenheim-Skolem theorems
• Derived topologies on ordinals and stationary reflection
• Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal
• Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties
• IDEAL OPERATORS AND HIGHER INDESCRIBABILITY
• Ideals and generic elementary embeddings
• Inequalities for cardinal powers
• Large infinitary languages. Model theory
• Mostowski's collapsing function and the closed unbounded filter
• Reflection and indescribability in the constructible universe
• Small embedding characterizations for large cardinals
• Stationary cardinals
• Stationary sets
• The consistency strength of ``every stationary set reflects
• The consistency strength of hyperstationarity
• The weakly compact reflection principle need not imply a high order of weak compactness

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)