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

DOI: http://dx.doi.org/10.1090/S0002-9939-1975-0354371-0
PII: S 0002-9939(1975)0354371-0
Keywords: Constructible, perfect set, hyperarithmetic, analytic
Article copyright: © Copyright 1975 American Mathematical Society