@article {Lusin:August 2003:0955-792X:481, author = "Lusin S.", author = "Salibra A.", title = "A Note on Absolutely Unorderable Combinatory Algebras", journal = "Journal of Logic and Computation", volume = "13", year = "August 2003", abstract = "
Plotkin has conjectured that there exists an absolutely unorderable combinatory algebra, namely a combinatory algebra which cannot be embedded in another combinatory algebra admitting a nontrivial compatible partial order. In this paper we prove that a wide class of combinatory algebras admits extensions with a nontrivial compatible partial order.", pages = "481-502(22)", url = "http://www.ingentaconnect.com/content/oup/logcom/2003/00000013/00000004/art00481" }