Extending partial orders to dense linear orders
From MaRDI portal
Publication:1295404
DOI10.1016/S0168-0072(97)00075-4zbMath0924.03094MaRDI QIDQ1295404
W. Hugh Woodin, Theodore A. Slaman
Publication date: 24 June 1999
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Descriptive set theory (03E15) Total orders (06A05) Applications of computability and recursion theory (03D80)
Related Items (3)
Computability-theoretic and proof-theoretic aspects of partial and linear orderings ⋮ The isomorphism problem for torsion-free abelian groups is analytic complete ⋮ What's the difference
Cites Work
This page was built for publication: Extending partial orders to dense linear orders