Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

A Proof of Plotkin's Conjecture

Yinbin L., Maokang L.

Fundamenta Informaticae

2009

Vol. 92, nr 3

301-306

In 1978, G. Plotkin [7] conjectured that for the three-element truthvalue dcpo T, if k> ω then the function space [T^k → T^k] is not a retract of T^k. In this short paper, we constructively prove a stronger result that if k>ω then the function space [T^k → T^k] is not a retract of the Cartesian product of any family of finite posets. Thus Plotkin's Conjecture is proved to be correct.