Intrinsic bounds on complexity and definability at limit levels∗ John Chisholm Ekaterina Fokina Department of Mathematics Department of Mathematics Western Illinois University Novosibirsk State University Macomb, IL 61455 630090 Novosibirsk, Russia
[email protected] [email protected] Sergey S. Goncharov Academy of Sciences, Siberian Branch Mathematical Institute 630090 Novosibirsk, Russia
[email protected] Valentina S. Harizanov Julia F. Knight Department of Mathematics Department of Mathematics George Washington University University of Notre Dame
[email protected] [email protected] Sara Miller Department of Mathematics University of Notre Dame
[email protected] May 31, 2007 Abstract We show that for every computable limit ordinal α,thereisacom- 0 0 putable structure that is ∆α categorical, but not relatively ∆α categor- A 0 ical, i.e., does not have a formally Σα Scott family. We also show that for every computable limit ordinal α, there is a computable structure with 0 A an additional relation R that is intrinsically Σα on , but not relatively 0 A intrinsically Σ on , i.e., not definable by a computable Σα formula with α A ∗The authors gratefully acknowledge support of the Charles H. Husking endowment at the University of Notre Dame. The last five authors were also partially supported by the NSF binational grant DMS-0554841, and the fourth author by the NSF grant DMS-0704256. In addition, the second author was supported by a grant of the Russian Federation as a 2006-07 research visitor to the University of Notre Dame. 1 finitely many parameters. Earlier results in [7], [10], [8] establish the same facts for computable successor ordinals α.