Elementary theory
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.
Related
- Elementary sentence
- Elementary definition
- Elementary theory of the reals
gollark: What?
gollark: Impossible.
gollark: pM them?
gollark: Or stay there as lon.
gollark: There is some selection bias. Neat things will not reach the AP as often.
References
- Mac Lane and Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory, page 4.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.