Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

Remote Access
Green Open Access
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826(online) ISSN 0002-9939(print)


On partially conservative sentences and interpretability

Author: Per Lindström
Journal: Proc. Amer. Math. Soc. 91 (1984), 436-443
MSC: Primary 03F25; Secondary 03F30
MathSciNet review: 744645
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A sentence $ \varphi $ is $ \Gamma $-conservative over $ T$ if $ T + \varphi \vdash \psi $ implies $ T \vdash \psi $ for every $ \psi \in \Gamma $. In §1 this concept for $ \Gamma = \sum _{n + 1}^0$ and $ \prod _{n + 1}^0$ is investigated. In §2 results from §1 are applied to interpretability in theories containing arithmetic.

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

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03F25, 03F30

Retrieve articles in all journals with MSC: 03F25, 03F30

Additional Information

PII: S 0002-9939(1984)0744645-9
Article copyright: © Copyright 1984 American Mathematical Society

Comments: Email Webmaster

© Copyright , American Mathematical Society
Contact Us · Sitemap · Privacy Statement

Connect with us Facebook Twitter Google+ LinkedIn Instagram RSS feeds Blogs YouTube Podcasts Wikipedia