Extending Partial Orders to Dense Linear Orders (1996)

Cached

Download Links

by Theodore A. Slaman , W. Hugh Woodin
Venue:Ann. Pure and Appl. Logic
Citations:4 - 0 self

Documents Related by Co-Citation

472 Recursively Enumerable Sets and Degrees – R Soare - 1987
25 Addendum to “Countable algebra and set existence axioms – Harvey Friedman, Stephen G Simpson, Rick L Smith - 1985
96 Linear Orderings – J G Rosenstein - 1982
9 Ordered Groups: A Case Study In Reverse Mathematics – Reed Solomon - 1999
42 Ramsey's theorem and recursion theory – C G Jockusch - 1972
9 III, On the integral homology of finitely presented groups – G Baumslag, E Dyer, C F Miller - 1983
2 Eective procedures in theory – A Frolich, J Shepherdson - 1956
5 Recursive linear orderings. In Orders: description and roles (L’Arbresle – Joseph G Rosenstein - 1982
12 Contribution à l’étude des types d’ordre dispersés – Pierre Jullien - 1969
18 Sur l’extension de l’ordre partiel”, Fund – E Szpilrajn - 1930
63 Computable algebra, general theory and theory of computable fields – Michael O Rabin - 1960
83 Theory of Recursive Functions and E#ective Computability – H Rogers - 1967
4 The effective content of Ulm's theorem – C Lin - 1979
4 Degrees of nonrecursive presentability – L J Feiner - 1973
3 Undecidable linear orderings that are n-recursive for each n, in preparation – J Chisholm, M Moses
3 On automata representable structures, in preparation – B Khoussainov, A Nerode
3 Automatic Model Theory, monograph in preparation – B Khoussainov, A Nerode
3 Recursion theory and ordered groups, Ann – R G Downey, S A Kurtz - 1986
3 Orderings and Boolean Algebras not isomoprhic to recursive ones, Thesis – L J Feiner - 1967