Skip to main content
MathOverflow

Return to Question

edited tags
Link
Joel David Hamkins
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k
added 1 characters in body
Source Link
David Roberts ♦
David Roberts ♦
  • 35.5k
  • 11
  • 124
  • 349

Hi all, I am interested in proofs without using Gedel'sGoedel's completeness theorem.

  • Does anyone have a reference to a proof of this theorem that uses Skolem Functions?
  • How come Enderton's (Introduction to Logic) has a half a page proof (which looks OK to me) and Boolos (Computability And Logic) has a full chapter of it?

Thanks.

Hi all, I am interested in proofs without using Gedel's completeness theorem.

  • Does anyone have a reference to a proof of this theorem that uses Skolem Functions?
  • How come Enderton's (Introduction to Logic) has a half a page proof (which looks OK to me) and Boolos (Computability And Logic) has a full chapter of it?

Thanks.

Hi all, I am interested in proofs without using Goedel's completeness theorem.

  • Does anyone have a reference to a proof of this theorem that uses Skolem Functions?
  • How come Enderton's (Introduction to Logic) has a half a page proof (which looks OK to me) and Boolos (Computability And Logic) has a full chapter of it?

Thanks.

Source Link
Eran
Eran
  • 639
  • 8
  • 13

Compactness Theorem for First Order Logic

Hi all, I am interested in proofs without using Gedel's completeness theorem.

  • Does anyone have a reference to a proof of this theorem that uses Skolem Functions?
  • How come Enderton's (Introduction to Logic) has a half a page proof (which looks OK to me) and Boolos (Computability And Logic) has a full chapter of it?

Thanks.