Paolo Aluffi's book "Algebra: Chapter 0" mentions that compactness of first order logic is sufficient to prove this (p. 403). I don't know the ultrafilter lemma.
|
2 | added 9 characters in body | ||
|
|
||||
|
|
1 |
|
||
|
Paolo Aluffi's book "Algebra: Chapter 0" mentions that compactness of first order logic is sufficient to prove this. I don't know the ultrafilter lemma. |
||||
