Puneet Varma (Editor)

Elementary theory

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In mathematical logic, an elementary theory is one that involves axioms using only finitary first-order logic, without reference to set theory or using any axioms which have consistency strength equal to set theory.

Saying that a theory is elementary is a weaker condition than saying it is algebraic.

  • Elementary sentence
  • Elementary definition
  • Elementary theory of the reals
  • References

    Elementary theory Wikipedia