Jump to content

Elementary theory

From Wikipedia, the free encyclopedia

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

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

Examples

[edit]

Examples of elementary theories include:

[edit]

References

[edit]
  • Mac Lane and Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory, page 4.