Extending Partial Orders to Dense Linear Orders (1996)
by
Theodore A. Slaman
,
W. Hugh Woodin
| Venue: | Ann. Pure and Appl. Logic |
| Citations: | 4 - 0 self |
BibTeX
@ARTICLE{Slaman96extendingpartial,
author = {Theodore A. Slaman and W. Hugh Woodin},
title = {Extending Partial Orders to Dense Linear Orders},
journal = {Ann. Pure and Appl. Logic},
year = {1996},
volume = {94},
pages = {253--261}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper, Slaman was partially supported by National Science Foundation Grant DMS-9500878.
Citations
| 17 | Hierarchies of number-theoretic predicates - Kleene - 1955 |
| 14 | Foundations of bqo theory and subsystems of second order arithmetic - Marcone - 1993 |
