{"id":"arxiv/2610.15217","url":"https://arxiv.org/abs/2610.15217","tags":["math.LO"],"score":0,"title":"A counterexample to Vaught's Conjecture for $L_{ω_1,ω}$","domain":"math.LO","source":"arxiv","authors":["Nathanael L. Ackerman","Cameron E. Freer","Robin W. Knight"],"reviews":0,"subject":"math.LO","summary":"We construct a sentence of $L_{ω_1,ω}$ having exactly $\\aleph_1$ many countable models up to isomorphism, but no perfect set of non-isomorphic models. This disproves Vaught's conjecture for infinitary logic. The construction follows a framework devised by Robin Knight, and the proof has been formally verified in Lean.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-10","reactions":{}}