Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 1 of 1

Order by Relevance | Title | Year of publication

A rigid Boolean algebra that admits the elimination of Q21

H. Mildenberg — 1993

Fundamenta Mathematicae

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}$ .

Page 1

Download Results (CSV)