Extension, Translation, and the Cantor-Bernstein Property

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.

Author Profiles

Thomas William Barrett
University of California at Santa Barbara
Hans Halvorson
Princeton University

Analytics

Added to PP
2019-06-06

Downloads
353 (#43,411)

6 months
58 (#64,439)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?