Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
Mobile Device Pairing
Green Open Access
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826(online) ISSN 0002-9939(print)


Omitting types: application to descriptive set theory

Author: Richard Mansfield
Journal: Proc. Amer. Math. Soc. 47 (1975), 198-200
MathSciNet review: 0354371
Full-text PDF Free Access

Abstract | References | Additional Information

Abstract: The omitting types theorem of infinitary logic is used to prove that every small $ \Pi _1^1$ set of analysis or any small $ {\Sigma _1}$ set of set theory is constructible.

References [Enhancements On Off] (What's this?)

Additional Information

PII: S 0002-9939(1975)0354371-0
Keywords: Constructible, perfect set, hyperarithmetic, analytic
Article copyright: © Copyright 1975 American Mathematical Society