The invariant $\Pi ^{0}_{\alpha }$ separation principle
HTML articles powered by AMS MathViewer
- by Douglas E. Miller PDF
- Trans. Amer. Math. Soc. 242 (1978), 185-204 Request permission
Abstract:
We “invariantize” the classical theory of alternated unions to obtain new separation results in both invariant descriptive set theory and in infinitary logic. Application is made to the theory of definitions of countable models.References
- J. W. Addison, The theory of hierarchies, Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.), Stanford Univ. Press, Stanford, Calif., 1962, pp. 26–37. MR 0157899
- J. W. Addison, Some problems in hierarchy theory, Proc. Sympos. Pure Math., Vol. V, American Mathematical Society, Providence, R.I., 1962, pp. 123–130. MR 0141599
- J. W. Addison, Current problems in descriptive set theory, Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part II, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1974, pp. 1–10. MR 0373895
- Jon Barwise, Applications of strict $\Pi _{1}{}^{1}$ predicates to infinitary logic, J. Symbolic Logic 34 (1969), 409–423. MR 260594, DOI 10.2307/2270906
- Miroslav Benda, Remarks on countable models, Fund. Math. 81 (1973/74), no. 2, 107–119. MR 371634, DOI 10.4064/fm-81-2-107-119
- Ronald B. Jensen and Carol Karp, Primitive recursive set functions, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 143–176. MR 0281602
- H. Jerome Keisler, Finite approximations of infinitely long formulas, Theory of Models (Proc. 1963 Internat. Sympos. Berkeley), North-Holland, Amsterdam, 1965, pp. 158–169. MR 0202602 —, Model theory for infinitary logic, North-Holland, Amsterdam, 1971.
- K. Kuratowski, Topology. Vol. I, Academic Press, New York-London; Państwowe Wydawnictwo Naukowe [Polish Scientific Publishers], Warsaw, 1966. New edition, revised and augmented; Translated from the French by J. Jaworowski. MR 0217751 N. Lusin, Leçons sur les ensembles analytiques et leurs applications, Gauthier-Villars, Paris, 1930. D. A. Martin, A direct proof of the difference hierarchy theorem, 1974 (manuscript). D. Myers, The prefix hierarchy of first-order logic, Ph.D. Dissertation, Univ. of Calif., Berkeley, 1971.
- Joseph R. Shoenfield, Mathematical logic, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1967. MR 0225631
- Y. Suzuki, Orbits of denumerable models of complete theories, Fund. Math. 67 (1970), 89–95. MR 266748, DOI 10.4064/fm-67-1-89-95
- Robert Vaught, Invariant sets in topology and logic, Fund. Math. 82 (1974/75), 269–294. MR 363912, DOI 10.4064/fm-82-3-269-294 J. M. Weinstein, $({\omega _1},\omega )$ properties of unions of models, The Syntax and Semantics of Infinitary Languages, Springer-Verlag, Berlin, 1968, pp. 265-268.
Additional Information
- © Copyright 1978 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 242 (1978), 185-204
- MSC: Primary 03E15; Secondary 03C15, 03C70, 03C75
- DOI: https://doi.org/10.1090/S0002-9947-1978-0496802-9
- MathSciNet review: 496802