- Tytuł:
- A rigid Boolean algebra that admits the elimination of Q21
- Autorzy:
- Mildenberg, H.
- Powiązania:
- https://bibliotekanauki.pl/articles/1208667.pdf
- Data publikacji:
- 1993
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Opis:
- Using ♢ , we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier $Q_1^2$.
- Źródło:
-
Fundamenta Mathematicae; 1993, 142, 1; 1-18
0016-2736 - Pojawia się w:
- Fundamenta Mathematicae
- Dostawca treści:
- Biblioteka Nauki
Artykuł