{"id":"arxiv/2606.29500","url":"https://arxiv.org/abs/2606.29500","tags":["math.LO"],"score":0,"title":"Rado's Conjecture and the random algebra","domain":"math.LO","source":"arxiv","authors":["Radek Honzik"],"reviews":0,"subject":"math.LO","summary":"Rado's Conjecture (RC) is a compactness principle for a certain class of partial orders, namely trees $T$ of height $ω_1$ without cofinal branches, postulating that a partial order $P$ from this class can be decomposed into at most countably many antichains if and only if all its suborders of size $ω_1$ can be decomposed into at most countably many antichains. Rado's Conjecture is thus an uncountable version of Mirsky's theorem asserting that for every natural number $n$, every infinite partial order $P$ can be decomposed into at most $n$ many antichains if and only if all its finite…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-28","reactions":{}}