{"id":"arxiv/2602.22398","url":"https://arxiv.org/abs/2602.22398","tags":["math.LO"],"score":0,"title":"A Complete Bounded Theory with Unbounded Types","domain":"math.LO","source":"arxiv","authors":["Hongyu Zhu"],"reviews":0,"subject":"math.LO","summary":"One measure of the complexity of a first-order theory, and similarly a type, is the complexity of the formulas required to axiomatize it. We say a theory is bounded if there is an axiomatization involving only $\\forall_n$-formulas for some finite $n$, and unbounded otherwise. One might expect bounded theories to have only bounded types. In fact, an analogue holds in infinitary logic, where the complexity of a Scott sentence roughly agrees with the complexity of the most complicated automorphism orbit. Our main result, however, shows this is not the case in the first-order setting: Namely,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-25","reactions":{}}