Thomas William Barrett
University of California at Santa Barbara
Hans Halvorson
Princeton University
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.
Keywords equivalent theories
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Hyperintensional Account of Metaphysical Equivalence.Kristie Miller - 2017 - Philosophical Quarterly 67 (269):772-793.
What is Metaphysical Equivalence?Kristie Miller - 2005 - Philosophical Papers 34 (1):45-74.
Equivalent and Inequivalent Formulations of Classical Mechanics.Thomas William Barrett - 2019 - British Journal for the Philosophy of Science 70 (4):1167-1199.
Forking and Dividing in NTP₂ Theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
N-Simple Theories.Alexei S. Kolesnikov - 2005 - Annals of Pure and Applied Logic 131 (1-3):227-261.
On Definability of Types of Finite Cantor-Bendixson Rank.Predrag Tanovic - 2011 - Mathematical Logic Quarterly 57 (3):256-260.
Set Size and the Part–Whole Principle.Matthew W. Parker - 2013 - Review of Symbolic Logic (4):1-24.
What Scientific Theories Could Not Be.Hans Halvorson - 2012 - Philosophy of Science 79 (2):183-206.
Myhill's Work in Recursion Theory.J. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.
Myhill's Work in Recursion Theory.J. C. E. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.
Rank, Join, and Cantor Singletons.Jim Owings - 1997 - Archive for Mathematical Logic 36 (4-5):313-320.


Added to PP index

Total views
194 ( #56,120 of 2,462,052 )

Recent downloads (6 months)
16 ( #47,702 of 2,462,052 )

How can I increase my downloads?


My notes