arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.09086

Amenable C-sequences and ineffability in L

Gabriel Fernandes
View original source ↗Read source document ↗Export metadata ↓

Abstract

We give a relative consistency counterexample to the conjecture of Inamdar and Rinot that every regular uncountable cardinal carrying no amenable C-sequence is ineffable in the constructible universe L. The existence of a $Π^2_1$-indescribable cardinal is equiconsistent with the existence of a $Π^2_1$-indescribable cardinal carrying no amenable C-sequence and not ineffable in L. For every ground-model C-sequence on a weakly compact cardinal $κ$, generalized Hechler forcing adds a club D with $D\capβ\subseteq C_β$ at stationarily many inaccessible indices. We use this capture theorem in an iteration of length $κ^+$ after Johnstone's local lottery preparation.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gabriel Fernandes. 2026-10-06. Amenable C-sequences and ineffability in L. https://arxiv.org/abs/2610.09086

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Type $ω$-Vaught's Conjecture for $ω$-stable Theories

We propose a new variant of Vaught's conjecture, based on Martin's (model-theoretic) conjecture and the $ω$-Vaught's conjecture of Gonzalez and Montalbán. For $ω$-stable theories, we prove the conjecture by analyzing in detail Bouscaren's and Shelah-Harrington-Makkai's proofs of Martin's conjecture and Vaught's conjecture, respectively, for $ω$-stable theories. In particular, when there are countably many countable models, we improve the required number of quantifiers for a Scott sentence from $ω+ω$ to $ω+5$, and we obtain a similar bound of $ω+6$ for the uncountable case.

math.LO↗
arXiv2026

Coanalytic subfields of the reals of every Hausdorff dimension

An analytic subring of $\mathbb{R}$ has Hausdorff dimension $0$ or is equal to $\mathbb{R}$, by a theorem of Edgar--Miller and Bourgain. We show that this fails for coanalytic subfields in the constructible universe: if $V=L$, then for every $α\in[0,1]$ there is a proper coanalytic subfield of $\mathbb{R}$ of Hausdorff dimension $α$. In fact there is a single parameter-free $Π^1_1$ set $G\subseteq[0,1]\times\mathbb{R}$ whose sections $A(α)$ are such fields, are strictly increasing in $α$, and satisfy $A(α)=\bigcup_{r<α}A(r)$ for $α>0$.

math.LO↗