E-viri
Recenzirano
-
Lusin, Stefania; Salibra, Antonino
Journal of logic and computation, 08/2003, Letnik: 13, Številka: 4Journal Article
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.
