Extending Partial Orders to Dense Linear Orders

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

411	Recursively Enumerable Sets and Degrees – Robert I Soare - 1987
21	Countable algebra and set existence axioms – H Friedman, S Simpson, R Smith - 1983
82	Linear orderings – J G Rosenstein - 1982
5	Ordered Groups: A Case Study In Reverse Mathematics – Reed Solomon - 1999
30	Ramsey’s theorem and recursion theory – C Jockusch - 1972
8	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
10	Contribution à l’étude des types d’ordre dispersés – P Jullien
5	Recursive linear orderings. In Orders: description and roles (L’Arbresle – Joseph G Rosenstein - 1982
16	Sur l’extension de l’ordre partiel, Fund – E Szpilrajn - 1930
54	Computable algebra, general theory and theory of computable fields – M O Rabin - 1960
81	Theory of Recursive Functions and Eective Computability McGraw-Hill Pub – H Rogers - 1967
4	The effective content of Ulm's theorem – C Lin - 1979
4	Degrees of nonrecursive presentability – L J Feiner - 1973
4	Reverse Mathematics and Ordered Groups – D R Solomon - 1998
3	Undecidable linear orderings that are n-recursive for each n, in preparation – J Chisholm, M Moses
4	Every recursive boolean algebra is isomorphic to one with incomplete atoms – R Downey - 1990
3	On automata representable structures, in preparation – B Khoussainov, A Nerode
3	Automatic Model Theory, monograph in preparation – B Khoussainov, A Nerode