{"id":"arxiv/2607.16572","url":"https://arxiv.org/abs/2607.16572","tags":["math.LO"],"score":0,"title":"Tree-derived ideals: Fubini iterations, limit amalgamations, and Katetov obstructions","domain":"math.LO","source":"arxiv","authors":["José de Jesús Pelayo Gómez"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-18","reactions":{}}