Search results

  • Users: rainwyz0706
  • In Set Theory, Logic, Probability, Statistics
  • Content: Threads, Posts
  • Order by date
  1. R

    Compactness theorem proof

    An expression of the compactness theorem for sets of sentences is that: let T be a set of sentences in L. Then T has a model iff every finite subset of T has a model. Could anyone give me some hints how to prove this? The first direction is straightforward: every model of T is a model of...