Metamathematics of comparability
A number of comparability theorems have been investigated from the viewpoint of reverse mathematics. Among these are various comparability theorems between countable well orderings (,), and between closed sets in metric spaces (,). 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 ,.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Countable Unions of Simple Sets in the Core Model.P. D. Welch - 1996 - Journal of Symbolic Logic 61 (1):293-312.
Some Dichotomy Theorems for Isomorphism Relations of Countable Models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.
Located Sets and Reverse Mathematics.Mariagnese Giusto & Stephen G. Simpson - 2000 - Journal of Symbolic Logic 65 (3):1451-1480.
Komparative Aussagemuster in Bezug Zu Komplementären Und Enkaptischen Modellen der Morphologie.A. Ritterbusch - 1981 - Acta Biotheoretica 30 (1):49-66.
A Note on Introducing a 'Zero-Line' of Welfare as an Escape-Route From Arrow's Theorem.Christian List - 2001 - Pacific Economic Review (Special Section in Honour of Amartya Sen) 6 (2):223-238.
Finite Powers of Strong Measure Zero Sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
On the Significance of Choice Sets with Incompatibilities.Vivian Charles Walsh - 1967 - Philosophy of Science 34 (3):243-250.
Added to index2009-01-28
Total downloads277 ( #11,792 of 2,178,176 )
Recent downloads (6 months)4 ( #73,172 of 2,178,176 )
How can I increase my downloads?