Disambiguation evidence for Ultrafilter lemma via surface form

"Lindenbaum lemma"

Triples (1)

Triples where some other subject referred to this entity as "Lindenbaum lemma".

Henkin construction → relatedTo →
"Lindenbaum lemma"
↳ resolves to Ultrafilter lemma
ⓘ