{"id":"arxiv/2610.16163","url":"https://arxiv.org/abs/2610.16163","tags":["math.LO","cs.LO"],"score":0,"title":"A characterization of the finite model property for $ω$-categorical theories","domain":"math.LO","source":"arxiv","authors":["Vera Koponen"],"reviews":0,"subject":"math.LO","summary":"A first-order theory $T$ has the {\\em finite model property} if every first-order sentence that is implied by $T$ has a finite model. We give a characterization of when a complete $ω$-categorical theory $T$ has the finite model property. The characterization makes it possible to transfer stability theoretic results in [29] to certain classes of finite structures. This approach also gives information concerning properties that a sequence of finite ``base structures'' of ever larger size must have in order for its random expansions to a larger vocabulary to have a chance to satisfy a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}