Informacja

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:

The Słupecki criterion by duality

Tytuł:
The Słupecki criterion by duality
Autorzy:
Horváth, Eszter
Powiązania:
https://bibliotekanauki.pl/articles/728802.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
primal algebra
diagonal relation
Galois connection
Słupecki Criterion
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 1; 5-11
1509-9415
Język:
angielski
Prawa:
Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Dostawca treści:
Biblioteka Nauki
Artykuł
  Przejdź do źródła  Link otwiera się w nowym oknie
A method is presented for proving primality and functional completeness theorems, which makes use of the operation-relation duality. By the result of Sierpiński, we have to investigate relations generated by the two-element subsets of $A^{k}$ only. We show how the method applies for proving Słupecki's classical theorem by generating diagonal relations from each pair of k-tuples.

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