Tree-derived ideals: Fubini iterations, limit amalgamations, and Katetov obstructions
We develop a machinery for deriving ideals on a countable set from a partition of $ω$ indexed by $ω^{<ω}$. A derivative operator on trace trees, parametrized by an auxiliary ideal $\mathcal J$, yields a strict transfinite hierarchy $\mathcal H^{\mathcal J}_α$ of proper ideals, tall from level one onward and independent of the chosen partition. Its finite levels are exactly the Fubini powers, $\mathcal H_n\cong\mathrm{Fin}^{\otimes(n+1)}$, while $\mathcal H_ω=\bigcup_n\mathcal H_n$ amalgamates all finite powers. We establish presentation independence, local homogeneity, Fubini recursion, and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.16572
curl -X POST /api/v1/records/arxiv/2607.16572/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.16572/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'