Compounding Objects

Szczegóły
Opis

Tytuł:: Compounding Objects
Autorzy:: Šikić, Zvonimir
Powiązania:: https://bibliotekanauki.pl/articles/749886.pdf
Data publikacji:: 2020
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Łoś's theorem
converse of Łoś's theorem
filter
proper filter
ultrafilter
Źródło:: Bulletin of the Section of Logic; 2020, 49, 2
0138-0680
2449-836X
Język:: angielski
Prawa:: CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

We prove a characterization theorem for filters, proper filters and ultrafilters which is a kind of converse of Łoś's theorem. It is more natural than the usual intuition of these terms as large sets of coordinates, which is actually unconvincing in the case of ultrafilters. As a bonus, we get a very simple proof of Łoś's theorem.

Informacja

Powiązane pozycje