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
Revision history
Archival date: 2019-06-06
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2019-06-06

Total views
22 ( #37,129 of 39,970 )

Recent downloads (6 months)
22 ( #21,897 of 39,970 )

How can I increase my downloads?

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