Extending partial orders to dense linear orders

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)

zbMATH Keywords

partially ordered setdense linear order

Mathematics Subject Classification ID

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

• Hierarchies of number-theoretic predicates
• Unnamed Item

This page was built for publication: Extending partial orders to dense linear orders