Skip to main content
added 9 characters in body
Source Link
Eivind Dahl
  • 761
  • 10
  • 15

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.

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.

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.

Source Link
Eivind Dahl
  • 761
  • 10
  • 15

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.