The notion of a weakly scattered theory T is defined. T need not be scattered. For each $\cal A$ a model of T, let sr($\cal A$) be the Scott rank of $\cal A$. Assume sr($\cal A$) ≤ ω\sp A \sb 1 for all $\cal A$ a model of T. Let σ\sp T \sb 2 be the least Σ₂ admissible ordinal relative to T. If T admits effective k-splitting as defined in this paper, then $∃θ < σ\sp T \sb 2 such that sr($\cal A$) < θ for all $\cal A$ a model of T.
References
[1] Baldwin, J., "The Vaught Conjecture: Do Uncountable Models Count?", Notre Dame Journal of Formal Logic, vol. 48 (2007), pp. 79--92 (electronic). MR2289898 10.1305/ndjfl/1172787546 euclid.ndjfl/1172787546
1125.03025[1] Baldwin, J., "The Vaught Conjecture: Do Uncountable Models Count?", Notre Dame Journal of Formal Logic, vol. 48 (2007), pp. 79--92 (electronic). MR2289898 10.1305/ndjfl/1172787546 euclid.ndjfl/1172787546
1125.03025
[2] Barwise, J., Admissible Sets and Structures. An Approach to Definability Theory, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1975. MR0424560 0316.02047[2] Barwise, J., Admissible Sets and Structures. An Approach to Definability Theory, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1975. MR0424560 0316.02047
[5] Grilliot, T. J., "Omitting types: Application to recursion theory", The Journal of Symbolic Logic, vol. 37 (1972), pp. 81--89. MR0344099 0244.02016 10.2307/2272549 euclid.jsl/1183738082
[5] Grilliot, T. J., "Omitting types: Application to recursion theory", The Journal of Symbolic Logic, vol. 37 (1972), pp. 81--89. MR0344099 0244.02016 10.2307/2272549 euclid.jsl/1183738082
[6] Harnik, V., and M. Makkai, "A tree argument in infinitary model theory", Proceedings of the American Mathematical Society, vol. 67 (1977), pp. 309--14. MR0472506 0384.03019 10.2307/2041293[6] Harnik, V., and M. Makkai, "A tree argument in infinitary model theory", Proceedings of the American Mathematical Society, vol. 67 (1977), pp. 309--14. MR0472506 0384.03019 10.2307/2041293
[7] Keisler, H. J., Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers, vol. 62 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1971. MR0344115 0222.02064[7] Keisler, H. J., Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers, vol. 62 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1971. MR0344115 0222.02064
[8] Knight, J. F., and J. M. Young, "Computable structures of rank $\omega_1^\mathitCK$", preprint, 2004. 1143.03016[8] Knight, J. F., and J. M. Young, "Computable structures of rank $\omega_1^\mathitCK$", preprint, 2004. 1143.03016
[10] Makkai, M., "An `admissible' generalization of a theorem on countable $\Sigma \sp1\sb1$" sets of reals with applications, Annals of Pure and Applied Logic, vol. 11 (1977), pp. 1--30. MR0491142 0376.02031[10] Makkai, M., "An `admissible' generalization of a theorem on countable $\Sigma \sp1\sb1$" sets of reals with applications, Annals of Pure and Applied Logic, vol. 11 (1977), pp. 1--30. MR0491142 0376.02031
[11] Makkai, M., "An example concerning Scott heights", The Journal of Symbolic Logic, vol. 46 (1981), pp. 301--18. MR613284 0501.03018 10.2307/2273623 euclid.jsl/1183740778
[11] Makkai, M., "An example concerning Scott heights", The Journal of Symbolic Logic, vol. 46 (1981), pp. 301--18. MR613284 0501.03018 10.2307/2273623 euclid.jsl/1183740778
[13] Morley, M., "The number of countable models", The Journal of Symbolic Logic, vol. 35 (1970), pp. 14--18. MR0288015 0196.01002 10.2307/2271150 euclid.jsl/1183737029
[13] Morley, M., "The number of countable models", The Journal of Symbolic Logic, vol. 35 (1970), pp. 14--18. MR0288015 0196.01002 10.2307/2271150 euclid.jsl/1183737029
[14] Nadel, M., "Scott sentences and admissible sets", Annals of Pure and Applied Logic, vol. 7 (1974), pp. 267--94. MR0384471 0301.02050[14] Nadel, M., "Scott sentences and admissible sets", Annals of Pure and Applied Logic, vol. 7 (1974), pp. 267--94. MR0384471 0301.02050
[15] Sacks, G. E., "On the number of countable models", pp. 185--95 in Southeast Asian Conference on Logic (Singapore, 1981), vol. 111 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1983. MR723338 0563.03015[15] Sacks, G. E., "On the number of countable models", pp. 185--95 in Southeast Asian Conference on Logic (Singapore, 1981), vol. 111 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1983. MR723338 0563.03015
[16] Sacks, G. E., Higher Recursion Theory, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1990. MR1080970 0716.03043[16] Sacks, G. E., Higher Recursion Theory, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1990. MR1080970 0716.03043
[17] Scott, D., "Logic with denumerably long formulas and finite strings of quantifiers", pp. 329--41 in Theory of Models (Proceedings of the 1963 International Symposium, Berkeley), North-Holland, Amsterdam, 1965. MR0200133 0166.26003[17] Scott, D., "Logic with denumerably long formulas and finite strings of quantifiers", pp. 329--41 in Theory of Models (Proceedings of the 1963 International Symposium, Berkeley), North-Holland, Amsterdam, 1965. MR0200133 0166.26003
[18] Steel, J. R., "On Vaught's conjecture", pp. 193--208 in Cabal Seminar 76--77 (Proceedings of the Caltech-UCLA Logic Seminar, 1976--77), vol. 689 of Lecture Notes in Mathematics, Springer, Berlin, 1978. MR526920 0403.03027[18] Steel, J. R., "On Vaught's conjecture", pp. 193--208 in Cabal Seminar 76--77 (Proceedings of the Caltech-UCLA Logic Seminar, 1976--77), vol. 689 of Lecture Notes in Mathematics, Springer, Berlin, 1978. MR526920 0403.03027