Extension, Translation, and the Cantor-Bernstein Property

Download Edit this record How to cite View on PhilPapers
Abstract
The purpose of this paper is to examine in detail a particularly interesting pair of first-order theories. In addition to clarifying the overall geography of notions of equivalence between theories, this simple example yields two surprising conclusions about the relationships that theories might bear to one another. In brief, we see that theories lack both the Cantor-Bernstein and co-Cantor-Bernstein properties.
PhilPapers/Archive ID
BARETA-9
Upload history
Archival date: 2019-06-06
View other versions
Added to PP index
2019-06-06

Total views
172 ( #29,878 of 58,417 )

Recent downloads (6 months)
16 ( #39,788 of 58,417 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.