{"id":"arxiv/2611.04172","url":"https://arxiv.org/abs/2611.04172","tags":["math.LO"],"score":0,"title":"Friedman--Stanley cofinality without Borel completeness","domain":"math.LO","source":"arxiv","authors":["Ruijun Wang"],"reviews":0,"subject":"math.LO","summary":"Friedman and Stanley asked whether an invariant Borel class of countable structures must be Borel complete whenever every countable level of their hierarchy reduces to it. We construct a counterexample in one fixed countable language. The structural counterexample and its principal supporting results have been formalized in Lean~4 and it is available on github.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-03","reactions":{}}