{"id":"arxiv/2609.21765","url":"https://arxiv.org/abs/2609.21765","tags":["math.LO","cs.LO"],"score":0,"title":"Bluebirds and mockingbirds cannot produce a fixed-point combinator","domain":"math.LO","source":"arxiv","authors":["Takuma Imamura"],"reviews":0,"subject":"math.LO","summary":"Let $B$ be the bluebird combinator with reduction rule $Bxyz \\to_{w} x\\left(yz\\right)$, let $M$ be the mockingbird combinator with reduction rule $Mx \\to_{w} xx$, and let $I$ be the identity bird combinator with reduction rule $Ix \\to_{w} x$. A fixed-point combinator, called a sage bird by Smullyan, is a closed term $Y$ such that, for a fresh variable $x$, $Yx$ is equivalent to $x\\left(Yx\\right)$ under these reduction rules. For a fixed variable $x$, we construct an invariant $\\mathrm{Tr}_{x}\\left(u\\right)$ of a $BMI$-term $u$ with respect to $\\to_{w}$. This invariant traces the occurrences…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-18","reactions":{}}