REVIEW 3 major objections 1 minor
In ZFC alone, b is strictly below cof(UN) and non(N) equals non(UN) but is strictly below cof(UN); under add(N)=c one gets cof(UN)=d_c, and a full four-way separation of the UN invariants is consistent.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-15 02:11 UTC pith:IKECDYCZ
load-bearing objection Abstract-only ZFC inequalities and a four-way UN separation look like solid specialist progress, but nothing is checkable without the body. the 3 major comments →
Cardinal invariants on universally null sets
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In ZFC one has b < cof(UN) and non(N) = non(UN) < cof(UN). Assuming add(N)=c one has cof(UN)=d_c. The constellation add(UN)<cov(UN)<non(UN)<cof(UN) is consistent.
What carries the argument
The cofinality of the ideal UN of universally null sets, together with an adaptation of Yorioka's technique that, under the hypothesis add(N)=c, identifies cof(UN) with the dominating number d_c of ^c c.
Load-bearing premise
The exact equality cof(UN)=d_c requires the extra set-theoretic hypothesis that the additivity of the null ideal equals the continuum, and that Yorioka's combinatorial technique transfers to universally null sets without new obstacles.
What would settle it
A model of ZFC in which either b equals cof(UN), or non(N) is strictly smaller than non(UN), or (under add(N)=c) cof(UN) differs from d_c, or a proof that the four-way separation of the UN invariants is impossible.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies cardinal invariants of the ideal UN of universally null sets. It claims three principal results: the ZFC inequalities b < cof(UN) and non(N) = non(UN) < cof(UN); the conditional equality cof(UN) = d_c under the hypothesis add(N) = c, obtained by adapting Yorioka’s technique; and the consistency of the strict chain add(UN) < cov(UN) < non(UN) < cof(UN).
Significance. If the claimed theorems hold, the paper would substantially clarify the place of the universally null ideal among the classical cardinal characteristics of the continuum. The ZFC separations of cof(UN) from b and from non(N), the conditional identification with d_c, and a consistent four-way separation would put UN on a footing comparable to the null and meager ideals, and would be of clear interest to researchers in set theory of the reals.
major comments (3)
- [Abstract] The ZFC claims b < cof(UN) and non(N) = non(UN) < cof(UN) are announced as theorems, yet no proofs, lemmas, or intermediate constructions appear in the available text. These inequalities are load-bearing for the paper’s central contribution; without the body they cannot be checked for gaps or hidden selection principles.
- [Abstract] The equality cof(UN) = d_c is asserted under add(N) = c by an adaptation of Yorioka’s technique. The abstract gives no indication of which combinatorial obstacles arise in the adaptation or how they are resolved; that step is essential to the conditional identification and requires detailed verification.
- [Abstract] The consistency of add(UN) < cov(UN) < non(UN) < cof(UN) rests on an unspecified forcing construction. Preservation properties for the ideal UN and the mechanism that separates the four invariants cannot be assessed from the abstract alone.
minor comments (1)
- [Abstract] The abstract is clear and well-structured, but the notation d_c is not expanded; a brief parenthetical definition would aid readers outside the immediate subfield.
Circularity Check
No circularity detectable: abstract-only ZFC inequalities and consistency claim with no definitional reduction or fitted prediction visible.
full rationale
The available text is only the abstract. It asserts pure ZFC inequalities (b < cof(UN) and non(N)=non(UN)<cof(UN)), a conditional equality cof(UN)=d_c under the extra hypothesis add(N)=c obtained by adapting Yorioka's technique, and a consistency result for the four-way separation of the UN invariants. None of these statements exhibits a self-definitional loop, a fitted parameter renamed as a prediction, a load-bearing uniqueness theorem imported solely from the same authors, an ansatz smuggled via self-citation, or a renaming of a known empirical pattern. There are no equations, no parameter fits, and no internal derivation chain that can be reduced to its own inputs. Self-citation risk cannot be assessed without the body; under the hard rules an abstract-only pure-mathematics claim of this form receives score 0 with empty steps. The reader's score of 2 and the skeptic's note that the body is unavailable are consistent with this non-finding: absence of the body is a verification barrier, not circularity.
Axiom & Free-Parameter Ledger
axioms (3)
- standard math ZFC set theory (including choice)
- domain assumption Standard definitions of the ideals N (null) and UN (universally null) and of the cardinal invariants add, cov, non, cof, b, d, d_c
- domain assumption add(N) = c (used for cof(UN) = d_c)
read the original abstract
We investigate the cardinal invariants on universally null sets. In particular, we prove $\mathfrak{b} < \operatorname{cof}(\mathcal{UN})$ and $\operatorname{non}(\mathcal{N}) = \operatorname{non}(\mathcal{UN}) < \operatorname{cof}(\mathcal{UN})$ in $\mathsf{ZFC}$. Also, assuming $\operatorname{add}(\mathcal{N}) = \mathfrak{c}$, we prove $\operatorname{cof}(\mathcal{UN}) = \mathfrak{d}_\mathfrak{c}$ by adapting Yorioka's technique. Moreover, we prove the consistency of $\operatorname{add}(\mathcal{UN}) < \operatorname{cov}(\mathcal{UN}) < \operatorname{non}(\mathcal{UN}) < \operatorname{cof}(\mathcal{UN})$.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.