Metamathematics of comparability
| Abstract | A number of comparability theorems have been investigated from the viewpoint of reverse mathematics. Among these are various comparability theorems between countable well orderings ([2],[8]), and between closed sets in metric spaces ([3],[5]). Here we investigate the reverse mathematics of a comparability theorem for countable metric spaces, countable linear orderings, and sets of rationals. The previous work on closed sets used a strengthened notion of continuous embedding. The usual weaker notion of continuous embedding is used here. As a byproduct, we sharpen previous results of [3],[5]. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
|
| Through your library | Only published papers are available at libraries |
Wlodek Rabinowicz (2008). Value Relations. Theoria 74 (1):18-49.
P. D. Welch (1996). Countable Unions of Simple Sets in the Core Model. Journal of Symbolic Logic 61 (1):293-312.
Su Gao (2001). Some Dichotomy Theorems for Isomorphism Relations of Countable Models. Journal of Symbolic Logic 66 (2):902-922.
Mariagnese Giusto & Stephen G. Simpson (2000). Located Sets and Reverse Mathematics. Journal of Symbolic Logic 65 (3):1451-1480.
A. Ritterbusch (1981). Komparative Aussagemuster in Bezug Zu Komplementären Und Enkaptischen Modellen der Morphologie. Acta Biotheoretica 30 (1).
Marion Scheepers (1999). Finite Powers of Strong Measure Zero Sets. Journal of Symbolic Logic 64 (3):1295-1306.
Vivian Charles Walsh (1967). On the Significance of Choice Sets with Incompatibilities. Philosophy of Science 34 (3):243-250.
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,748 of 549,125 )Recent downloads (6 months)0How can I increase my downloads? |

