Theories are not partially ordered

Download Edit this record How to cite View on PhilPapers
This paper presents a simple example of first-order theories T1 and T2 such that i) T1 can be embedded in T2 and vice versa, ii) T1 posits all of the structure of T2 and vice versa, but iii) T1 and T2 are not equivalent. This shows that theories lack both the Cantor-Bernstein and co-Cantor-Bernstein properties and are neither partially ordered by the relation 'is embeddable in' nor by 'posits all of the structure of'. In addition, these results clarify the overall geography of notions of equivalence between theories and yield two philosophical payoffs related to the recent discussions of structure and equivalence.
PhilPapers/Archive ID
Revision history
Archival date: 2020-01-15
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

Total views
233 ( #18,932 of 50,155 )

Recent downloads (6 months)
233 ( #1,619 of 50,155 )

How can I increase my downloads?

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