Skip to Main Content

Transactions of the American Mathematical Society

Published by the American Mathematical Society since 1900, Transactions of the American Mathematical Society is devoted to longer research articles in all areas of pure and applied mathematics.

ISSN 1088-6850 (online) ISSN 0002-9947 (print)

The 2020 MCQ for Transactions of the American Mathematical Society is 1.48.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

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.
Similar Articles
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