{"id":"arxiv/2608.15672","url":"https://arxiv.org/abs/2608.15672","tags":["math.CO"],"score":0,"title":"Uniformity without Projective Consistency: An Exact Counterexample for a Nested Binary Term Grammar","domain":"math.CO","source":"arxiv","authors":["Ivan Khalamendyk"],"reviews":0,"subject":"math.CO","summary":"Let T_0={L} and T_{r+1}={L} union {N(a,b):a,b in T_r}. On the nonleaf terms E_r, require each event N(a,b) to occur after its nonleaf children, and let mu_r be the uniform measure on the linear extensions of this poset. We study the restriction rho_43 that deletes the new level-4 events while preserving the relative order of the level-3 events. We prove that the pushforward of mu_4 under rho_43 is not mu_3. Two explicit orders on the 25 level-3 events have different numbers of level-4 extensions. If b_i is the number of T_2 terms, including the leaf, seen in a prefix of length i, the number…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-16","reactions":{}}