{"id":"arxiv/2606.12014","url":"https://arxiv.org/abs/2606.12014","tags":["math.LO"],"score":0,"title":"Vaught's Conjecture for Unions of Products of Rooted Trees","domain":"math.LO","source":"arxiv","authors":["Miloš S. Kurilić"],"reviews":0,"subject":"math.LO","summary":"Let ${\\mathcal C} ^{\\rm rt}$ be the class of rooted trees and $\\langle {\\mathcal C} ^{\\rm rt}\\rangle _{\\dot{\\cup }Π}$ its minimal closure under isomorphism, finite direct products and finite disjoint unions. Posets from that closure are isomorphic to ${\\mathbb X}= \\dot{\\bigcup} _{i<n}\\prod _{j<m_i}{\\mathbb X}_i^j$, where ${\\mathbb X}_i^j$ are rooted trees. Defining ${\\mathcal T}=\\mathop{\\rm Th} ({\\mathbb X})$, ${\\mathcal T} _i ^j=\\mathop{\\rm Th}({\\mathbb X}_i^j)$, for $i<n$ and $j<m_i$, and $κ= \\prod _{i<n}\\prod _{j<m_i}I({\\mathcal T} _i^j)$, we have (a) Vaught's conjecture is true for…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-10","reactions":{}}