Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

A Proof of Plotkin's Conjecture

Szczegóły
Abstrakt

Tytuł:: A Proof of Plotkin's Conjecture
Autorzy:: Yinbin, L.
Maokang, L.
Data publikacji:: 2009
Słowa kluczowe:: coherent domain
products
retract
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

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.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

A Proof of Plotkin's Conjecture