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)


Lindenbaum algebras and partial conservativity

Author: Christian Bennet
Journal: Proc. Amer. Math. Soc. 97 (1986), 323-327
MSC: Primary 03F25; Secondary 03F30
MathSciNet review: 835891
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A partial Lindenbaum algebra $ {\Gamma ^A}$, where $ A$ is a theory extending Peano arithmetic and $ \Gamma \in \{ {\Pi _n},{\Sigma _n}\} $, is the full Lindenbaum algebra for $ A$ restricted to sentences in $ A$ provably equivalent to $ {\Gamma _n}$-sentences. Using a new result on pairs of partially conservative sentences, we show that $ \Pi _n^A$ and $ \Sigma _n^A$ are not isomorphic.

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(1986)0835891-6
Article copyright: © Copyright 1986 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