The generalized continuum hypothesis above a strongly compact cardinal

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↗

arXiv2026

Classification complexity of homeomorphism group actions

In this paper, we study how the classification complexity of natural orbit equivalence relations changes when the full homeomorphism group of a compact metrizable space is replaced by a dense non-closed subgroup. For a compact space $X$ and a subgroup $G \leq \mathcal{H}(X)$, we consider three canonical actions: the left shift action on $\mathcal{H}(X)$, the induced hyperspace action on $\mathcal{F}(X)$, and the conjugation action on $G$ We first analyze subgroups of the group $\mathcal{H}^+([0,1])$ of increasing interval homeomorphisms, focusing on bi-Lipschitz homeomorphisms, diffeomorphisms, and bi-absolutely continuous homeomorphisms. We show that, in contrast to the behavior of closed subgroups, passing to these subgroups strictly increases the complexities of the associated classification problems or makes them incomparable with the corresponding full-group relations. In the second part, we investigate hyperspace actions of bi-absolutely continuous homeomorphisms on the Cantor space and the Hilbert cube with respect to some Borel probability measure and show that a similar behavior occurs on these spaces as well.

math.LO↗